Abstract
Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aucher, G., ‘How our beliefs contribute to interpret actions’, 4th InternationalWorkshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS05) 2005. To appear in the Lecture Notes in Artificial Intelligence, Springer-Verlag.
Bacchus F. (1990) Representing and Reasoning with Probabilistic Knowledge, A Logical Approach to Probabilities. The MIT Press, Cambridge, MA
Baltag A. (2002) ‘A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games’. Bulletin of Economic Research 54(1): 1–45
Baltag, A., L. S. Moss, and S. Solecki, ‘The Logic of Common Knowledge, Public Announcements’, and Private Suspicions, in I. Gilboa (ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), 1998, pp. 43–56.
Baltag A., Smets S. (2008) ‘Probabilistic dynamic belief revision’. Synthese 165(2): 179–202
Carnap R. (1952) The Continuum of Inductive Methods. The University of Chicago Press, Chicago
Fagin R., Halpern J.Y. (1993) ‘Reasoning about knowledge and probability’. Journal of the ACM 41(2): 340–367
Fitelson, B., Studies in Bayesian Confirmation Theory, Ph. D. thesis, Department of Philosophy, University of Wisconsin, Madison, 2001.
Gärdenfors, P., and H. Rott, ‘Belief revision, Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning, Oxford University Press, Oxford, UK, 1995, pp. 35–132.
Gerbrandy, J. D., Bisimulations on Planet Kripke, Ph. D. thesis, University of Amsterdam, 1998. ILLC Dissertation Series DS-1999-01.
Gierasimczuk, N., ‘Bridging learning theory and dynamic epistemic logic’, Synthese, 2009. To appear in T. Ågotnes, J. van Benthem and E. Pacuit (eds.), a special issue of Knowledge, Rationality, and Action on ‘Logic and Intelligent Interaction’.
Grünwald P., Halpern J.Y. (2003) ‘Updating Probabilities’. Journal of AI Research 19: 243–278
Halpern, J. Y., Reasoning about Uncertainty, The MIT Press, 2003.
Halpern J.Y., Pucella R. (2006) ‘A Logic for Reasoning about Evidence’. Journal of Artificial Intelligence Research 26: 1–34
Halpern J.Y., Tuttle M.R. (1993) ‘Knowledge, probability, and adversaries’. Journal of the ACM 40(4): 917–962
Hommersom A., Meyer J.-J., de Vink E. (2005) ‘Update Semantics of Security Protocols’. Synthese 142(2): 229–267
Kelly K. (1996) The Logic of Reliable Inquiry. Oxford University Press, Oxford
Kooi B. (2003) ‘Probabilistic dynamic epistemic logic’. Journal of Logic, Language and Information 12(4): 381–408
Liu, F., Changing for the Better: Preference Dynamics and Agent Diversity, Ph. D. thesis, University of Amsterdam, 2008. ILLC Dissertation Series DS-2008-02.
Plaza, J. A., ‘Logics of Public Communications’, in M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, and Z. W. Ras (eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, 1989, pp. 201–216.
Romeijn, J. W., ‘Dutch Books and Epistemic Events’, 2005, Talk presented at the Interfacing Probabilistic and Epistemic Update workshop in Amsterdam.
Sack, J., ‘Extending probabilistic dynamic epistemic logic’, Synthese 2009. To appear in T. Ågotnes, J. van Benthem and E. Pacuit (eds.), a special issue of Knowledge, Rationality, and Action on ‘Logic and Intelligent Interaction’.
Shafer, G., A Mathematical Theory of Evidence, Princeton University Press, 1976.
Shafer G. (1982) ‘Belief Functions and Parametric Models’. Journal of the Royal Statistical Society 44(3): 322–352
van Benthem J. (2003) ‘Conditional probability meets update logic’. Journal of Logic, Language and Information 12(4): 409–421
van Benthem, J., J. Gerbrandy, T. Hoshi and E. Pacuit, ‘Merging frameworks for interaction’, Journal of Philosophical Logic, 2009. To appear.
van Benthem, J., J. Gerbrandy, and B. Kooi, ‘Dynamic Update with Probabilities’, ILLC Prepublication PP-2006-21, http://www.illc.uva.nl/Publications/ResearchReports/PP-2006-21.text.pdf, 2006.
van Benthem, J., J. Gerbrandy, and E. Pacuit, ‘Merging Frameworks for Interaction: DEL and ETL’, in Dov Samet (ed.), Proceedings of TARK 11, 2007, pp. 72–82.
van Benthem J., van Eijck J., Kooi B. (2006) ‘Logics of Communication and Change’. Information and Computation 204(11): 1620–1662
van der Hoek, W., Modalities for Reasoning about Knowledge and Quantities, Vrije Universiteit Amsterdam, 1992.
van Ditmarsch H., van der Hoek W., Kooi B. (2007) Dynamic Epistemic Logic. Springer, Dordrecht
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
van Benthem, J., Gerbrandy, J. & Kooi, B. Dynamic Update with Probabilities. Stud Logica 93, 67–96 (2009). https://doi.org/10.1007/s11225-009-9209-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-009-9209-y