Using formal grammars and automata to acquire and verify domain control knowledge in planning
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202500001
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
25-18003S
Alternative language
Project name in Czech
Použití formálních gramatik a automatů pro získávání a verifikování doménové řídící informace v plánování
Annotation in Czech
Automatické plánování se zabývá výběrem a organizací akcí pro dosažení požadovaného cíle. Jedná se o modelový přístup k umělé inteligenci, kde klasický model popisuje, kdy jsou akce aplikovatelné a jakým způsobem mění okolní prostředí. Přes velký pokrok na poli doménově nezávislých plánovacích technik jsou specializované řešící přístupy navržené pro konkrétní doménu stále efektivnější díky možnosti využít specifické informace o dané doméně. Tato informace může být zakódována to podoby doménové řídící informace, kterou mohou následně využít i obecné plánovací techniky pro efektivnější hledání plánů. Projekt se zabývá modelováním doménové řídící informace a jejím využitím pro zvýšení efektivity obecných plánovacích technik. Konkrétně bude projekt řešit otázky, jak kódovat řídící informace, především použitím formálních automatů a gramatik, jak řídící informace získávat, například učením se z příkladů plánů, a jak efektivně řídící informaci využít ve stávajících plánovacích technikách, například její kompilací do klasického plánovacího modelu.
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
Solution timeline
Realization period - beginning
Jan 1, 2025
Realization period - end
Dec 31, 2027
Project status
Z - Beginning multi-year project
Latest support payment
—
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
CEP25-GA0-GA-R
Data delivery date
Mar 28, 2025
Finance
Total approved costs
11,280 thou. CZK
Public financial support
10,449 thou. CZK
Other public sources
831 thou. CZK
Non public and foreign sources
0 thou. CZK