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í

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202500001

Hlavní účastníci

Univerzita Karlova / Matematicko-fyzikální fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

25-18003S

Název projektu anglicky

Using formal grammars and automata to acquire and verify domain control knowledge in planning

Anotace anglicky

Automated planning deals with the problem of selecting and organizing actions to achieve a given goal. It is a model-based AI approach where the classical model describes when an action is applicable and how it modifies the environment. Despite significant progress in domain- independent automated planning techniques, these approaches frequently fall short compared to domain-specific planners that exploit information about a particular domain. This domain- specific information can be encoded as domain control knowledge that guides automated planners to find the solution plan more efficiently. This project deals with the problem of how to model control knowledge such that automated planners can exploit it to improve their efficiency. The particular questions to answer in the project are how to encode control knowledge by using formal automata and grammars, how to obtain the control knowledge, for example, by learning from example plans, and how to exploit control knowledge in planning, for example, by compiling it to existing domain modeling formalisms.

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

Zahájení řešení

1. 1. 2025

Ukončení řešení

31. 12. 2027

Poslední stav řešení

Z - Začínající víceletý projekt

Poslední uvolnění podpory

—

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

CEP25-GA0-GA-R

Datum dodání záznamu

28. 3. 2025

Celkové uznané náklady

11 280 tis. Kč

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

10 449 tis. Kč

Ostatní veřejné zdroje financování

831 tis. Kč

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

0 tis. Kč