Lack of finite characterizations for the distance-based revision

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 239-248

  Ben Naim, Jonathan ^a  

^a AIX MARSEILLE UNIV   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF REVISION; BIG SIZES; DISTANCE-BASED; LOOP CONDITIONS; REVISION OPERATOR;

KNOWLEDGE REPRESENTATION;

EID: 45149117977     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Alchourŕon, C.; G̈ardenfors, P.; and Makinson, D. 1985. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic 50:510- 530.
2. Belnap, N. D. 1977a. How computers should think. In Ryle, G., ed., Contemporary Aspects of Philosophy, 30- 56. Oriel Press.
3. Belnap, N. D. 1977b. A useful four-valued logic. In Dunn, J., and Epstein, G., eds., Modern Uses of Multiple-Valued Logic, 7-37. Oriel Press.
4. Boutilier, C., and Goldszmidt, M. 1993. Revision by conditional beliefs. In Proceedings of the 11th National Conference on Artificial Intelligence (AAAI), 649-654. Morgan Kaufmann.
5. Boutilier, C. 1993. Revision sequences and nested conditionals. In Bajcsy, R., ed., Proceedings of the 13th International Joint Conference on Artificial Intelligence, 519-525. Morgan Kaufmann.
6. Dalal, M. 1988. Investigations into a theory of knowledge base revisions: Preliminary report. In Proceedings of the 7th National Conference on Artificial Intelligence, 475-479.
7. Darwiche, A., and Pearl, J. 1994. On the logic of iterated belief revision. In Fagin, R., ed., Proceedings of the Fifth Conference on Theoretical Aspects of Reasoning about Knowledge. Pacific Grove, CA: Morgan Kaufmann. 5-23.
8. Darwiche, A., and Pearl, J. 1997. On the logic of iterated belief revision. Journal of Artificial Intelligence 89:1-29.
9. Freund, M., and Lehmann, D. 1994. Belief revision and rational inference. Technical Report 94-16, The Leibniz Center for Research in Computer Science, Institute of Computer Science, Hebrew University.
10. Friedman, N., and Halpern, J. Y. 1996. Belief revision: A critique. In Aiello, L. C.; Doyle, J.; and Shapiro, S., eds., Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, 421- 431. Morgan Kaufmann.
11. G̈ardenfors, P., and Makinson, D. 1988. Revisions of knowledge systems using epistemic entrenchment. In Vardi, M. Y., ed., Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, 83- 95. Morgan Kaufmann.
12. Grove, A. 1988. Two modellings for theory change. Journal of Philosophical Logic 17:157-170.
13. Katsuno, H., and Mendelzon, A. 1992. On the difference between updating a knowledge base and revising it. In G̈ardenfors, P., ed., Belief Revision, 183-203. Cambridge University Press.
14. Lehmann, D.; Magidor, M.; and Schlechta, K. 2001. Distance semantics for belief revision. The Journal of Symbolic Logic 66(1):295-317.
15. Lehmann, D. 1995. Belief revision, revised. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, 1534-1541. Morgan Kaufmann.
16. Lewis, D. 1973. Counterfactuals. Basil Blackwell.
17. Makinson, D. 1965. The paradox of the preface. Analysis 25:205-207.
18. Nayak, A.; Foo, N. Y.; Pagnucco, M.; and Sattar, A. 1996. Changing conditional beliefs unconditionally. In Shoham, Y., ed., Proceedings of the Sixth International Conference on Theoretical Aspects of Rationality and Knowledge, 119- 135. Morgan Kaufmann.
19. Schlechta, K.; Lehmann, D.; and Magidor, M. 1996. Distance Semantics for Belief Revision. In Theoretical Aspects of Rationality and Knowledge (TARK), 137-145.
20. Schlechta, K. 2004. Coherent systems. Elsevier.
21. Urquhart, A. 2001. Many-valued logic. In Gabbay, D. M., and Guenthner, F., eds., Handbook of Philosophical Logic, second ed., volume 2, 249-295. Kluwer Academic Publishers.
22. Williams, M. A. 1994. Transmutations of knowledge systems. In Doyle, J.; Sandewall, E.; and Torasso, P., eds., Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, 619-629. Morgan Kaufmann.