Solving Goal Recognition Design Using ASP
Solving Goal Recognition Design Using ASP
复制标题
使用 ASP 解决目标识别设计
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
W. Yeoh
中科院分区：
文献类型：
--
作者：
Tran Cao Son;Orkunt Sabuncu;Christian Schulz;Torsten Schaub;W. Yeoh
目标识别设计涉及到确定最佳的方式来修改代理人在其中操作的底层环境，通常是通过使可行行动的子集不可行，以便代理人被迫尽早透露他们的目标。到目前为止，现有的工作只集中在迫切的经典规划。在本文中，我们解决同样的问题，不同的范式，即声明式的方法的基础上回答集编程（ASP）。我们的实验结果表明，我们的ASP编码是更可扩展的，是由三个数量级比thecurent国家的艺术明显更快。
Goal Recognition Design involves identifying the best ways to modify an underlying environment that agents operate in, typically by making asubset of feasible actions infeasible, so that agents are forced to reveal their goals as early as possible. Thus far, existing work has focused exclusively on imperative classical planning. In this paper, we address the same problem with a different paradigm, namely, declarative approaches based on Answer Set Programming (ASP). Our experimental results show that one of our ASP encodings is more scalable and is significantly faster by up to three orders of magnitude than thecurrent state of the art.