Suvarna Garge (Editor)

Knowledge compilation

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

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 polytime. Many ways of compiling a propositional models exist. Among others: NNF, DNNF, d-DNNF, BDD, SDD, MDD, DNF and CNF.

Different compiled representations have different properties. The three main properties are:

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

    Knowledge compilation Wikipedia