Knowledge Compilation: A Unit Resolution Approach

Abstract: Knowledge compilation deals with the computational intractability of reasoning problems. To overcome this difficulty we provide three different compilation approaches to a first order knowledge base. The knowledge base Σ is preprocessed by unit resolution into an approximate knowledge base CKB(Σ) from which a subset of possible queries can be answered by unit refutation. The number of clauses obtained by each of the three methods is less than the number of clauses in the prime implicate set