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.
Updated: Talk photo album
No related posts.
Related posts brought to you by Yet Another Related Posts Plugin.
1 Comment
You must be logged in to post a comment.
[...] This post was Twitted by jiruan [...]