Disjunctive closures for knowledge compilation - Archive ouverte HAL Access content directly
Journal Articles Artificial Intelligence Year : 2014

Disjunctive closures for knowledge compilation

Abstract

The knowledge compilation (KC) map [1] can be viewed as a multi-criteria evaluation of a number of target classes of representations for propositional KC. Using this map, the choice of a class for a given application can be made, considering both the space efficiency of it (i.e., its ability to represent information using little space), and its time efficiency, i.e., the queries and transformations which can be achieved in polynomial time, among those of interest for the application under consideration. When no class of propositional representations offers all the transformations one would expect, some of them can be left implicit. This is the key idea underlying the concept of closure introduced here: instead of performing computationally expensive transformations, one just remembers that they have to be done. In this paper, we investigate the disjunctive closure principles, i.e., disjunction, existential quantification, and their combinations. We provide several characterization results concerning the corresponding closures. We also extend the KC map with new propositional languages obtained as disjunctive closures of several incomplete propositional languages, including the well-known KROM (the CNF formulae containing only binary clauses), HORN (the CNF formulae containing only Horn clauses), and AFF (the affine language, which is the set of conjunctions of XOR-clauses). Each introduced language is evaluated along the lines of the KC map.
Fichier principal
Vignette du fichier
fargier_16897.pdf (1.36 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01558467 , version 1 (07-07-2017)

Identifiers

Cite

Hélène Fargier, Pierre Marquis. Disjunctive closures for knowledge compilation. Artificial Intelligence, 2014, 216, pp.129-162. ⟨10.1016/j.artint.2014.07.004⟩. ⟨hal-01558467⟩
133 View
86 Download

Altmetric

Share

Gmail Facebook X LinkedIn More