Obecná reversibilita deterministických a nedeterministických akcí

Poskytovatel

Ministerstvo školství, mládeže a tělovýchovy

Program

Podpora mobility výzkumných pracovníků a pracovnic v rámci mezinárodní spolupráce ve VaVaI

Veřejná soutěž

—

Hlavní účastníci

České vysoké učení technické v Praze / Fakulta elektrotechnická

Druh soutěže

M2 - Mezinárodní spolupráce

Číslo smlouvy

MSMT-12202/2021-26

Název projektu anglicky

General Reversibility of Deterministic and Non-deterministic Actions

Anotace anglicky

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.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

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

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt byl realizován v rámci Aktivity MOBILITY, jejímž hlavním cílem je navázání a prohlubování kontaktů se zahraničními výzkumnými institucemi. Neprobíhá tedy kontrola dílčích výstupů projektu prostřednictvím hodnotící komise, avšak je kontrolována správnost čerpání přidělených financí a přiměřenost jejich využití.

Zahájení řešení

1. 1. 2022

Ukončení řešení

31. 12. 2023

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

28. 2. 2023

Důvěrnost údajů

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

Systémové označení dodávky dat

CEP24-MSM-8J-U

Datum dodání záznamu

1. 7. 2024

Celkové uznané náklady

196 tis. Kč

Výše podpory ze státního rozpočtu

196 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč