知识编译研究

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