%0 Journal Article
%T 知识编译研究
%A 谷文祥
%A 赵晓威
%A 殷明浩？
%J 计算机科学
%D 2010
%X 知识编译是处理命题逻辑知识库常用的一种新技术，知识编译的过程就是把知识转换成易于推理的表示形式。作为一种有效的推理机制，这种技术已经被广泛地应用到各种各样的人工智能领域中。对目前知识编译的研究与应用进行了综述性的介绍，并且从简洁性、多项式时间内支持的查询操作以及多项式时间内支持的转换操作3个方面对各种知识编译目标语言做了系统的阐述。
%K 知识编译
%K 编译目标语言
%K 命题逻辑
%K 知识库
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=100705&flag=1