Computer Science ›› 2010, Vol. 37 ›› Issue (7): 20-26.

Previous Articles     Next Articles

Knowledge Compilation Survey

GU Wen-xiang,ZHAO Xiao-wei,YIN Ming-hao   

  • Online:2018-12-01 Published:2018-12-01

Abstract: Knowledge compilation (KC) has been emerging as a new technology for dealing with the propositional logic database. The process of it is transforming the given knowledge into another form, and then the reasoning can be done more tractable on it. As an effective reasoning method,KC has been applied in various artificial intelligence areas. We introduced the details about the research and application of KC, and proposed a perspective on target compilation languages according to the succinctness, the class of queries and transformations that the language supports in polytime.

Key words: Knowledge compilation, Target compilation languages, Proposition logic, Knowledge base

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!