General Reversibility of Deterministic and Non-deterministic Actions
Project goals
In a nutshell, the main goals of the project, besides maintaining a collaboration, are as follows. 1) Produce a theoretical framework for identifying reversible actions in lifted STRIPS representation and FOND Planning. 2) Implement the framework, leveraging Automated Planning frameworks (for example FastDownward, LAPKT, PRP) and using ASP solvers (like clingo, DLV, Alpha Solver) as back-ends. 3) Evaluate the implementation.Given a description of a planning task (e.g. in PDDL), the proposed framework produces a list of reversible actions, i.e., those whose effects can be undone, together with reverse plans or policies. Since reversible actions can be considered as safe, we will integrate the proposed framework into planning systems (for example FastDownward, LAPKT, PRP) that can be leveraged for online planning, non-deterministic planning or planning with Agent Planning Programs. The results will be published on top ranked venues (e.g. AAAI, IJCAI, ICAPS, KR). Three deliverables are planned to be produced during this project: D1 will be a publication on tasks T1 and T2, due date is the end of T2, 31.5.2023 D2 will be the implementation produced in T3, due date is the end of T3, 30.9.2023 D3 will be a publication on tasks T3, and T4, due date is the end of T4, 31.12.2023The deliverables D1 and D3 will be published on top ranked venues (e.g. AAAI, IJCAI, ICAPS, KR). The collaboration between CTU and AAU is planned with a longer-term aim, as we currently plan to apply for bilateral funding FWF-GACR.
Keywords
Automated planningAction reversibilityAnswer Set Programming
Public support
Provider
Ministry of Education, Youth and Sports
Programme
Promoting the mobility of researchers and workers in the framework of international cooperation in R&D
Call for proposals
—
Main participants
České vysoké učení technické v Praze / Fakulta elektrotechnická
Contest type
M2 - International cooperation
Contract ID
MSMT-12202/2021-26
Alternative language
Project name in Czech
Obecná reversibilita deterministických a nedeterministických akcí
Annotation in Czech
Souhrnem, hlavní cíle projektu, kromě navázaní spolupráce, jsou následující. 1.Zhotovit teoretický rámec pro identifikaci reversibilních akcí v liftované STRIPS representaci a ve FOND plánování 2.Implementace tohoto rámce, využívajíc systémů automatického plánování (např. FastDownward, LAPKT, PRP) a ASP řešiců (např. clingo, DLV, Alpha Solver). 3.Vyhodnocení implementovaných algoritmů. Z popisu plánovací úlohy (např. v jazyce PDDL), navržený rámec zjistí seznam reversibilních akcí, tj. takové, jejichž efekty lze vrátit zpět, včetně reversních plánů a policy. Jelikož reversibilní akce lze považovat jako bezpečné, budeme integrovat navržený rámec do plánovacích systémů (např. FastDownward, LAPKT, PRP) a využijeme informace o reversibilních akcích v online plánování, nedeterministickém plánování a plánování v Agent Planning Programs.Tři výsledky jsou plánovány jako výstup projektu: D1 bude ve formě publikace shrnující výsledky úloh T1 a T2, termín dokončení rovněž jako u T2 je plánován na 31.5.2023D2 bude ve formě implementace systému (úloha T3), termín dokončení rovněž jako u T3 je plánován na 30.9.2023 D3 bude ve formě publikace shrnující výsledky úloh T3 a T4, termín dokončení rovněž jako u T4 je plánován na 31.12.2023. Výsledky budeme publikovat na prestižních fórech (např. AAAI, IJCAI, ICAPS, KR). Spolupráce mezi ČVUT a AAU je plánovaná s dlouhodobým záměrem, kde plánujeme žádat o bilaterální FWF-GAČR projekt.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
AF - Documentation, librarianship, work with information
BC - Theory and management systems
BD - Information theory
IN - Informatics
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project was implemented within the framework of the MOBILITY Activity, whose main objective is to establish and deepen contacts with foreign research institutions. Therefore, the partial outputs of the project are not checked by the evaluation committee, but the correctness of the use of the allocated funds and the adequacy of their use are checked.
Solution timeline
Realization period - beginning
Jan 1, 2022
Realization period - end
Dec 31, 2023
Project status
U - Finished project
Latest support payment
Feb 28, 2023
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-MSM-8J-U
Data delivery date
Jul 1, 2024
Finance
Total approved costs
196 thou. CZK
Public financial support
196 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
196 CZK thou.
Public support
196 CZK thou.
100%
Provider
Ministry of Education, Youth and Sports
OECD FORD
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Solution period
01. 01. 2022 - 31. 12. 2023