Publikation: Universal and Uniform Action Reversibil...
Stammdaten
Titel: | Universal and Uniform Action Reversibility |
Untertitel: | |
Kurzfassung: | 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. |
Schlagworte: | Reasoning about actions and change, action languages |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 03.11.2021 (Print) |
Erschienen in: |
KR2021 - Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
KR2021 - Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
(
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 651 - 655 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 03.11.2021 |
ISBN: | - |
ISSN: | - |
Homepage: | https://proceedings.kr.org/2021/63/ |
Erscheinungsdatum: | 03.11.2021 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.24963/kr.2021/63 |
Homepage: | https://proceedings.kr.org/2021/63/ |
Open Access |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
Czech Technical University in Prague
|
CZ - 16636 Prague 6 |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |