knowledge compilation

Knowledge compilation is a family of approaches for addressing the intractability of

a number of artificial intelligence problems.

A propositional model is compiled in an off-line phase in order to support some queries in polynomial time. Many ways of compiling a propositional model exist.Adnan Darwiche, Pierre Marquis, "[https://doi.org/10.1613/jair.989 A Knowledge Compilation Map]", Journal of Artificial Intelligence Research 17 (2002) 229-264

Different compiled representations have different properties.

The three main properties are:

• The compactness of the representation
• The queries that are supported in polynomial time
• The transformations of the representations that can be performed in polynomial time