Distance Semantics for Relevance-Sensitive Belief Revision

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 319-328

  Peppas, Pavlos ^a   Chopra, Samir ^b   Foo, Norman ^c  

^a UNIVERSITY OF PATRAS   (Greece)

^b CITY UNIVERSITY OF NEW YORK   (United States)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

BELIEF REVISION; MEASURING DISTANCES; POSSIBLE WORLD SEMANTICS; POSSIBLE WORLDS; REASONING ABOUT ACTIONS;

SEMANTICS;

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

References (16)

1. AIJ. 1997. Special issue on relevance. Artificial Intelligence 97.
2. Alchourron, C.; Gardernfors, P.; and Makinson, D. 1985. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50:510-530.
3. Borgida, A. 1985. Language features and flexible handling of exceptions in information systems. ACM Transactions on Database Systems 10:563-603.
4. Chopra, S., and Parikh, R. 1999. An inconsistency tolerant model for belief representation and belief revision. In Proceedings of the 16th International Joint Conference on Artificial Intelligence, 192-197. Morgan-Kaufmann.
5. Chopra, S., and Parikh, R. 2000. Relevance sensitive belief structures. Annals of Mathematics and Artificial Intelligence 28(1-4):259-285.
6. Chopra, S.; Georgatos, K.; and Parikh, R. 2001. Relevance sensitive non-monotonic inference for belief sequences. Journal of Applied Non-Classical Logics.
7. Dalal, M. 1988. Investigations into a theory of knowledge base revisions: Preliminary report. In Proceedings of the 7th AAAI Conference, 475-479.
8. Gardenfors, P., and Makinson, D. 1988. Revisions of knowledge systems using epistemic entrenchment. In Proceedings of Theoretical Aspects of Reasoning about Knowledge, 83-95. Morgan-Kaufmann.
9. Grove, A. 1988. Two modellings for theory change. Journal of Philosophical Logic 17:157-170.
10. Lehmann, D.; Magidor, M.; and Schlechta, K. 2001. Distance semantics for belief revision. Journal of Symbolic Logic 66(1):295-317.
11. Parikh, R. 1999. Beliefs, belief revision, and splitting languages. In Lawrence Moss, J. G., and de Rijke, M., eds., Logic, Language, and Computation Volume 2 - CSLI Lecture Notes No. 96. CSLI Publications. 266-268.
12. Peppas, P., and Wobcke, W. 1992. On the use of epistemic entrenchment in reasoning about action. In Proceedings of the 10th European Conference on Artificial Intelligence, 403-407. John Wiles and Sons.
13. Peppas, P.; Foo, N.; and Nayak, A. 2000. Measuring similarity in belief revision. Journal of Logic and Computation 10(4).
14. Peppas, P. 1994. Belief Revision and Reasoning about Action. Ph.D. Dissertation, Basser Department of Computer Science, University of Sydney.
15. Satoh, K. 1988. Nonmonotonic reasoning by minimal belief revision. In Proceedings of the International Conference on Fifth Generation Computer Systems, 455-462.
16. Winslett, M. 1988. Reasoning about action using a possible models approach. In Proceedings of the 7th AAAI Conference, 89-93.