DELPHIC：通过可能性实现实用的DEL规划（扩展版）
摘要：动态认知逻辑（DEL）提供了一个能够表示非确定性行为、部分可观察性、高阶知识以及事实和认识上的变化的认知计划框架。DEL的高表达能力挑战着现有的认知规划器，这些规划器通常只能处理整个框架的受限片段。本研究的目标是推动实际的DEL规划的发展，最终使得认知规划器能够处理DEL提供的全部特性。为了实现这个目标，我们质疑了传统基于Kripke模型定义的DEL语义。特别是，我们提出了一种等价的语义，用称为"可能性"的非良基对象作为主要组成部分，这些"可能性"同时表示世界的事实属性以及代理所认为的可能性。我们将得到的框架称为DELPHIC。我们认为DELPHIC确实提供了更紧凑的认知状态表示。为了验证这一观点，我们用ASP实现了这两种方法，并进行了实验评估，将DELPHIC与传统的基于Kripke的方法进行比较。评估结果证实了DELPHIC在空间和时间上优于传统方法。
作者：Alessandro Burigana, Paolo Felli and Marco Montali
论文ID：2307.15451
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-31