Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation

Neil V Murray,Erik Rosenthal

doi:10.1007/978-3-540-45206-5_14

Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation

Neil V Murray, Erik Rosenthal

Open Access

https://doi.org/10.1007/978-3-540-45206-5_14

Copy DOI

Publication Date: Jan 1, 2003

Citations: 39

Affiliation: University of New Haven, University at Albany, State University of New York, Albany State University

#Decomposable Negation Normal Form #Negation Normal Form + Show 7 more

Abstract
Full-Text PDF
Similar Papers

Abstract

Decomposable negation normal form (DNNF) was developed primarily for knowledge compilation. Formulas in DNNF are linkless, in negation normal form (NNF), and have the property that atoms are not shared across conjunctions. Full dissolvents are linkless NNF formulas that do not in general have the latter property. However, many of the applications of DNNF can be obtained with full dissolvents. Two additional methods — regular tableaux and semantic factoring — are shown to produce equivalent DNNF. A class of formulae is presented on which earlier DNNF conversion techniques are necessarily exponential; path dissolution and semantic factoring handle these formulae in linear time.

Full Text