Probabilistic Dynamic Epistemic Logic

Authors:
Barteld P. Kooi
Affiliations:
Department of Computing Science, University of Groningen, P.O. Box 800, 9700 AV Groningen, The Netherlands/ E-mail: barteld@cs.rug.nl
Venue:
Journal of Logic, Language and Information
Year:
2003

Citing 14
Cited 22

Representing and reasoning with probabilistic knowledge: a logical approach to probabilities

Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Bisimulation through probabilistic testing

Information and Computation
Knowledge, probability, and adversaries

Journal of the ACM (JACM)
Reasoning about knowledge and probability

Journal of the ACM (JACM)
Uncertainty logics

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Reasoning about knowledge

Reasoning about knowledge
Bisimulation for probabilistic transition systems: a coalgebraic approach

Theoretical Computer Science
Modal logic

Modal logic
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Dynamic Logic

Dynamic Logic
Reasoning about Information Change

Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Quality and Quantity of Information Exchange

Journal of Logic, Language and Information
Lexicographic probability, conditional probability, and nonstandard probability

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge

Quality and Quantity of Information Exchange

Journal of Logic, Language and Information
The value of privacy: optimal strategies for privacy minded agents

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
From conditional probability to the logic of doxastic actions

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Preservation of epistemic properties in security protocol implementations

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Agents, beliefs, and plausible behavior in a temporal setting

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Towards an Epistemic Logic for Uncertain Agents

CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Probabilistic Dynamic Belief Logic for Image and Reputation

Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
A complete probabilistic belief logic

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Prolegomena to general-imaging-based probabilistic dynamic epistemic logic

JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
Verification of epistemic properties in probabilistic multi-agent systems

MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Privacy policies with modal logic: the dynamic turn

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Update of Probabilistic Beliefs: Implementation and Parametric Verification

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Prescriptive and descriptive obligations in dynamic epistemic deontic logic

AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
Sigma algebras in probabilistic epistemic dynamics

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Logics of belief over weighted structures

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Verifying real-time temporal, cooperation and epistemic properties for uncertain agents

MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
How our beliefs contribute to interpret actions

CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Model checking for epistemic and temporal properties of uncertain agents

PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Reputation-based decisions for logic-based cognitive agents

Autonomous Agents and Multi-Agent Systems
Conditioning and Interpretation Shifts

Studia Logica
A first-order dynamic probability logic

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper I combine the dynamic epistemic logic ofGerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The resultis a new probabilistic dynamic epistemic logic, a logic for reasoning aboutprobability, information, and information change that takes higher orderinformation into account. Probabilistic epistemic models are defined, and away to build them for applications is given. Semantics and a proof systemis presented and a number of examples are discussed, including the MontyHall Dilemma.