A Compiler for Weak Decomposable Negation Normal Form

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F24%3A10484422" target="_blank" >RIV/00216208:11320/24:10484422 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1609/aaai.v38i9.28926" target="_blank" >https://doi.org/10.1609/aaai.v38i9.28926</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1609/aaai.v38i9.28926" target="_blank" >10.1609/aaai.v38i9.28926</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A Compiler for Weak Decomposable Negation Normal Form

Popis výsledku v původním jazyce

This paper integrates weak decomposable negation normal form (wDNNF) circuits, introduced by Akshay et al. in 2018, into the knowledge compilation map. This circuit type generalises decomposable negation normal form (DNNF) circuits in such a way that they allow a restricted form of sharing variables among the inputs of a conjunction node. We show that wDNNF circuits have the same properties as DNNF circuits regarding the queries and transformations presented in the knowledge compilation map, whilst being strictly more succinct than DNNF circuits (that is, they can represent Boolean functions compactly). We also present and evaluate a knowledge compiler, called Bella, for converting CNF formulae into wDNNF circuits. Our experiments demonstrate that wDNNF circuits are suitable for configuration instances.

Název v anglickém jazyce

A Compiler for Weak Decomposable Negation Normal Form

Popis výsledku anglicky

This paper integrates weak decomposable negation normal form (wDNNF) circuits, introduced by Akshay et al. in 2018, into the knowledge compilation map. This circuit type generalises decomposable negation normal form (DNNF) circuits in such a way that they allow a restricted form of sharing variables among the inputs of a conjunction node. We show that wDNNF circuits have the same properties as DNNF circuits regarding the queries and transformations presented in the knowledge compilation map, whilst being strictly more succinct than DNNF circuits (that is, they can represent Boolean functions compactly). We also present and evaluate a knowledge compiler, called Bella, for converting CNF formulae into wDNNF circuits. Our experiments demonstrate that wDNNF circuits are suitable for configuration instances.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2024

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9

ISBN

978-1-57735-887-9

ISSN

2159-5399

e-ISSN

2374-3468

Počet stran výsledku

9

Strana od-do

10562-10570

Název nakladatele

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE

Místo vydání

PALO ALTO

Místo konání akce

Vancouver

Datum konání akce

22. 2. 2024

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

001241512400129