Linking iterated belief change operations to nonmonotonic reasoning

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 166-176

  Kern Isberner, Gabriele ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT FRAMEWORK; BACK-GROUND KNOWLEDGE; BELIEF CHANGE; BELIEF REVISION; CHANGE OPERATIONS; CHANGE OPERATORS; EPISTEMIC STATE; NON-MONOTONIC REASONING;

KNOWLEDGE REPRESENTATION;

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

References (28)

1. Alchourŕon, C.; G̈ardenfors, P.; and Makinson, P. 1985. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2):510- 530.
2. Bourne, R., and Parsons, S. 1999. Maximum entropy and variable strength defaults. In Proceedings Sixteenth International Joint Conference on Artificial Intelligence, IJCAI' 99, 50-55.
3. Csisźar, I. 1975. I-divergence geometry of probability distributions and minimization problems. Ann. Prob. 3:146- 158.
4. Darwiche, A., and Pearl, J. 1997. On the logic of iterated belief revision. Artificial Intelligence 89:1-29.
5. Delgrande, J.; Dubois, D.; and Lang, J. 2006. Iterated revision and prioritized merging. In Proc. KR'06, 210-220. AAAI Press.
6. Dubois, D., and Prade, H. 1996. Non-standard theories of uncertainty in plausible reasoning. In Brewka, G., ed., Principles of Knowledge Representation. CSLI Publications.
7. Dubois, D. 2006. Three scenarios for the revision of epistemic states. In Proceedings NMR'2006.
8. G̈ardenfors, P. 1988. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, Mass.: MIT Press.
9. Goldszmidt, M., and Pearl, J. 1996. Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence 84:57-112.
10. Goldszmidt, M.; Morris, P.; and Pearl, J. 1993. A maximum entropy approach to nonmonotonic reasoning. IEEE Transactions on Pattern Analysis and Machine Intelligence 15(3):220-232.
11. Hajek, P.; Havranek, T.; and Jirousek, R. 1992. Uncertain Information Processing in Expert Systems. Boca Raton, Florida: CRC-Press.
12. Hunter, A., and Delgrande, J. 2005. Iterated belief change: a transition system apporach. In Proceedings IJCAI'2005.
13. Jaynes, E. 1983a. Papers on Probability, Statistics and Statistical Physics. Dordrecht, Holland: D. Reidel Publishing Company.
14. Jaynes, E. 1983b. Where do we stand on maximum entropy? In Papers on Probability, Statistics and Statistical Physics. Dordrecht, Holland: D. Reidel Publishing Company. 210-314.
15. Katsuno, H., and Mendelzon, A. 1991. On the difference between updating a knowledge base and revising it. In Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, KR'91, 387-394. San Mateo, Ca.: Morgan Kaufmann.
16. Kern-Isberner, G. 1998. Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artificial Intelligence 98:169-208.
17. Kern-Isberner, G. 1999. Postulates for conditional belief revision. In Proceedings Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99, 186-191. Morgan Kaufmann.
18. Kern-Isberner, G. 2001. Conditionals in nonmonotonic reasoning and belief revision. Springer, Lecture Notes in Artificial Intelligence LNAI 2087.
19. Kern-Isberner, G. 2004. A thorough axiomatization of a principle of conditional preservation in belief revision. Annals of Mathematics and Artificial Intelligence 40(1- 2):127-164.
20. Kullback, S. 1968. Information Theory and Statistics. New York: Dover.
21. Lang, J.; Marquis, P.; andWilliams, M.-A. 2001. Updating epistemic states. In AI 2007. Springer, LNAI 2256. 297- 308.
22. Lang, J. 2007. Belief update revisited. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07, 2517-2522.
23. Makinson, D., and G̈ardenfors, P. 1991. Relations between the logic of theory change and nonmonotonic logic. In Proceedings Workshop The Logic of Theory Change, Konstanz, Germany, 1989, 185-205. Berlin Heidelberg New York: Springer.
24. Makinson, D. 1994. General patterns in nonmonotonic reasoning. In Gabbay, D.; Hogger, C.; and Robinson, J., eds., Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3. Oxford University Press. 35-110.
25. Paris, J., and Vencovska, A. 1997. In defence of the maximum entropy inference process. International Journal of Approximate Reasoning 17(1):77-103.
26. Shore, J., and Johnson, R. 1981. Properties of crossentropy minimization. IEEE Transactions on Information Theory IT-27:472-482.
27. Shore, J. 1986. Relative entropy, probabilistic inference and AI. In Kanal, L., and Lemmer, J., eds., Uncertainty in Artificial Intelligence. Amsterdam: North-Holland. 211- 215.
28. Spohn, W. 1988. Ordinal conditional functions: a dynamic theory of epistemic states. In Harper, W., and Skyrms, B., eds., Causation in Decision, Belief Change, and Statistics, II. Kluwer Academic Publishers. 105-134.