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

Rule-based System Verification by P/T Net Structure

作　　者：丁志军[1,2] 蒋昌俊[1] 

机构地区：[1]同济大学计算机科学与工程系,上海,200092 [2]山东科技大学信息科学与工程学院,山东,青岛,266510同济大学计算机科学与工程系,上海,200092

出　　处：《系统仿真学报》2005年第z1期151-154,共4页Journal of System Simulation

基　　金：国家973项目(2003CB316902);国家自然科学基金(60473094)

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

关 键 词：规则系统 HORN子句 P/T网 关联矩阵 验证 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]