arXiv:2502.09221v1 论文类型: 新论文 摘要: 逻辑基础的AI领域中，回答集编程（ASP）是一种成功的解决问题的方法。在ASP中，问题表示为语义逻辑程序，解决方案通过其回答集来确定。平衡逻辑（EL）是一种基于语义逻辑“这里和那里”逻辑的一般用途非单调推理形式化。EL主要由Pearce提出，作为ASP的基础框架。知识规定（ES）是ASP程序的扩展，带有主观字汇。ASP语言中的这些新模态构建使得能够检查ASP中的常规字汇在程序的每个（或某些）回答集中是否为真。ES程序通过世界观解释，本质上是回答集的集合。反思自Knowepistemic逻辑是一种非单调形式化，模型理想理性代理的自我信念（知识）。对于ES相对新的语义基于EL和（反思）自知epistemic逻辑的结合。在本文中，我们首先提出一个涵盖性的框架应用于epistemic ASP领域。然后，我们确立了现有（反思）（自知）epistemic平衡逻辑与我们易于适应的全面框架之间的对应关系，基于Pearce对回答集作为平衡模型的描述。我们通过将Ferraris关于命题理论回答集的工作扩展到epistemic情况，并揭示了一些ES语义提议的关系来实现这一点。