Dynamic update with probabilities

DOI10.1007/s11225-009-9209-yzbMath1183.03015OpenAlexW2067483357MaRDI QIDQ1035842

Jelle Gerbrandy, Barteld P. Kooi, J. F. A. K. van Benthem

Publication date: 4 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9209-y

zbMATH Keywords

probabilitydynamic epistemic logicupdateJeffrey's rule

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Agent technology and artificial intelligence (68T42)

Related Items (22)

Logics of Rational Interaction ⋮ A logical theory of localization ⋮ Probabilistic Epistemic Updates on Algebras ⋮ Epistemic planning: perspectives on the special issue ⋮ Robot location estimation in the situation calculus ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Unnamed Item ⋮ A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART A ⋮ The cognitive structure of surprise: looking for basic principles ⋮ Logics of imprecise comparative probability ⋮ Conditioning and interpretation shifts ⋮ Changing types: information dynamics for qualitative type spaces ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ Diversity of agents and their interaction ⋮ Regression and progression in stochastic domains ⋮ Probabilistic dynamic belief revision ⋮ Logics of Belief over Weighted Structures ⋮ Extending probabilistic dynamic epistemic logic ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ Dynamic Epistemic Logics ⋮ Logic and Probabilistic Update

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Probabilistic dynamic belief revision
• Bridging learning theory and dynamic epistemic logic
• Extending probabilistic dynamic epistemic logic
• Merging frameworks for interaction
• Probabilistic dynamic epistemic logic
• Conditional probability meets update logic
• Update semantics of security protocols
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Dynamic Epistemic Logic and Knowledge Puzzles
• Knowledge, probability, and adversaries
• Reasoning about knowledge and probability

This page was built for publication: Dynamic update with probabilities