A Simple Account of Multi-Agent Epistemic Planning
A Simple Account of Multi-Agent Epistemic Planning
复制标题
多智能体认知规划的简单说明
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
P. Régnier
中科院分区：
文献类型：
--
作者：
Martin C. Cooper;A. Herzig;Faustine Maffre;Frédéric Maris;P. Régnier
多智能体规划的现实模型必须允许我们对经典规划中缺少的概念（例如通信和知识）进行建模。我们基于简单的行动逻辑和基于命题变量可见性的知识来研究多智能体规划。使用这种形式逻辑使我们能够从构成计划的各个行动的有效性中推断出计划的有效性。我们将以这种逻辑表达的多智能体规划问题编码为经典规划语言 PDDL。将生成的问题输入 PDDL 规划器可为原始多智能体规划问题提供可证明正确的计划。我们使用八卦问题作为运行示例。
A realistic model of multiagent planning must allow us to model notions which are absent in classical planning such as communication and knowledge. We investigate multiagent planning based on a simple logic of action and knowledge that is based on the visibility of propositional variables. Using such a formal logic allows us to deduce the validity of a plan from the validity of the individual actions which compose it. We present a coding of multiagent planning problems expressed in this logic into the classical planning language PDDL. Feeding the resulting problem into a PDDL planner provides a provably correct plan for the original multiagent planning problem. We use the gossip problem as a running example.