Kompilace KNF do backdoor decomposable monotone circuit
Compilation of a CNF into a backdoor decomposable monotone circuit
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/147674Identifikátory
SIS: 232648
Kolekce
- Kvalifikační práce [10932]
Autor
Vedoucí práce
Oponent práce
Čepek, Ondřej
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Umělá inteligence
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
2. 9. 2021
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
kompilace znalostí|konjunktivní normální forma|backdoor decomposable monotone circuit|decomposable negation normal formKlíčová slova (anglicky)
knowledge compilation|conjunctive normal form|backdoor decomposable monotone circuit|decomposable negation normal formNNF obvod je zakořeněný orientovaný acyklický graf (DAG), který v listech obsahuje true/false nebo literály a má dva typy vnitřních uzlů, a to konjunkci (∧) a disjunkci (∨). Decomposable NNF (DNNF) je NNF, který navíc splňuje podmínku decomposa- bility pro všechny konjunktivní uzly. C-BDMC je jazyk, který zobecňuje DNNF jazyk. V C-BDMC mohou listy obsahovat i výrokové formule v CNF z nějaké třídy C. V této práci se zaměříme pouze na skrytě hornovské výrokové formule. Experimentálně porov- náme velikosti reprezentací d-BDMC a d-DNNF obvodů. Představíme nový experimen- tální kompilátor CaraCompiler, který kompiluje výrokové formule v CNF do d-BDMC nebo (c)d-DNNF obvodu. CaraCompiler je založený na nejmodernějším kompilátoru D4. Také zmíníme rozšíření pro kompilátor D4 jako například kešování řezů hypergrafů, které vede k rychlejším kompilacím. 1
An NNF circuit is a directed acyclic graph (DAG), where each leaf is labelled with either true/false or a literal, and each inner node represents either a conjunction (∧) or a disjunction (∨). A decomposable NNF (DNNF) is an NNF satisfying the decomposabi- lity property for each conjunction node. The C-BDMC language generalizes the DNNF language. In a C-BDMC, the leaves can contain CNF formulae from a given base class C. In this paper, we focus only on renamable Horn formulae. We experimentally compare the sizes of d-BDMC and d-DNNF representations. We describe a new compilation langu- age, called cara DNNF (c-DNNF), that generalizes the DNNF language. A c-DNNF circuit can be considered as a compressed representation of a DNNF circuit. We present a new experimental knowledge compiler, called CaraCompiler, for converting a CNF formula into a d-BDMC or a (c)d-DNNF circuit. CaraCompiler is based on the state-of-the-art compiler D4. Also, we mention some extensions for the compiler D4, such as caching hypergraph cuts that can reduce the compilation times. 1
Citace dokumentu
Metadata
Zobrazit celý záznamSouvisející záznamy
Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.
-
Bacteria associated with decomposing deadwood
Výsledek obhajoby: OBHÁJENOTláskal, Vojtěch (Univerzita Karlova, Přírodovědecká fakulta, 2021)Datum obhajoby: 8. 12. 2021Odumřelé dřevo představuje významný habitat z hlediska biodiverzity a jeho rozklad v lesích mírného pásma přispívá k cyklům uhlíku a dusíku. Historicky doložený význam hub při rozkladu odumřelého dřeva byl v posledních ...