基于P/T网结构的规则系统验证方法

摘要：

规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现。

关键词： 规则系统验证 Horn子句 P/T网结构 关联矩阵 Petri网 可达性

作者: 丁志军 蒋昌俊

作者单位: 同济大学计算机科学与工程系,上海,200092;山东科技大学信息科学与工程学院,山东,青岛,266510 同济大学计算机科学与工程系,上海,200092

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 151-154

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）