Title :
A new scheme for verifying rule-based systems using Petri nets
Author :
Inazumi, Hiroshige ; Omoto, Narihiro
Author_Institution :
Coll. of Sci. & Eng., Aoyama Gakuin Univ., Tokyo, Japan
Abstract :
In this paper, we propose a new scheme for verifying rule-based systems using Petri nets. Especially, considering the property of Transition-invariant (T-invariant), the simple method of detecting structural errors in rule-based systems (RBS) is clarified. That is to say, some reasoning processes are regarded as various series of rules, which are represented by a set of multiple vectors of T-invariant. Using these vectors, the algorithm for detecting what kind of errors exists in the reasoning processes is derived, where the structural errors of the rule set considered here are the series of rules which should not exist on the rule set, and are indispensable to be searched, detected and corrected
Keywords :
Petri nets; formal verification; knowledge based systems; Petri nets; T-invariant; reasoning processes; rule-based systems verification; structural errors; Error correction; Knowledge based systems; Large-scale systems; Petri nets; Redundancy; System recovery;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.814204