Determining Action Reversibility in STRIPS Using Answer Set Programming

Kód výsledku v 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>

Výsledek na webu

<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

—

Jazyk výsledku

angličtina

Název v původním jazyce

Determining Action Reversibility in STRIPS Using Answer Set Programming

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Determining Action Reversibility in STRIPS Using Answer Set Programming

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

International Conference on Logic Programming 2020 Workshop Proceedings

ISBN

—

ISSN

1613-0073

e-ISSN

—

Počet stran výsledku

14

Strana od-do

—

Název nakladatele

CEUR Workshop Proceedings

Místo vydání

Aachen

Místo konání akce

Rende

Datum konání akce

18. 9. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—