Relevance sensitive non-monotonic inference on belief sequences

Journal of Applied Non-Classical Logics

Volumn 11, Issue 1-2, 2001, Pages 131-150

  Chopra, Samir ^a   Parikh, Rohit ^b   Georgatos, Konstantinos ^c  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b CITY UNIVERSITY OF NEW YORK   (United States)

^c JOHN JAY COLLEGE OF CRIMINAL JUSTICE   (United States)

Author keywords

Belief bases; Belief revision; Iterated revi sion; Knowledge representation; Non monotonic inference; Relevance

Indexed keywords

EID: 26444557433     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.11.131-150     Document Type: Conference Paper

References (22)

1. C. Alchourron, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
2. Horacio Arlo-Costa and Rohit Parikh. Two place probabilities, beliefs and belief revision: on the foundations of iterative belief kinematics. In Proceedings of the Twelfth Amsterdam Colloquium, 1999.
3. Gerhard Brewka. Belief revision in a framework for default reasoning. In Andre Fuhrmann and M. Morreau, editors The Logic of Theory Change, Lecture Notes in Artificial Intelligence, Number 465, pages 206-222, Springer, Berlin, 1991.
4. Samir Chopra and Rohit Parikh. An inconsistency tolerant model for belief representation and belief revision. In Proceedings of the 16th International Joint Conference on Artificial Intelligence, pages 192-197, Morgan-Kaufmann, 1999.
5. Samir Chopra and Rohit Parikh. Relevance sensitive belief structures. Annals of Mathematics and Artificial Intelligence, Volume 28(1-4):259-285, 2000.
6. Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(1-2):1-29, January, 1997 (Pubitemid 127412229)
7. Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231-272, 1979.
8. Richard Epstein. The Semantical Foundations of Logic: Propositional Logics. Oxford University Press, 1995.
9. Michael Freund and Daniel Lehmann. Belief revision and rational inference, Technical Report TR-ARP-94-16, Leibniz Center for Research in Computer Science, Hebrew University, July 1994.
10. P. Gärdenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proceedings of Theoretical Aspects of Reasoning about Knowledge-TARK88, pages 83-96, 661-672, Morgan-Kaufmann, 1988.
11. P. Gärdenfors and Hans Rott. Belief revision. In Dov M. Gabbay, Christpher J. Hogger and John A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume IV: Epistemic and Temporal Reasoning, pages 35-132. Oxford University Press, Cambridge, 1995.
12. Konstantinos Georgatos. Ordering based representations of rational inference. In J.J Alferes, L.M. Pereira, and E. Orlowska, editors, Logics in Artificial Intelligence (JELIA '96), Lecture Notes in Artifcial Intelligence, pages 176-191, Springer, Berlin, 1996. (Pubitemid 126122155)
13. Konstantinos Georgatos. Entrenchment relations: A uniform approach to non-monotonicity. In Proceedings of ESCQARU/FAPR 97, Lecture Notes in Computer Science, Number 1244, pages 282-297, Springer, Berlin, 1997. (Pubitemid 127084006)
14. Sven Ove Hansson. In defense of base contraction. Synthese, 91:239-245, 1992.
15. Andreas Herzig and Omar Rifi. Propositional belief base update and minimal change. Artificial Intelligence, 115(1):107-138, 1999. (Pubitemid 30522973)
16. Daniel Lehmann. Belief revision, revised. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 1534-1540, 1995.
17. Abhaya Nayak, Norman Foo, Maurice Pagnucco and Abdul Sattar. Changing conditional beliefs unconditionally. In Proceedings of Theoretical Aspects of Rationality and Knowledge-TARK96, pages 119-135, De Zeeuwse Stromen, The Netherlands, Morgan-Kaufmann, 1996.
18. Bernhard Nebel. Syntax based approaches to belief revision. In Peter Gärdenfors, editor, Belief revision, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1992.
19. Rohit Parikh. Beliefs, belief revision and splitting languages. In Lawrence Moss, Jonathan Ginzburg and Maarten de Rijke, editors, Logic, Language and Computation, Volume 2, CSLI Lecture Notes No. 96, pages 266-278, CSLI Publi cations, 1999. Initially presented in Preliminary Proceedings of Information Theoretic Approaches to Logic, Language and Computation, 1996.
20. Odinaldo Rodrigues A methodology for iterated information change, Ph.D thesis. Imperial College, University of London, 1997.
21. Mark D. Ryan. Ordered theory Presentations. In Proceedings of the 8th Amsterdam Colloquium, 1991.
22. Renata Wassermann. Resource bounded belief revision. Erkenntnis 1999. To appear.