An Epistemic Perspective on Agent Awareness
This provides a formal framework for agent awareness in AI and philosophy, but is incremental as it builds on existing logical traditions.
The paper tackles the problem of modeling agent awareness by treating it as a form of knowledge, distinguishing de re and de dicto forms, and introduces two modalities with a sound and complete logical system describing their interplay with standard knowledge.
The paper proposes to treat agent awareness as a form of knowledge, breaking the tradition in the existing literature on awareness. It distinguishes the de re and de dicto forms of such knowledge. The work introduces two modalities capturing these forms and formally specifies their meaning using a version of 2D-semantics. The main technical result is a sound and complete logical system describing the interplay between the two proposed modalities and the standard "knowledge of the fact" modality.