Measuring similarity in belief revision

Journal of Logic and Computation

Volumn 10, Issue 4, 2000, Pages 603-619

  Peppas, Pavlos ^a   Foo, Norman ^b   Nayak, Abhaya ^c  

^a University of New South Wales ^*  (Greece)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

^c MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; MATHEMATICAL MODELS; PROBLEM SOLVING;

BELIEF UPDATE; DOMAIN INDEPENDENT CRITERION; POSSIBLE MODELS APPROACH;

FORMAL LOGIC;

EID: 0034249284     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/10.4.603     Document Type: Article

References (13)

1. C. E. Alchourron and D. Makinson. On the logic of theory change: safe contraction. Studia Logica, 44, 405-422, 1985.
2. J. L. Bell and A. Slomson. Models and Ultraproducts: An Introduction. North Holland, 1969.
3. P. Gardenfors. Knowledge in Flux - Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988.
4. P. Gardenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, M. Y. Vardi, ed. pp. 83-95. Morgan Kaufmann, Pacific Grove, CA, 1988.
5. A. Grove. Two modelings for theory change. Journal of Philosophical Logic, 17, 157-170, 1988.
6. H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Belief Revision, P. Gardenfors, ed. pp. 183-203. Cambridge University Press, 1992.
7. P. Peppas. Belief Change and Reasoning about Action - An Axiomatic Approach to Modelling Inert Dynamic Worlds and the Connection to the Logic of Theory Change. PhD thesis, Dept. of Computer Science, University of Sydney, 1993.
8. P. Peppas, N. Foo and M.-A. Williams. On the expressibility of propositions. Logique et Analyse, 139-140, 251-272, 1992.
9. P. Peppas and M.-A. Williams. Constructive modellings for theory change. Notre Dame Journal of Formal Logic, 1995.
10. P. Peppas and W. Wobcke. On the use of epistemic entrenchment in reasoning about action. In Proceedings of the Tenth European Conference on Artificial Intelligence, Vienna, Austria, B. Neumann, ed. pp. 403-407. John Wiley and Sons, 1992.
11. H. Rott. Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (Preliminary report). In Proceedings of JELIA'92, 3rd European Workshop on Logics in AI, pp. 139-153. Springer LNAI series 633, Berlin, 1992.
12. H. Rott. Preferential belief change using generalized epistemic entrenchment. Journal of Logic, Language and Information, 1, 45-78, 1992.
13. M. Winslett. Reasoning about action using a possible models approach. In Proceedings of the Seventh National (U.S.) Conference on Artificial Intelligence, pp. 89-93, 1988.