An inconsistency tolerant model for belief representation and belief revision

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1999, Pages 192-197

  Chopra, Samir ^a   Parikh, Rohit ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF REVISION; BELIEF STRUCTURES; CLASSICAL LOGIC; FOUR-VALUED LOGIC; QUERY ANSWERING; TOLERANT MODELS;

ARTIFICIAL INTELLIGENCE;

QUERY PROCESSING;

EID: 0041450963     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Alchourron, C., Gardenfors, P. and Makinson, D. (1985) On the logic of theory Change: partial meet functions for contraction and revision. Journal of Symbolic Logic, Vol 580, pp 510-530.
2. Belnap, N.D. A useful four-valued logic. Modern Uses of Multiple- Valued Logic, J.M Dunn and G. Epstein eds., D. Reidel.
3. Brewka, G., Belief revision in a framework for default reasoning. The Logic of Theory Change, A. Fuhrmann and M Morreau, editors, LNAI 465, Springer.
4. Dalai, M. Investigations into a theory of knowledge base revision. Proceedings of the Seventh National Conference of the American Association for Artificial Intelligence, Saint-Paul, MN, pp 475-479.
5. Darwiche, A, Pearl J. On the logic of iterated belief revision. Proceedings of Theoretical Aspects of Rationality and Knowledge, 1994, pages 5-23.
6. Fitting, Melvin. Bilattices and the theory of truth. Journal of Philosophical Logic, Vol 18, 225-256, 1989.
7. Fuhrmann, Andre. Theory contraction through base revision. Journal of Philosophical Logic, Vol 20, pp175-203, 1991.
8. Gardenfors P., Makinson, D. Revisions of knowledge systems using epistemic entrenchment. Proceedings of Theoretical Aspects of Reasoning about Knowledge, Moshe Vardi ed., Morgan-Kaufmann, pp 83-96, 1988.
9. Gardenfors, Peter. Knowledge in Flux: Modeling the Dynamics of Belief States, Bradford Books, M I T Press, Cambridge, MA, 1988.
10. Georgatos, Konstantinos. To preference via entrenchment. Annals of Pure and Applied Logic, to appear.
11. Grove, A. Two modellings for theory change. Journal of Philosophical Logic, 17:157-170, 1988.
12. Hansson, S.O. A dyadic representation of belief. Belief Revision, Gardenfors, P. ed., Cambridge, 1992.
13. Hansson, S.O. In defense of base contraction. Synthese, 91:239-245, 1992.
14. Kyburg, Henry, Probability and the Logic of Rational Belief, Middletown, CT: Wesleyan, 1961
15. Kyburg, Henry. The rule of adjunction and reasonable inference. Journal of Philosophy, X C I V, 3, 1997, pages 109-125.
16. Lehmann, D. Belief revision, revised. Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence 1995, pages 1534-1540.
17. Minsky, M ., The Society of Mind, Simon and Schuster.
18. Nayak, Abhaya. Foundational belief change. Journal of Philsophical Logic, Vol. 23, pp 495-533, 1994
19. Nebel, B. Syntax based approaches to belief revision. Belief Revision, Gardenfors, P. ed., Cambridge, 1992.
20. Parikh, Rohit. Beliefs, belief revision and splitting languages. Preliminary Proceedings of Information Theoretic Approaches to Logic, Language and Computation, 1996, editors L. Moss, M. de Rijke and J. Ginzburg. Final version to appear, CSLI, 1999.
21. Restall, G and Slaney, J. Realistic belief revision. Technical Report: TR-ARP-2-95, Automated Reasoning Project, Australian National University, 1995.
22. Rott, Hans. Preferential belief change using generalized epistemic entrenchment, Journal of Logic, Language and Information, 1:45-78, 1992.
23. Schotch P.K, Jennings R. Inference and necessity. Journal of Philosophical Logic, 9 (1980), 327-340.
24. Tanaka, Koji. What does paraconsistency do? The case of belief revision. The Logica Yearbook, Timothy Childers ed., Praha, 1997, pp 188-197.
25. Williams, Mary-Anne. A practical approach to belief revision: Reason-based change, in L. Aiello and S. Shapiro eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference, Morgan-Kaufmann, San Mateo, CA, 412-421, 1996.