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
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2023年 / 23卷 / 01期
基金：
美国国家科学基金会;
关键词：
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 条
  • [51] Brewka G, 2002, EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, P100
  • [52] Brewka G, 2015, AAAI CONF ARTIF INTE, P1467
  • [53] BRYANT RE, 1992, COMPUT SURV, V24, P293, DOI 10.1145/136035.136043
  • [54] Planning graph heuristics for belief space search
    Bryce, Daniel
    Kambhampati, Subbarao
    Smith, David E.
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2006, 26 : 35 - 99
  • [55] Modelling Multi-Agent Epistemic Planning in ASP
    Burigana, Alessandro
    Fabiano, Francesco
    Dovier, Agostino
    Pontelli, Enrico
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (05) : 593 - 608
  • [56] ASP-Core-2 Input Language Format
    Calimeri, Francesco
    Faber, Wolfgang
    Gebser, Martin
    Ianni, Giovambattista
    Kaminski, Roland
    Krennwallner, Thomas
    Leone, Nicola
    Maratea, Marco
    Ricca, Francesco
    Schaub, Torsten
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (02) : 294 - 309
  • [57] Camacho A., 2019, P 29 INT C AUT PLANN, P58
  • [58] Camacho A, 2018, P I C AUTOMAT PLAN S, P29
  • [59] Cashmore M, 2020, J ARTIF INTELL RES, V67, P235
  • [60] SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
    Castellini, C
    Giunchiglia, E
    Tacchella, A
    [J]. ARTIFICIAL INTELLIGENCE, 2003, 147 (1-2) : 85 - 117
12345678910