Dynamic Epistemic Logic makes it possible to model and reason about information change in multi-agent systems. Information change is mathematically modeled through epistemic action Kripke models introduced by Also, van Ditmarsch interprets the information change as a relation between epistemic states and sets of epistemic states and to describe it formally, he considers a special constructor LB called learning operator. Inspired by this, it seems natural to us that the basic source of information change in a multi-agent system should be learning an announcement by some agents together, privately, concurrently or even wrongly. Hence moving along this path, we introduce the notion of a learning program and prove that all finite K45 action models can be described by our learning programs
In @cite_0 , an epistemic action is interpreted as a between @math epistemic states and sets of @math epistemic states. There are two main differences between the interpretation of epistemic action in concurrent dynamic epistemic logic and epistemic learning programs.
@cite_0
1500025499
When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our work is in that tradition. It also fits in approaches that not only dynamize the epistemics, but also epistemize the dynamics: the actions that (groups of) agents perform are epistemic actions. Different agents may have different information about which action is taking place, including higher-order information. We demonstrate that such information changes require subtle descriptions. Our contribution is to provide a complete axiomatization for an action language of van Ditmarsch, where an action is interpreted as a relation between epistemic states (pointed models) and sets of epistemic states. The applicability of the framework is found in every context where multiagent strategic decision making is at stake, and already demonstrated in game-like scenarios such as Cluedo and card games.