Answer Set Planning in Single- and Multi-agent Environments
Answer Set Planning in Single- and Multi-agent Environments
复制标题
单代理和多代理环境中的答案集规划
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
M. Balduccini
中科院分区：
文献类型：
--
作者：
Tran Cao Son;M. Balduccini
我们介绍了单一和多代理环境中的答案设置计划的主要思想，我们描述了动态域的系统翻译 - 作为动作语言的一组语句，例如$$ Mathcal {b} $$ b-逻辑程序可用于计划和其他推理任务（例如，诊断），我们使用一个众所周知的问题在不同的设置及其解决方案中说明了答案设置的问题。域，Kiva机器人系统。
We present the main ideas of answer set planning in both single- and multi-agent environments. Specifically, we describe a systematic translation of a dynamic domain—given as set of statements in an action language such as $$mathcal{B}$$B—into a logic program which can be used for planning and other reasoning tasks (e.g., diagnosis) given the dynamic domain. We illustrate the issues of answer set planning in different settings and their solutions using a well-known problem domain, the Kiva robot system.