We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

Abstract: In the context of planning and reasoning about actions and change, we call an action reversible when its effects can be reverted by applying other actions, returning to the original state. Renewed interest in this area has led to several results in the context of the PDDL language, widely used for describing planning tasks.
In this paper, we propose several solutions to the computational problem of deciding the reversibility of an action. In particular, we leverage an existing translation from PDDL to Answer Set Programming (ASP), and then use several different encodings to tackle the problem of action reversibility for the STRIPS fragment of PDDL. For these, we use ASP, as well as Epistemic Logic Programming (ELP), an extension of ASP with epistemic operators, and compare and contrast their strengths and weaknesses.
Under consideration for acceptance in TPLP.
Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages
Subjects: Artificial Intelligence (cs.AI)
Cite as: arXiv:2108.05428 [cs.AI]
  (or arXiv:2108.05428v1 [cs.AI] for this version)

Submission history

From: Michael Morak [view email]
[v1] Wed, 11 Aug 2021 20:00:34 GMT (45kb)

Link back to: arXiv, form interface, contact.