Basic infobase change

Studia Logica

Volumn 67, Issue 2, 2001, Pages 215-242

  Meyer, Thomas ^a  

^a UNIVERSITY OF PRETORIA   (South Africa)

Author keywords

Base change; Base contraction; Base revision; Belief revision; Theory change; Theory contraction; Theory revision

Indexed keywords

EID: 8344271448     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1010547120504     Document Type: Article

References (22)

1. ALCHOURRÓN, C.E., P. GÄRDENFORS, and D. MAKINSON, 'On the logic of theory change: Partial meet functions for contraction and revision', Journal of Symbolic Logic 50:510-530, 1985.
2. BOUTILIER, C., 'Unifying default reasoning and belief revision in a modal framework', Artificial Intelligence 68:33-85, 1994.
3. DALAL, M., 'Investigations into a theory of knowledge base revision', in Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, Saint Paul, Minnesota, pages 475-479, 1988.
4. DARWICHE, A., and J. PEARL, 'On the logic of iterated belief revision', in R. Fagin, editor, Theoretical Aspects of Reasoning about Knowledge, pages 5-23, Pacific Grove, CA, 1994, Morgan Kaufmann.
5. DARWICHE, A., and J. PEARL, 'On the logic of iterated belief revision', Artificial Intelligence 89:1-29, 1997.
6. DOYLE, J., 'Reason maintenance and belief revision: Foundations versus coherence theories', in P. GÄRDENFORS, editor, Belief Revision, volume 29 of Cambridge Tracts in Theoretical Computer Science, pages 29-51, Cambridge University Press, Cambridge, 1992.
7. FUHRMANN, A., 'Theory contraction through base contraction', Journal of Philosophical Logic 20:175-203, 1991.
8. GÄRDENFORS, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, Massachusetts, 1988.
9. GROVE, A., 'Two modellings for theory change', Journal of Philosophical Logic 17:157-170, 1988.
10. HANSSON, S.O., 'New operators for theory change', Theoria 55:114-132, 1989.
11. HANSSON, S.O., 'In defense of base contraction', Synthese 91:239-245, 1992.
12. HANSSON, S.O., 'Knowledge-level analysis of belief base operations', Artificial Intelligence 82:215-235, 1996.
13. KATSUNO, H., and A. O. MENDELZON, 'Propositional knowledge base revision and minimal change', Artificial Intelligence 52:263-294, 1991.
14. LEHMANN, D., 'Another perspective on Default Reasoning', Annals of Mathematics and Artificial Intelligence, 1995.
15. MEYER, T. A., W. A. LABUSCHAGNE, and J. HEIDEMA, 'Infobase change: A first approximation', Journal of Logic, Language and Information 9(3):353-377, 2000.
16. NAYAK, A. C., 'Foundational belief change', Journal of Philosophical Logic 23:495-533, 1994.
17. NEBEL, B., 'A knowledge level analysis of belief revision', in R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 301-311, San Mateo, CA, 1989, Morgan Kaufmann.
18. NEBEL, B., Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1990.
19. NEBEL, B., 'Belief revision and default reasoning: Syntax-based approaches', in J. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference KR '91, pages 417-428, Morgan Kaufmann, San Francisco, California, 1991.
20. NEBEL, B., 'Syntax-based approaches to belief revision', in P. Gärdenfors, editor, Belief Revision, volume 29 of Cambridge Tracts in Theoretical Computer Science, pages 52-88, Cambridge University Press, Cambridge, 1992.
21. PEPPAS, P., and M.-A. WILLIAMS, 'Constructive modellings for theory change', Notre Dame Journal of Formal Logic 36(1):120-133, 1995.
22. ROTT, H., 'Modellings for belief change: Prioritization and entrenchment', Theoria 58(1):21-57, 1992.