Constructive modelings for theory change

Notre Dame Journal of Formal Logic

Volumn 36, Issue 1, 1995, Pages 120-133

  Peppas, Pavlos ^a   Williams, Mary Anne ^b  

^a MACQUARIE UNIVERSITY   (Australia)

^b UNIVERSITY OF NEWCASTLE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84972491048     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1040308831     Document Type: Article

References (12)

1. Alchourron, C., P. Gärdenfors and D. Makinson, “On the logic of theory change: Partial meet contraction and revision functions,” The Journal of Symbolic Logic, vol. 50 (1985), 510-530.
2. Gardenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, Cambridge, 1988.
3. Gardenfors, P and D. Makinson, “Revisions of knowledge systems using epistemic entrenchment,” 83-95 in Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, edited by M. Y Vardi, Morgan Kaufmann, Pacific Grove, 1988.
4. Gardenfors, P and D. Makinson, “Nonmonotonic inference based on expectations,” Artificial Intelligence, vol. 65 (1994), 197-245.
5. Grove, A., “Two modelings for theory change,” Journal of Philosophical Logic, vol. 17 (1988), 57-170.
6. Katsuno, H. and A. Mendelzon, “Propositional knowledge base revision and minimal change,” Artificial Intelligence, vol. 52 (1991), 263-294.
7. Katsuno, H. and A. Mendelzon, “On the difference between updating a knowledge base and revising it,” 183-203 in Belief Revision, edited by P Gardenfors, Cambridge University Press, Cambridge, 1992.
8. Makinson, D., “Five faces of minimality,” Studia Logica, vol. 52 (1993), 339-379.
9. Peppas, P., 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, Department of Computer Science, University of Sydney, 1993.
10. Rott, H., “Two methods of constructing contractions and revisions of knowledge systems,” Journal of Philosophical Logic, vol 20 (1991), 149-173.
11. Williams, M., Transmutations of Knowledge Systems, PhD thesis, Department of Computer Science, University of Sydney, 1993.
12. Winslett, M., “Reasoning about action using a possible models approach,” pages 89-93 in Proceedings of the Seventh National (U.S.) Conference on Artificial Intelligence, Morgan Kaufmann, St. Paul, 1988.