将智能体意识视为一种知识，提出两种形式并构建完整逻辑系统。
An Epistemic Perspective on Agent Awareness
- 将意识分为'关于对象'与'关于陈述'两种知识形式
- 建立双模态逻辑系统，精确描述两类意识与事实知识的关系
- 适合关注认知建模与形式化推理的研究者
本文将智能体意识视为一种知识，打破现有文献的传统理解。区分了此类知识的de re与de dicto两种形式，引入两个模态来捕捉这两种形式，并使用二维语义学版本的形式化方法明确其含义。主要技术成果是构建了一个逻辑系统，该系统在语义上既可靠又完备，能够描述所提出的两个模态与标准的‘事实知识’模态之间的相互作用。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。