Hierarchical Planning: From Plan Verification to Plan Recognition
Project goals
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.
Keywords
Public support
Provider
Czech Science Foundation
Programme
International projects
Call for proposals
SGA0202100007
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
21-13882J
Alternative language
Project name in Czech
Hierarchické plánování: od verifikace plánů k rozpoznávání plánů
Annotation in Czech
Hierarchické plánování je znalostní přístup k automatickému plánování, kde doménový model popisuje, jak lze úlohy rozkládat na pod-úlohy, dokud nezískáme primitivní akce, které tvoří výsledný plán. Projekt se zabývá dvěma oblastmi hierarchického plánování, jmenovitě verifikací plánů a rozpoznáváním plánů, obě jsou prakticky velmi užitečné. Verifikace plánů jde směrem k důvěryhodným a vysvětlitelným systémům umělé inteligence a pomáhá zodpovídat otázky jako jsou „Je můj plán korektní vzhledem k formálnímu modelu?“, a v případě negativní odpovědi „Kde je v plánu nebo modelu chyba?“. Rozpoznávání plánů umožňuje detekovat akci/cíl agenta pouhým pozorováním jeho akci, což je užitečné pro předpovídání dalšího chování agentů a zodpovídání otázek typu „Jaká akce bude následovat?“. Projekt v sobě zahrnuje jak formální analýzu studovaných problémů, tak i návrh technik pro jejich řešení.
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 has been terminated by GACR in its second year because the foreign partner has moved outside Germany. The results obtained so far look good and acceptable.
Solution timeline
Realization period - beginning
Jan 1, 2021
Realization period - end
May 17, 2022
Project status
U - Finished project
Latest support payment
Nov 4, 2022
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
CEP23-GA0-GC-U
Data delivery date
Jun 26, 2023
Finance
Total approved costs
2,833 thou. CZK
Public financial support
2,350 thou. CZK
Other public sources
1,023 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
2 833 CZK thou.
Public support
2 350 CZK thou.
82%
Provider
Czech Science Foundation
OECD FORD
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Solution period
01. 01. 2021 - 17. 05. 2022