| 一种知识表达Petri网及其特性分析 |
| |
| 引用本文： | 王志坚,蔡自兴.一种知识表达Petri网及其特性分析[J].郑州大学学报(理学版),2006,38(4):83-86. |
| |
| 作者姓名： | 王志坚 蔡自兴 |
| |
| 作者单位： | 1. 广东商学院信息学院,广州,510320;中南大学信息科学与工程学院,长沙,410083
2. 中南大学信息科学与工程学院,长沙,410083 |
| |
| 基金项目： | 国家自然科学基金资助项目,编号60503007 |
| |
| 摘 要： | 根据Horn子句的特点,定义了一种新的Petri网形式———HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑推理过程和现有求解方法相比,可以大幅减少重复推理,有效提高推理效率.
|
| 关 键 词： | Petri网 HIPN 知识表达 逻辑推理 |
| 文章编号： | 1671-6841(2006)04-0083-04 |
| 收稿时间： | 05 1 2006 12:00AM |
| 修稿时间： | 2006年5月1日 |
A Knowledge Representing Petri Net and Its Properties |
| |
| WANG Zhi-jian,CAI Zi-xing.A Knowledge Representing Petri Net and Its Properties[J].Journal of Zhengzhou University:Natural Science Edition,2006,38(4):83-86. |
| |
| Authors: | WANG Zhi-jian CAI Zi-xing |
| |
| Affiliation: | 1. Information Science School, Guangdong University of Business Studies, Guangzhou 510320, China; 2. College of Information Science and Engineering, Central South University, Changsha 410083,China |
| |
| Abstract: | There have been a lot of studies in the field of knowledge represented by Petri net,but there still exist many problems to be solved.Finding the best way to represent knowledge,maintaining the knowledge base correctly and reasoning in fast speed are all problems that should be studied carefully.According to the properties of Horn sentence,a new kind of Petri net called HIPN net is defined.Some important properties are shown and proved.How to represent knowledge by HIPN and invent an algorithm to transform a logical program into a HIPN model are discussed.The results show that HIPN is a suitable model for knowledge representing with great advantages.Redundant calculations have been reduced and speed has been increased by reasoning in HIPN. |
| |
| Keywords: | Petri net HIPN knowledge representation logical inference |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
