A survey on knowledge compilation

Article type: Research Article

Authors: Cadoli, Marco | Donini, Francesco M.

Affiliations: Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, Via Salaria 113, I‐00198 Roma, Italy E‐mail: {cadoli|donini}@dis.uniroma1.it

Abstract: Knowledge compilation is an AI technique for addressing computationally demanding reasoning problems. In this paper we survey recent results in knowledge compilation of propositional knowledge bases. We first define and limit the scope of such a technique, then we survey exact and approximate knowledge compilation methods. We include a discussion of compilation for non‐monotonic knowledge bases.

Keywords: Knowledge Representation, Efficiency of Reasoning

Journal: AI Communications, vol. 10, no. 3-4, pp. 137-150, 1997