Hierarchical Planning: From Plan Verification to Plan Recognition
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
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>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