Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems
Abstract:
I will give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic actions), we construct an interpreted system relative to that epistemic state and that formula that satisfies the translation of the formula into a temporal epistemic logic. The construction involves that the protocol that is implicit in the dynamic epistemic formula, i.e. the set of sequences of actions being executed to evaluate the formula, is made explicit. We first focus on the logic of knowledge and change that is known as public announcement logic, then generalize our results to a dynamic epistemic logic. The results presented are from a joint work with Dr. Hans van Ditmarsch, and Prof. Wiebe van der Hoek. In the end, I will share some latest thoughts on an extension of Multi-Agent Systems framework with a social network connecting agents.
Related posts:
- StFX Logic Talk 2: Model Checking Knowledge Dynamics of Multi-Agent Systems Title: Model Checking Knowledge Dynamics of Multi-Agent Systems Time: 3PM,...
- StFX Logic Talk 1: Solving Sum-and-Product Riddle Using Public Announcement Logic I plan to give four talks about my research, in...
- My PhD Thesis Available now online: PhD Thesis: Reasoning about Time, Action and...
Related posts brought to you by Yet Another Related Posts Plugin.



[...] This post was Twitted by jiruan [...]