Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Knowledge compilation
open-in-new
<p>Knowledge compilation is a family of approaches for addressing the intractability of a number of <a href="/facts/Artificial_intelligence/lJGauQwX">artificial intelligence</a> problems. </p><p>A propositional model is compiled in an off-line phase in order to support some queries in <a href="/facts/Polynomial_time/77T62gmf">polynomial time</a>. Many ways of compiling a propositional model exist. </p><p>Different compiled representations have different properties. The three main properties are: </p> <ul><li>The compactness of the representation</li> <li>The queries that are supported in polynomial time</li> <li>The transformations of the representations that can be performed in polynomial time</li></ul>