Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F21%3A00355407" target="_blank" >RIV/68407700:21230/21:00355407 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1017/S1471068421000429" target="_blank" >https://doi.org/10.1017/S1471068421000429</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S1471068421000429" target="_blank" >10.1017/S1471068421000429</a>
Alternative languages
Result language
angličtina
Original language name
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Theory and Practice of Logic Programming
ISSN
1471-0684
e-ISSN
1475-3081
Volume of the periodical
21
Issue of the periodical within the volume
5
Country of publishing house
GB - UNITED KINGDOM
Number of pages
17
Pages from-to
646-662
UT code for WoS article
000721317500009
EID of the result in the Scopus database
2-s2.0-85117692872