Authors:
Yudai Kubono
;
Teeradaj Racharak
and
Satoshi Tojo
Affiliation:
School of Information Science, Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Keyword(s):
Awareness, Epistemic Logic, Multi-Agent Systems, Rational Agent, Axiomatization.
Abstract:
The aim of this study is to formally express awareness for modeling practical agent communication. The notion of awareness has been proposed as a set of propositions for each agent, to which he/she pays attention, and has contributed to avoiding logical omniscience. However, when an agent guesses another agent’s knowledge states, what matters are not propositions but are accessible possible worlds. Therefore, we introduce a partition of possible worlds connected to awareness, that is an equivalence relation, to denote indistinguishable worlds. Our logic is called Awareness Logic with Partition (ALP). In this paper, we first show a running example to illustrate a practical social game. Thereafter, we introduce syntax and Kripke semantics of the logic and prove its completeness. Finally, we outline an idea to incorporate some epistemic actions with dynamic operators that change the state of awareness.