Identifikace nezvratných akcí a událostí v automatickém plánování pomocí answer set programming

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-17223/2018-2

Název projektu anglicky

Identifying Undoable Actions and Events in Automated Planning by Means of Answer Set Programming

Anotace anglicky

In a nutshell, the main goals of the project, besides establishing a collaboration, are as follows. 1. Produce a theoretical framework for identifying undoable actions and events. 2. Implement the framework. This could be done within a well known Automated Planning framework (for example FastDownward or LAPKT) and using ASP solvers (like clingo, DLV, Alpha Solver) as back-ends. 3. Evaluate the impact of action and event undoability in classical planning and „planning and execution“ systems. Given a description of a planning task (e.g. in PDDL), the proposed framework produces a list of undoable actions and events, i.e., those whose effects cannot be undone. Since undoable actions/events cause dead-ends, from which planning goals are no longer achievable, we will integrate the proposed framework into planning systems and evaluate how the information about undoable actions/events improves their performance as well as robustness of plans when executed in a non-deterministic environment (i.e., the „planning and execution“ approach). Three deliverables are planned to be produced during this project: V1 will be a publication on tasks T1 and T2, due date is the end of T2, 31.3.2020 V2 will be the implementation produced in T4, due date is the end of T4, 30.9.2020 V3 will be a publication on tasks T3, T4, and T5, due date is the end of T5, 31.12.2020 The deliverables V1 and V3 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 after establishing the collaboration we plan to apply for bilateral or multilateral funding (e.g. H2020).

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. 2019

Ukončení řešení

31. 12. 2021

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

29. 4. 2020

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

CEP22-MSM-8J-U

Datum dodání záznamu

19. 7. 2022

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č