Preferred history semantics for iterated updates

Journal of Logic and Computation

Volumn 9, Issue 6, 1999, Pages 817-833

  Berger, Shai ^a   Lehmann, Daniel ^b   Schlechta, Karl ^c  

^a Platonix Technologies Ltd   (Israel)

^b HEBREW UNIVERSITY OF JERUSALEM   (Israel)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

ITERATED UPDATE; REPRESENTATION; REVISION;

COMPUTATIONAL LINGUISTICS;

EID: 0033344350     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.6.817     Document Type: Article

References (10)

1. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89, 1-29, 1997.
2. N. Friedman and J. Y. Halpern. Belief revision: a critique. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, KR'96, L. C. Aiello, J. Doyle and S. Shapiro, eds. pp. 421-431. Morgan Kaufmann, Cambridge, MA, 1996.
3. P. Gärdenfors. Belief revision: an introduction. In Belief Revision, P. Gärdenfors, ed. pp. 1-28. Number 29 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.
4. P. Gärdenfors. Knowledge in Flux. MIT Press, Cambridge, MA, 1988.
5. H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Belief Revision, P. Gärdenfors, ed. pp. 183-202. Number 29 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.
6. D. Lehmann. Belief revision, revised. In Proceedings of 14th IJCAI, Montreal, Canada, pp. 1534-1541 Morgan Kaufmann, 1995.
7. D. Lehmann, M. Magidor and K. Schlechta. Distance semantics for belief revision. Hebrew University Technical Report TR-98-10. Department of Computer Science, Hebrew University, Givat Ram, Jerusalem 91904, Israel.
8. B. Nebel. A knowledge level analysis of belief revision. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, 1989.
9. K. Schlechta, D. Lehmann and M. Magidor. Distance semantics for belief revision. In Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, Y. Shoham, ed. pp. 137-145. Morgan Kaufmann, De Zeeuwse Stromen, The Netherlands, 1996.
10. K. Schlechta. Preferential choice representation theorems for branching time structures. Journal of Logic and Computation, 5, 783-800, 1995.