Answer set planning : a survey

Answer set planning

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.

Metadaten
Verfasserangaben:	Son Cao Tran ORCiD, Enrico Pontelli ORCiD GND, Marcello Balduccini ORCiD GND, Torsten Schaub ORCiD GND
DOI:	https://doi.org/10.1017/S1471068422000072
ISSN:	1471-0684
ISSN:	1475-3081
Titel des übergeordneten Werks (Englisch):	Theory and practice of logic programming
Untertitel (Englisch):	a survey
Verlag:	Cambridge University Press
Verlagsort:	New York
Publikationstyp:	Wissenschaftlicher Artikel
Sprache:	Englisch
Datum der Erstveröffentlichung:	01.04.2022
Erscheinungsjahr:	2022
Datum der Freischaltung:	29.01.2024
Freies Schlagwort / Tag:	knowledge representation and reasoning; logic programming; planning
Aufsatznummer:	PII S1471068422000072
Seitenanzahl:	73
Fördernde Institution:	NSF [1914635, 1833630, 1757207, 1812628]; DFG, Germany [SCHA 550/15];; NIST [70NANB21H167]
Organisationseinheiten:	Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Peer Review:	Referiert