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

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