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 条

[1] Train Scheduling with Hybrid ASP
Abels, Dirk
Jordi, Julian
Ostrowski, Max
Schaub, Torsten
Toletti, Ambra
Wanko, Philipp
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2019, 2019, 11481 : 3 - 17
[2] Aker E, 2011, LECT NOTES ARTIF INT, V6645, P311
[3] Albore A., 2011, P 21 INT C AUT PLANN, P2, DOI DOI 10.1609/ICAPS.V21I1.13473
[4] Allen J., 1991, REASONING PLANS
[5] ALLEN J, 1990, READINGS PLANNING
[6] Allen M., 2009, P ADV NEUR INF PROC, P19
[7] The ASP System DLV2
Alviano, Mario
Calimeri, Francesco
Dodaro, Carmine
Fusca, Davide
Leone, Nicola
Perri, Simona
Ricca, Francesco
Veltri, Pierfrancesco
Zangari, Jessica
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 215 - 221
[8] Alviano M, 2013, LECT NOTES COMPUT SC, V8148, P54, DOI 10.1007/978-3-642-40564-8_6
[9] Aminof B, 2020, PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P1674
[10] Andreychuk A, 2019, PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P39

← 1 2 3 4 5 6 7 8 9 10 →