# Knowledge compilation and theory approximation

@article{Selman1996KnowledgeCA, title={Knowledge compilation and theory approximation}, author={Bart Selman and Henry A. Kautz}, journal={J. ACM}, year={1996}, volume={43}, pages={193-224} }

Computational efficiency is a central concern in the design of knowledge representation systems. In order to obtain efficient systems, it has been suggested that one should limit the form of the statements in the knowledge base or use an incomplete inference mechanism. The former approach is often too restrictive for practical applications, whereas the latter leads to uncertainty about exactly what can and cannot be inferred from the knowledge base. We present a third alternative, in which…

## 344 Citations

Compilation of propositional weighted bases

- Computer ScienceNMR
- 2002

A general notion of compilation of a weighted base that is parametrized by any equivalence--preserving compilation function is presented, and it is shown that the set of all preferred models of a DNNF-compilation of a weighed base can be computed in time polynomial in the output size.

Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic

- Computer ScienceAAAI
- 2006

Novel algorithms for finding maximally-contained rewritings of the query given the set of accessible resources (views) are developed and scale much better than the current state-of-the-art algorithm, the MiniCon algorithm, over a large number of benchmarks and show in some cases improvements in performance of a couple orders ofmagnitude.

Panel on "Knowledge Compilation and Approximation": Terminology, Questions, References

- Computer Science
- 1996

The purpose of this panel is to discuss issues related to Knowledge Compilation, both exact and approximate, as well as to propose a method for approximate knowledge Compilation.

Approximate Knowledge Compilation: The First Order Case

- Computer ScienceAAAI/IAAI, Vol. 1
- 1996

A new ground algorithm is presented which can produce exponential savings with respect to the previously known algorithm (Selman and Kautz 1991) and it is shown that both ground algorithms can be lifted to the first order case preserving their correctness for approximate compilation.

Approximate Knowledge Compilation : The First Order

- Computer Science
- 1996

A new ground algorithm is presented which can produce exponential savings with respect to the previously known algorithm (Selman and Kautz 1991) and it is shown that both ground algorithms can be lifted to the rst order case preserving their correctness for approximate compilation.

Disjunctive Closures for Knowledge Compilation

- Computer Science
- 2014

The disjunctive closure principles, i.e., disjunction, existential quantification, and their combinations are investigated and 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.

Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation

- Computer Science
- 2020

This chapter presents the kind of A.I. problems that can typically be addressed by the Propositional Logic, and presents an historical view of the impressive progresses observed in the practical solving of the Satisfiability (SAT) problem.

An Analysis of Approximate Knowledge Compilation

- Computer ScienceIJCAI
- 1995

This paper provides general characterizations of the L U B that are independent of the target language; analyzes the properties of the Generate-LUB algor i thm of Selman and Kautz, proving its correctness for any target language closed under subsumption; and generalizes the procedure to arbi t rary target languages.

Linear response time for implicate and implicant queries

- Computer ScienceKnowledge and Information Systems
- 2009

The main result is that, for a given formula, the two structures can be merged into a single reduced implicate/implicant trie that can serve dual roles, representing both implicates and implicants.

## References

SHOWING 1-10 OF 152 REFERENCES

An Empirical Evaluation of Knowledge Compilation by Theory Approximation

- Computer ScienceAAAI
- 1994

This study suggests that knowledge compilation may indeed be a practical approach for dealing with intractability in knowledge representation systems.

Knowledge Compilation using Horn Approximations

- Computer ScienceAAAI
- 1991

This work introduces a knowledge compilation method that allows the user to enter statements in a general, unrestricted representation language, which the system compiles into a restricted language that allows for efficient inference.

A General Framework for Knowledge Compilation

- Computer SciencePDK
- 1991

This work presents a third alternative, in which knowledge given in a general representation language is translated (compiled) into a tractable form — allowing for efficient subsequent query answering.

An Analysis of Approximate Knowledge Compilation

- Computer ScienceIJCAI
- 1995

This paper provides general characterizations of the L U B that are independent of the target language; analyzes the properties of the Generate-LUB algor i thm of Selman and Kautz, proving its correctness for any target language closed under subsumption; and generalizes the procedure to arbi t rary target languages.

Vivid Knowledge and Tractable Reasoning: Preliminary Report

- Computer ScienceIJCAI 1989
- 1989

This work explores the use of \vivid" forms for knowledge, in which determining the truth of a sentence is on the order of a database retrieval, and shows that some forms of incomplete knowledge can still be handled eeciently if the authors extend a vivid KB in a natural way.

Learning Useful Horn Approximations

- Computer ScienceKR
- 1992

A learning process is presented that uses observed queries to estimate the query distribution, and then uses these estimates to hill-climb, eeciently, in the space of size-bounded Horn approximations, until reaching one that is, with provably high probability, eeectively at a local optimum.

Exploiting Locality in a TMS

- Computer ScienceAAAI
- 1990

A new approach for exploiting Truth Maintenance Systems (TMS) is presented which makes them simpler to use without necessarily incurring a substantial performance penalty.

Computers and Intractability: A Guide to the Theory of NP-Completeness

- Computer Science
- 1978

Horn formulae play a prominent role in artificial intelligence and logic programming. In this paper we investigate the problem of optimal compression of propositional Horn production rule knowledge…