%0 Journal Article
%T Knowledge Compilation Survey<br>知识编译研究
%A GU Wen-xiang
%A ZHAO Xiao-wei
%A YIN Ming-hao
%A <br>谷文祥
%A 赵晓威
%A 殷明浩
%J 计算机科学
%D 2010
%I 
%X 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.
%K Knowledge compilation
%K Target compilation languages
%K Proposition logic
%K Knowledge base<br>知识编译
%K 编译目标语言
%K 命题逻辑
%K 知识库
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=2925883F1C8E713D84FFC073B6C22738&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=DF92D298D3FF1E6E&sid=A04140E723CB732E&eid=96C778EE049EE47D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=50