Abstract
Intelligent agents equipped with epistemic capabilities are expected to carry out quite different belief operations like answering queries and performing diagnosis, or revising and updating their own state of belief in the light of new information. In this paper, we present an approach allowing to realize such belief operations by making use of so-called c-change operations as a uniform core methodology. The key idea is to apply the binary c-change operator in various ways to create various belief operations. Ordinal conditional functions (OCF) serve as representations of epistemic states, providing qualitative semantical structures rich enough to validate conditionals in a semi-quantitative way. In particular, we show how iterated revision is possible in an OCF environment in a constructive manner, and how to distinguish clearly between revision and update.
The research reported here was supported by the Deutsche Forschungsgemeinschaft (grants BE 1700/7-1 and KE 1413/2-1).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alchourrón, C.E., Gärdenfors, P., Makinson, P.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510–530 (1985)
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89, 1–29 (1997)
DeFinetti, B.: Theory of Probability, vol. 1,2. John Wiley & Sons, Chichester (1974)
Dubois, D., Prade, H.: Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge. In: Nonnengart, A., Kruse, R., Ohlbach, H.J., Gabbay, D.M. (eds.) FAPR 1997 and ECSQARU 1997. LNCS, vol. 1244, pp. 96–107. Springer, Heidelberg (1997)
Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence 84, 57–112 (1996)
Hunter, A., Delgrande, J.: Iterated belief change: a transition system apporach. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI 2005, pp. 460–465. Prof. Book Center (2005)
Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Proc. KR 1991, pp. 387–394. Morgan Kaufmann, San Mateo (1991)
Kern-Isberner, G.: Conditionals in nonmonotonic reasoning and belief revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001)
Kern-Isberner, G.: A thorough axiomatization of a principle of conditional preservation in belief revision. Annals of Mathematics and Artificial Intelligence 40(1-2), 127–164 (2004)
Kern-Isberner, G.: Linking iterated belief change operations to nonmonotonic reasoning. In: Brewka, G., Lang, J. (eds.) Proc. KR 2008, pp. 166–176. AAAI Press, Menlo Park (2008)
Lang, J.: Belief update revisited. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 2517–2522 (2007)
Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Causation in Decision, Belief Change, and Statistics, II, pp. 105–134. Kluwer Academic Publ., Dordrecht (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beierle, C., Kern-Isberner, G. (2009). A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. In: Mertsching, B., Hund, M., Aziz, Z. (eds) KI 2009: Advances in Artificial Intelligence. KI 2009. Lecture Notes in Computer Science(), vol 5803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04617-9_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-04617-9_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04616-2
Online ISBN: 978-3-642-04617-9
eBook Packages: Computer ScienceComputer Science (R0)