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.

翻译：本研究旨在形式化表达意识，以建模实际智能体通信。意识概念被定义为每个智能体所关注的一组命题，并有助于避免逻辑全知问题。然而，当智能体推测另一智能体的知识状态时，起作用的并非命题，而是可通达的可能世界。因此，我们引入一种与意识相关的可能世界划分（即等价关系）来表示不可区分的世界。我们的逻辑被称为带划分的意识逻辑（ALP）。本文首先通过一个运行示例展示实际社交博弈场景，随后阐述该逻辑的语法与克里普克语义，并证明其完备性。最后，我们概述了通过动态算子整合改变意识状态的知识行为的思路。