Integrace strojového učení a splňování omezujících podmínek

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 11 (SGA02008GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

201/08/0509

Název projektu anglicky

LeCoS: merging machine LEarning and COnstraint Satisfaction

Anotace anglicky

We propose to merge advanced techniques of two mature research fields: relational machine learning (RML) on one hand, and constraint satisfaction (CS) on the other hand. We have compelling reasons to believe that dramatic improvements in efficiency can be achieved by this fusion, on both the machine learning and the constraint satisfaction parts. This will likely result in the ability to solve real-world instances of problems that, due to computational demands, cannot be solved by traditional mutually isolated ML and CS algorithms. Specific subobjectives of the project are to exploit (i) CS techniques in subsumption tests and hypothesis consistency tests, routinnely performed in RML, and (ii) RML techniques for finding frequent structural patterns in CS instance descriptors, their solutions as well as in the computational processes leading to the solutions, and then use such patters as heuristic knowledge for solving subsequent CS instances.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

JC - Počítačový hardware a software

CEP - další vedlejší obor

—

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>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Cílem projektu bylo spojit techniky CSP a strojového učení, a tímto spojením dosáhnout zlepšení (zejm. zrychlení) algoritmů na obou stranách. Tento cíl byl splněn s významným dopadem na oba obory. Za nejdůležitější výsledky považujeme:- CSP pro strojové?

Zahájení řešení

1. 1. 2008

Ukončení řešení

31. 12. 2010

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

16. 4. 2010

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

CEP11-GA0-GA-U/03:3

Datum dodání záznamu

9. 2. 2015

Celkové uznané náklady

1 938 tis. Kč

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

1 938 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč