Answer Set Planning: A Survey

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 developme...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 23; no. 1; pp. 226 - 298
Main Authors: CAO TRAN, SON, PONTELLI, ENRICO, BALDUCCINI, MARCELLO, SCHAUB, TORSTEN
Format: Journal Article
Language:English
Published: Cambridge Cambridge University Press 01.01.2023
Subjects:
Automation
Declarative programming
Knowledge
Logic programming
Mathematical programming
Planning
Semantics
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1471-0684
1475-3081
DOI:10.1017/S1471068422000072