A series of Petri net-based definitions were formulated for describing four types of structural errors in a rule-based system(RBS),including inconsistency,incompleteness,redundancy and circularity.A marked v-Petri net...A series of Petri net-based definitions were formulated for describing four types of structural errors in a rule-based system(RBS),including inconsistency,incompleteness,redundancy and circularity.A marked v-Petri net model of acyclic RBS was constructed.Then,its reachability tree was generated to record all reachable relations between propositions in RBS.Moreover,a backward reasoning forest of a reachable marking was generated for explicitly representing reachable paths in RBS.Finally,a set of theorems and algorithms were provided to analyze and check structural errors.The usability of the research results presented in this paper was illustrated by an example.展开更多
基金supported by the National Basic Research Program of China (Nos.2003CB317002 and 2007CB316502)the National Natural Science Foundation of China (Grant Nos.60534060 and 90718012).
文摘A series of Petri net-based definitions were formulated for describing four types of structural errors in a rule-based system(RBS),including inconsistency,incompleteness,redundancy and circularity.A marked v-Petri net model of acyclic RBS was constructed.Then,its reachability tree was generated to record all reachable relations between propositions in RBS.Moreover,a backward reasoning forest of a reachable marking was generated for explicitly representing reachable paths in RBS.Finally,a set of theorems and algorithms were provided to analyze and check structural errors.The usability of the research results presented in this paper was illustrated by an example.
