Abstract
In this paper we show how several different semantics for belief update can be expressed in a framework for reasoning about actions. This framework can therefore be considered as a common core of all these update formalisms, thus making it clear what they have in common. This framework also allows expressing scenarios that are problematic for the classical formalization of belief update.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Baral, M. Gelfond, and A. Provetti. Representing actions: laws, observations, and hypothesis. J. of Logic Programming, 31, 1997.
C. Boutilier. Generalized update: belief change in dynamic settings. In Proc. of IJCAI’95, pages 1550–1556, 1995.
C. Boutilier. Abduction to plausible causes: an event-based model of belief update. Artificial Intelligence, 83:143–166, 1996.
A. del Val and Y. Shoham. Deriving properties of belief update from theories of action. J. of Logic, Language and Information, 3:81–119, 1994.
N. Friedman and J. Y. Halpern. A knowledge-based framework for belief change, part II: Revision and update. In Proc. of KR’94, pages 190–200, 1994.
M. Gelfond and V. Lifschitz. Representing action and change by logic programs. J. of Logic Programming, 17:301–322, 1993.
H. Katsuno and A. O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263–294, 1991.
R. Li and L. Pereira. What is believed is what is explained. In Proc. of AAAI’96, pages 550–555, 1996.
P. Liberatore and M. Schaerf. BReLS: A system for the integration of knowledge bases. In Proc. of KR 2000, pages 145–152, 2000.
P. Peppas. PMA epistemic entrenchment: The general case. In Proc. of ECAI’96, pages 85–89, 1996.
E. Sandewall. Features and Fluents. Oxford University Press, 1994.
M. Thielscher. Introduction to the fluent calculus. ETAI, 3, 19 9 8.
M. Winslett. Reasoning about actions using a possible models approach. In Proc. of AAAI’88, pages 89–93, 1988.
M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liberatore, P. (2000). A Framework for Belief Update. In: Ojeda-Aciego, M., de Guzmán, I.P., Brewka, G., Moniz Pereira, L. (eds) Logics in Artificial Intelligence. JELIA 2000. Lecture Notes in Computer Science(), vol 1919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40006-0_25
Download citation
DOI: https://doi.org/10.1007/3-540-40006-0_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41131-4
Online ISBN: 978-3-540-40006-6
eBook Packages: Springer Book Archive