| 基于P/T网结构的规则系统验证方法 |
| |
| 引用本文： | 丁志军,蒋昌俊.基于P/T网结构的规则系统验证方法[J].系统仿真学报,2005,17(Z1):151-154. |
| |
| 作者姓名： | 丁志军 蒋昌俊 |
| |
| 作者单位： | 1. 同济大学计算机科学与工程系,上海,200092;山东科技大学信息科学与工程学院,山东,青岛,266510
2. 同济大学计算机科学与工程系,上海,200092 |
| |
| 基金项目： | 国家973项目(2003CB316902);国家自然科学基金(60473094) |
| |
| 摘 要： | 规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现.
|
| 关 键 词： | 规则系统 Horn子句 P/T网 关联矩阵 验证 |
| 文章编号： | 1004-731X(2005)S-151-04 |
| 修稿时间： | 2005年8月4日 |
Rule-based System Verification by P/T Net Structure |
| |
| DING Zhi-jun,JIANG Chang-jun.Rule-based System Verification by P/T Net Structure[J].Journal of System Simulation,2005,17(Z1):151-154. |
| |
| Authors: | DING Zhi-jun JIANG Chang-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
