Determining Action Reversibility in STRIPS Using Answer Set Programming
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F20%3A00347216" target="_blank" >RIV/68407700:21230/20:00347216 - isvavai.cz</a>
Result on the web
<a href="http://ceur-ws.org/Vol-2678/paper2.pdf" target="_blank" >http://ceur-ws.org/Vol-2678/paper2.pdf</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Determining Action Reversibility in STRIPS Using Answer Set Programming
Original language description
In planning and reasoning about action and change, reversibil-ity of actions is the problem of deciding whether the effects of an actioncan be reverted by applying other actions in order to return to the orig-inal state. While this problem has been studied for some time, recentlythere has been renewed interest in the context of the language PDDL.After reviewing the concepts, in this paper we propose a solution byleveraging an existing translation from PDDL domains and problems toAnswer Set Programming (ASP). This work serves as the basis for thefirst sound and complete system for determining reversibility of PDDLactions, for now restricted to the STRIPS fragment.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
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
2020
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
Article name in the collection
International Conference on Logic Programming 2020 Workshop Proceedings
ISBN
—
ISSN
1613-0073
e-ISSN
—
Number of pages
14
Pages from-to
—
Publisher name
CEUR Workshop Proceedings
Place of publication
Aachen
Event location
Rende
Event date
Sep 18, 2020
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—