Computer Science ›› 2010, Vol. 37 ›› Issue (7): 20-26.
Previous Articles Next Articles
GU Wen-xiang,ZHAO Xiao-wei,YIN Ming-hao
Online:
Published:
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
GU Wen-xiang,ZHAO Xiao-wei,YIN Ming-hao. Knowledge Compilation Survey[J].Computer Science, 2010, 37(7): 20-26.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2010/V37/I7/20
Cited