Sciweavers

DLOG
2010

An Algebraic Approach to Dynamic Epistemic Logic

13 years 1 months ago
An Algebraic Approach to Dynamic Epistemic Logic
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary purpose is to communicate information from one agent to another. These actions are unable to alter the valuation of any proposition within the system. In fields such as security, it is easy to imagine situations in which this sort of action would be insufficient. We expand the algebraic framework presented by M. Sadrzadeh [14] to include both communication actions and dynamic actions that change the state of the system. Furthermore, we propose a new modality that captures both epistemic and propositional changes resulting from the agents' actions.
Prakash Panangaden, Caitlin Phillips, Doina Precup
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where DLOG
Authors Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh
Comments (0)