Omezující podmínky a booleovská splnitelnost pro umělou inteligenci
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Postdoktorandské granty
Veřejná soutěž
Postdoktorandské granty 9 (SGA02009GA1PD)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
201/09/P318
Alternativní jazyk
Název projektu anglicky
Constraint programming and Boolean satisfiability for artificial intelligence
Anotace anglicky
The aim of the project is to improve constraint programming and Boolean satisfaction techniques to provide more efficiency in solving problems motivated by artificial intelligence. The project assumes to use tasks from automated planning (a sub-area of artificial intelligence) as a source of difficult problems to drive the improvements of constraint programming and Boolean satisfiability. The project is targeted on studying several particular questions, namely: (i) How to apply network flows for relaxing hard problems arising in constraint programming and Boolean satisfiability? (ii) How to exploit structural properties of problems arising in constraint programming and Boolean satisfiability for developing new types of consistencies? (iii) How does thestructure of highly parallel planning problems look like? (iv) What is the characterization of easy and difficult problems in relation to questions (i), (ii), and (iii)?
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
BA - Obecná matematika
CEP - další vedlejší obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Řešení projektu proběhlo podle plánu jak z hlediska odborného tak i z hlediska čerpání finančních prostředků.
Termíny řešení
Zahájení řešení
1. 1. 2009
Ukončení řešení
31. 12. 2011
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
16. 4. 2011
Dodání dat do CEP
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
CEP12-GA0-GP-U/03:3
Datum dodání záznamu
2. 5. 2016
Finance
Celkové uznané náklady
882 tis. Kč
Výše podpory ze státního rozpočtu
882 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč