摘要
知识库是智能系统的核心部分。知识库的不一致导致整个推理求解过程的不确定性,引起一系列错误和冲突。针对这个问题目前已有各种方法如用经典逻辑、真值维护等技术解决此类问题。本文主要针对产生式系统介绍基于Petri网的知识库一致性检查系统的实现和特点。
Knowledge base is a kernel part in an intelligent system. Uncertainty in reasoning and problem solving procedure suffers from inconsistency in knowledge base, and the latter causes a series of faults and conflicts. To this problem, there are different kinds of solutions currently such as classical logic and truth maintenance techniques. This paper focuses attention on the implementation and characteristics of Petri Net based consistency checking system (CCS) in a production system.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1992年第8期30-35,共6页
Journal of Computer Research and Development
关键词
一致性检查
知识库
PETRI网
consistency checking, Petri net, production rule, knowledge base.
