Epistemic Planning (EP) refers to an automated planning setting where the agent reasons in the space of knowledge states and tries to find a plan to reach a desirable state from the current state. Its general form, the Multi-agent Epistemic Planning (MEP) problem involves multiple agents who need to reason about both the state of the world and the information flow between agents. In a MEP problem, multiple approaches have been developed recently with varying restrictions, such as considering only the concept of knowledge while not allowing the idea of belief, or not allowing for ``complex" modal operators such as those needed to handle dynamic common knowledge. While the diversity of approaches has led to a deeper understanding of the problem space, the lack of a standardized way to specify MEP problems independently of solution approaches has created difficulties in comparing performance of planners, identifying promising techniques, exploring new strategies like ensemble methods, and making it easy for new researchers to contribute to this research area. To address the situation, we propose a unified way of specifying EP problems - the Epistemic Planning Domain Definition Language, E-PDDL. We show that E-PPDL can be supported by leading MEP planners and provide corresponding parser code that translates EP problems specified in E-PDDL into (M)EP problems that can be handled by several planners. This work is also useful in building more general epistemic planning environments where we envision a meta-cognitive module that takes a planning problem in E-PDDL, identifies and assesses some of its features, and autonomously decides which planner is the best one to solve it.
翻译:Epistemic Plan (EP) 指的是一个自动化规划环境, 知识空间空间的代理性原因是指一个自动化规划环境, 即知识空间的代理性原因所在, 并试图找到一个能从当前状态中达到理想状态的计划。 其总体形式是多试剂 Pissemic Plan (MEP) 问题涉及多个代理性, 既需要了解世界状况, 也需要了解物剂之间的信息流动 。 在MEP 问题中, 最近开发了多种方法, 限制各异, 例如只考虑知识概念, 不允许信仰理念, 或不允许“ complex” 模式操作者, 如处理动态共同知识所需要的模式操作者等 。 方法的多样性导致对问题空间的理解更加深入。 虽然方法的多样性导致对问题的理解更加深刻, 缺乏一个标准化的方法来说明多用途规划问题。 在比较规划者绩效、确定有希望的技术、探索诸如组合方法等新策略,以及让新研究人员容易为研究领域作出贡献。 为了解决这个问题, 我们建议一种有用的方法来指定 Epitemical plan D 语言语言语言语言语言语言、 EPD 建筑 EPL 规划中的一种方法可以使EPPL 得到一些 规则化 。 我们在EPD 中可以把EPD 的精准 。