| 基于Petri网的知识库一致性检查系统 |
| |
| 引用本文： | 应晶,吴朝晖.基于Petri网的知识库一致性检查系统[J].计算机研究与发展,1992(8):30-35. |
| |
| 作者姓名： | 应晶 吴朝晖 |
| |
| 作者单位： | 浙江大学人工智能研究所，浙江大学人工智能研究所，浙江大学人工智能研究所 杭州 310027，杭州 310027，杭州 310027 |
| |
| 摘 要： |
|
| 关 键 词： | 一致性检查 知识库 Petri网 |
Petri Net Based-Knowledge Base Consistency Checking System |
| |
| Ying Jing,Wu Zhaohui,and He Zhijun Artificial Intelligence Institute of Zhejiang University,Hangzhou.Petri Net Based-Knowledge Base Consistency Checking System[J].Journal of Computer Research and Development,1992(8):30-35. |
| |
| Authors: | Ying Jing Wu Zhaohui and He Zhijun Artificial Intelligence Institute of Zhejiang University Hangzhou |
| |
| Affiliation: | Ying Jing,Wu Zhaohui,and He Zhijun Artificial Intelligence Institute of Zhejiang University,Hangzhou,310027 |
| |
| Abstract: | 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. |
| |
| Keywords: | consistency checking Petri net production rule knowledge base |
| 本文献已被 CNKI 维普 等数据库收录！ |
