DocumentCode :
3443826
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
Volume :
1
fYear :
1999
fDate :
1999
Firstpage :
860
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
ISSN :
1062-922X
Print_ISBN :
0-7803-5731-0
Type :
conf
DOI :
10.1109/ICSMC.1999.814204
Filename :
814204
Link To Document :
بازگشت