Answer Set Planning: A Survey

被引:7
作者
Tran, Son Cao [1 ]
Pontelli, Enrico [1 ]
Balduccini, Marcello [2 ]
Schaub, Torsten [3 ]
机构
[1] New Mexico State Univ, Dept Comp Sci, Las Cruces, NM 88003 USA
[2] St Josephs Univ, Dept Decis & Syst Sci, Philadelphia, PA 19131 USA
[3] Univ Potsdam, Dept Comp Sci, Potsdam, Germany
基金
美国国家科学基金会;
关键词
planning; knowledge representation and reasoning; logic programming; WELL-FOUNDED SEMANTICS; DECENTRALIZED CONTROL; SENSING ACTIONS; STABLE MODEL; LOGIC; COMPLEXITY; SYSTEMS; SATISFIABILITY; PREFERENCES; DIAGNOSIS;
D O I
10.1017/S1471068422000072
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, that is, solutions to planning problems, that transform a given state of the world to another state. The development of efficient and scalable answer set solvers has provided a significant boost to the development of ASP-based planning systems. This paper surveys the progress made during the last two and a half decades in the area of answer set planning, from its foundations to its use in challenging planning domains. The survey explores the advantages and disadvantages of answer set planning. It also discusses typical applications of answer set planning and presents a set of challenges for future research.
引用
收藏
页码:226 / 298
页数:73
相关论文
共 281 条
  • [61] Chakraborti T, 2017, PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P156
  • [62] Charrier T., 2016, P IJCAI, P1030
  • [63] Long-distance mutual exclusion for planning
    Chen, Yikin
    Huang, Ruoyun
    Xing, Zhao
    Zhang, Weixiong
    [J]. ARTIFICIAL INTELLIGENCE, 2009, 173 (02) : 365 - 391
  • [64] Conformant planning via symbolic model checking and heuristic search
    Cimatti, A
    Roveri, M
    Bertoli, P
    [J]. ARTIFICIAL INTELLIGENCE, 2004, 159 (1-2) : 127 - 206
  • [65] Conformant planning via symbolic model checking
    Cimatti, A
    Roveri, M
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2000, 13 : 305 - 338
  • [66] Cohen L., 2016, IJCAI, V16, P3067
  • [67] Cordier, 1994, 819 IRISA
  • [68] A Single-Agent Approach to Multiagent Planning
    Crosby, Matthew
    Jonsson, Anders
    Rovatsos, Michael
    [J]. 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 237 - +
  • [69] Dai P, 2011, J ARTIF INTELL RES, V42, P181
  • [70] GASP: Answer Set Programming with Lazy Grounding
    Dal Palu, Alessandro
    Dovier, Agostino
    Pontelli, Enrico
    Rossi, Gianfranco
    [J]. FUNDAMENTA INFORMATICAE, 2009, 96 (03) : 297 - 322