Publikation: Determining Action Reversibility in STR...

Stammdaten
Titel: Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Untertitel:
Kurzfassung: AbstractIn 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.
Schlagworte: Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Theoretical Computer Science, Software
Publikationstyp: Beitrag in Zeitschrift (Autorenschaft)
Erscheinungsdatum: 27.09.2021 (Online)
Erschienen in: Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
zur Publikation
 ( Cambridge University Press; M. Truszczynski )
Titel der Serie: -
Bandnummer: 21
Heftnummer: 5
Erstveröffentlichung: Ja
Version: -
Seite: S. 646 - 662

Versionen
Keine Version vorhanden
Erscheinungsdatum: 09.2021
ISBN: -
ISSN: 1471-0684
Homepage: -
Erscheinungsdatum: 27.09.2021
ISBN (e-book): -
eISSN: 1475-3081
DOI: http://dx.doi.org/10.1017/s1471068421000429
Homepage: https://doi.org/10.1017/S1471068421000429
Open Access
  • Online verfügbar (Open Access)

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung
Sachgebiete
  • 102001 - Artificial Intelligence
  • 102011 - Formale Sprachen
  • 102028 - Knowledge Engineering
  • 102030 - Semantische Technologien
  • 102032 - Computational Intelligence
Forschungscluster Kein Forschungscluster ausgewählt
Zitationsindex
  • Science Citation Index Expanded (SCI Expanded)
Informationen zum Zitationsindex: Master Journal List
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen
  • Semantic Systems

Kooperationen
Organisation Adresse
Czech Technical University in Prague
Thákurova 2077/7
16636 Prague 6
Tschechien
Thákurova 2077/7
CZ - 16636  Prague 6

Beiträge der Publikation
Keine verknüpften Publikationen vorhanden