中文

认知规划域定义语言:官方指南

人工智能 2026-05-01 v3

摘要

认知规划将(多智能体)自动规划通过将智能体的知识和信念置于规划形式的核心位置。动态认知逻辑(DEL)是认知规划最为人熟知的框架之一,它为建模提供丰富且自然的语义。DEL 提供的强表达能力使得基于 DEL 的认知规划在理论上以及实际实现中都面临挑战。结果是,现有的认知规划器通常针对不同的 DEL 片段,依赖于各种各样的语言来表示基准,甚至时而没有语言。这种碎片化阻碍了比较、复用以及系统性基准开发。我们通过引入认知规划域定义语言(EPDDL)来解决这些问题。EPDDL 提供一种类似 PDDL 的独特表示方法,覆盖整个 DEL 语义,实现认知规划任务的统一指定。我们的主要贡献包括:1. 对抽象事件模型的正式发展,这是一种用于定义本语言语义的新型认知动作表示;2. 以抽象事件模型为基础,对 EPDDL 语法和语义的正式规定。通过代表性基准的示例,我们说明了 EPDDL 如何促进互操作性、可重复评估以及认知规划的未来进步。

关键词

引用

@article{arxiv.2601.20969,
  title  = {The Epistemic Planning Domain Definition Language: Official Guideline},
  author = {Alessandro Burigana and Francesco Fabiano},
  journal= {arXiv preprint arXiv:2601.20969},
  year   = {2026}
}