知识编译研究

摘要：

知识编译是处理命题逻辑知识库常用的一种新技术,知识编译的过程就是把知识转换成易于推理的表示形式.作为一种有效的推理机制,这种技术已经被广泛地应用到各种各样的人工智能领域中.对目前知识编译的研究与应用进行了综述性的介绍,并且从简洁性、多项式时间内支持的查询操作以及多项式时间内支持的转换操作3个方面对各种知识编译目标语言做了系统的阐述.

关键词：知识编译、编译目标语言、命题逻辑、知识库

所属期刊栏目：37

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金项目60473042,60573067和60803102

在线出版日期：2010-09-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：20-26