Boolean methods in knowledge compilation
| Název práce v češtině: | Booleovské metody v kompilaci znalostí |
|---|---|
| Název v anglickém jazyce: | Boolean methods in knowledge compilation |
| Klíčová slova: | Booleovské funkce, kompilace znalostí, PI, MODS, primární implikanty |
| Klíčová slova anglicky: | Boolean functions, knowledge compilation, PI, MODS, primary implicants |
| Akademický rok vypsání: | 2015/2016 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
| Vedoucí / školitel: | prof. RNDr. Ondřej Čepek, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 29.09.2015 |
| Datum zadání: | 29.09.2015 |
| Datum potvrzení stud. oddělením: | 19.07.2016 |
| Datum a čas obhajoby: | 12.09.2016 10:00 |
| Datum odevzdání elektronické podoby: | 26.07.2016 |
| Datum odevzdání tištěné podoby: | 28.07.2016 |
| Datum proběhlé obhajoby: | 12.09.2016 |
| Oponenti: | doc. Mgr. Petr Gregor, Ph.D. |
| Zásady pro vypracování |
| Diplomant zpracuje přehled známých výsledků o kódování globálních podmínek pomocí formulí (zejména formulí v KNF), identifikuje zajímavé otevřené problémy a pokusí se některé z nich alespoň částečně vyřešit. |
| Seznam odborné literatury |
| Boolean Functions : Theory, Algorithms, and Applications, Yves Crama, Peter L. Hammer, Cambridge University Press (první vydání 2011)
A Knowledge Compilation Map, Adnan Darwiche, Pierre Marquis Decomposition of All Different, Global Cardinality and Related Constraints, Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Circuit Complexity and Decompositions of Global Constraints, Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh Towards an Optimal CNF Encoding of Boolean Cardinality Constraints, Carsten Sinz |