Hierarchické plánování: od verifikace plánů k rozpoznávání plánů

Poskytovatel

Grantová agentura České republiky

Program

Mezinárodní projekty

Veřejná soutěž

SGA0202100007

Hlavní účastníci

Univerzita Karlova / Matematicko-fyzikální fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

21-13882J

Název projektu anglicky

Hierarchical Planning: From Plan Verification to Plan Recognition

Anotace anglicky

Hierarchical planning is a knowledge-based approach to automated planning, where the domain model describes how tasks decompose to subtasks until primitive actions forming the plan are obtained. The project addresses two areas of hierarchical planning, namely plan verification and plan recognition. Both of them are practically very important. The first one goes in the direction of trustworthy and explainable AI systems and it helps to answer questions such as “Does my plan comply with the formal model?” and, if not, “Where is the bug in the plan or model?”. The second one allows recognition of agent’s tasks/goals from observation of agent's actions, which is useful to predict the behavior of agents and to answer questions such as “What will be the next action?”. The project includes both the formal analysis of studied problems and techniques to solve them.

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 ukončen GAČR ve 2. roce, protože se zahraniční partner přesunul mimo Německo. Doposud dosažené výsledky byly dobré.

Zahájení řešení

1. 1. 2021

Ukončení řešení

17. 5. 2022

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

4. 11. 2022

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

CEP23-GA0-GC-U

Datum dodání záznamu

26. 6. 2023

Celkové uznané náklady

2 833 tis. Kč

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

2 350 tis. Kč

Ostatní veřejné zdroje financování

1 023 tis. Kč

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

0 tis. Kč