| 一种基于有色Petri网的知识库验证方法 |
| |
| 引用本文： | 姜浩,罗军舟,方宁生.一种基于有色Petri网的知识库验证方法[J].东南大学学报(自然科学版),2000,30(1):77-83. |
| |
| 作者姓名： | 姜浩 罗军舟 方宁生 |
| |
| 作者单位： | 东南大学计算机科学与工程系,南京,210096 |
| |
| 基金项目： | 国家863项目!863 - 5 11- 94 6- 0 0 1，江苏省自然科学基金!BK970 0 3，国家教育部“计算机网络和信息集成”重点实验室基金 |
| |
| 摘 要： | 以有色Petri网为基础，在经过了必要的功能扩充后，针对知识验证的主要内容，建立了有色Petri网的知识表示模型，提出了一种简洁有效的、基于有色Petri网的知识库验证方法，并给出了相应的判定准则，最后给出了一个说明知识表示模型和知识验证准则的实例。
|
| 关 键 词： | 知识库 知识验证 有色Petri网 人工智能 |
A Knowledge Verification Method Based on Color Petri Net |
| |
| Jiang Hao,Luo Junzhou,Fang Ningsheng.A Knowledge Verification Method Based on Color Petri Net[J].Journal of Southeast University(Natural Science Edition),2000,30(1):77-83. |
| |
| Authors: | Jiang Hao Luo Junzhou Fang Ningsheng |
| |
| Abstract: | Based on color Petri net, after enhancing its necessary functions, to counter main contents of knowledge verification, this paper builds the color Petri net model of knowledge representation, advances a simple and effective direct knowledge base verification method based on color Petri net and provides judge rules of verification. Finally, an example is given to demonstrate the knowledge represent model and judge rules of verification. |
| |
| Keywords: | knowledge base knowledge verification color Petri net artificial intelligence |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
