基于意识和不可区分性的显式知识精炼

本文解决了意识逻辑中一个已知的局限性，该框架旨在解决逻辑全知的问题。原始框架中显式知识的定义可能导致不希望的逻辑结果。本文提出了一个基于认知不可区分性的改进定义，旨在更准确地表示显式知识。使用初等几何作为例子，为理解这些概念提供了清晰且相关的背景。本文的贡献包括一个具有增强表达能力的新逻辑（AIL）、一个形式系统以及健全性和完备性的证明。这项工作与人工智能研究相关，因为它改进了知识表示的形式化，这对于构建能够有效推理的智能系统至关重要。

• •解决了原始意识逻辑中的局限性。
• •提出了一个基于认知不可区分性的显式知识的改进定义。
• •引入了一个具有增强表达能力的新逻辑（AIL）。
• •为AIL提供了一个形式系统以及健全性和完备性的证明。