Knowledge compilation
≈ 1 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
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. 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
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. 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
Text derived from https://en.wikipedia.org/w/index.php?oldid=1339847651 under CC BY-SA 4.0; modifications have been made.