Logic of Awareness in Agent's Reasoning

TL;DR

This paper introduces Awareness Logic with Partition (ALP), a formal framework for modeling agent awareness and knowledge states using possible worlds and partitions, addressing limitations of logical omniscience.

Contribution

It proposes a novel logic that captures agent awareness through partitions of possible worlds, extending traditional epistemic logic to better model practical agent communication.

Findings

Introduces ALP with formal syntax and semantics.

Proves completeness of the logic.

Outlines potential for dynamic awareness updates.

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 \textit{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 \textit{indistinguishable} worlds. Our logic is called Awareness Logic with Partition ($\mathcal{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.