认知计划中的可决性的语义方法（扩展版）
摘要：使用动态认知逻辑（Dynamic Epistemic Logic）在多智能体规划中引入了一种广泛采用的行动形式，可以处理非确定性、部分可观察性和任意知识嵌套。但是，由于这种表达能力的代价是不可判定性，因此已经提出了几个可判定的片段，主要是基于行动形式的句法限制。在本文中，我们采用了一种新颖的语义方法来实现可判定性。具体而言，我们不是施加句法约束，而是将语义方法集中在认知规划逻辑的公理上。具体而言，我们增加了知识S5_n的逻辑和一种称为(知识)可交换性的交互公理，该公理控制了智能体对其他智能体知识的无限推理能力。然后，我们提供了三个贡献。首先，我们证明了结果认知规划问题是可判定的。在此过程中，我们证明了我们的框架允许对共同知识进行有限非不动点特征化，这是独立感兴趣的。其次，我们研究了可交换性公理的不同推广，目的是为DEL更富表现力的片段获取可判定性。最后，我们证明了两个基于行动模板的已知认知规划系统，在知识设置下解释符合可交换性公理，从而证明了它们的可判定性。
作者：Alessandro Burigana, Paolo Felli, Marco Montali and Nicolas Troquard
论文ID：2307.15485
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-31