Approximate Knowledge Compilation: The First Order Case

KnowEedge compilation procedures make a knowledge base more explicit so as make inference with respect to the compiled knowledge base tractable or at least more efficient. Most work to date in this area has been restricted to the propositional case, despite the importance of first order theories for expressingknowledge concisely. Focusing on (LUB) approximate compilation (Selman and Kautz 1991), our contribution is twofold: 0 We present a new ground algorithm for approximate compilation which can produce exponential savings with respect to the previously known algorithm (Selman and Kautz 1991). d We show that both ground algorithms can be lifted to the first order case preserving their correctness for approximate compilation.

Authors

• Alvaro del Val Universidad Autónoma de Madrid

Keywords

No keywords are indexed for this paper.