Universal and Uniform Action Reversibility
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F21%3A00352535" target="_blank" >RIV/68407700:21230/21:00352535 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.24963/kr.2021/63" target="_blank" >https://doi.org/10.24963/kr.2021/63</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.24963/kr.2021/63" target="_blank" >10.24963/kr.2021/63</a>
Alternative languages
Result language
angličtina
Original language name
Universal and Uniform Action Reversibility
Original language description
The problem of action reversibility studies whether effects of a given action can be reversed (or undone) by a sequence of (other) actions. For example, actions whose effects can be reversed cannot lead to dead-ends. In the usual settings, the problem of action reversibility is PSPACE-complete, that is, as hard as deciding plan existence. In this paper, we focus on subclasses of the action reversibility problem, universal and uniform action reversibility, where the former considers all states in which the action in question is applicable, while the latter requires a single reverting action sequence, independent of the considered states. Specifically, we study the relations between projection abstractions and the subclasses of the action reversibility problem and we show that universal uniform reversibility of a given action can be decided on projection consisting of only the variables present in the schema of the action in question.
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
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
Article name in the collection
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
ISBN
978-1-956792-99-7
ISSN
2334-1033
e-ISSN
—
Number of pages
5
Pages from-to
651-655
Publisher name
International Joint Conferences on Artificial Intelligence Organization
Place of publication
—
Event location
Virtual conference
Event date
Nov 3, 2021
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—