Abstract
In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper we deal with this type of phenomenon. We also deal with actions that change facts of the situation. We use probability to model the notion of belief and our probabilistic update mechanism satisfies the AGM postulates of belief revision.
An extended version of this paper with proofs is available on my homepage.
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
Aucher, G.: A combined System for Update Logic and Belief Revision. In: Barley, M.W., Kasabov, N. (eds.) PRIMA 2004. LNCS (LNAI), vol. 3371, pp. 1–17. Springer, Heidelberg (2005)
Adams, E.W.: The Logic of Conditionals. In: Synthese Library, vol. 86. D. Reidel, Dordrecht (1975)
Baltag, A., Moss, L.S., Solecki, S.: Logic for epistemic program. Synthese 139(2), 165–224 (2004)
Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. Journal of the ACM (JACM) 41(2), 340–367 (1994)
Gardenfors, P., Rott, H.: ’Belief Revision’. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4. Oxford University Press, Oxford (1995)
Keisler, H.J.: Elementary Calculus: An Approach Using Infinitesimal. In: Prindle, Weber, Schmidt, (eds.) (1986), Online edition on the website http://www.math.wisc.edu/~keisler/calc.html
Kooi, B.P.: Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12(4), 381–408 (2003)
Lenzen, W.: Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic. In: Hendricks, V.F., et al. (eds.) Knowledge Contributors, pp. 17–31. Kluwer, Dordrecht (2003)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
van Benthem, J.: Conditional probability meets update logic. Journal of Logic, Language and Information 12(4), 409–421 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aucher, G. (2005). How Our Beliefs Contribute to Interpret Actions. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds) Multi-Agent Systems and Applications IV. CEEMAS 2005. Lecture Notes in Computer Science(), vol 3690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11559221_28
Download citation
DOI: https://doi.org/10.1007/11559221_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29046-9
Online ISBN: 978-3-540-31731-9
eBook Packages: Computer ScienceComputer Science (R0)