Structural Error Verification in Active Rule-Based Systems using Petri Nets

2006 Fifth Mexican International Conference on Artificial Intelligence ◽

10.1109/micai.2006.44 ◽

2006 ◽

Author(s):

Lorena Chavarria-Baez ◽

Xiaoou Li

Keyword(s):

Structural Error ◽

Active Rule ◽

Error Verification ◽

Rule Based Systems

Download Full-text

A new scheme for verifying rule-based systems using Petri nets

IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) ◽

10.1109/icsmc.1999.814204 ◽

2003 ◽

Author(s):

H. Inazumi ◽

N. Omoto

Keyword(s):

Rule Based Systems

Download Full-text

A forward concurrent reasoning approach for rule-based systems using fuzzy colored Petri nets

2010 8th World Congress on Intelligent Control and Automation ◽

10.1109/wcica.2010.5554461 ◽

2010 ◽

Author(s):

Jie Yuan ◽

Chang Liu ◽

Bo Jiang ◽

Yugang Shan ◽

Wenli Shang

Keyword(s):

Colored Petri Nets ◽

Rule Based Systems

Download Full-text

A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets

Transactions of the Society of Instrument and Control Engineers ◽

10.9746/sicetr1965.36.810 ◽

2000 ◽

Vol 36 (9) ◽

pp. 810-817

Author(s):

Hiroshige INAZUMI ◽

Narihiro OMOTO

Keyword(s):

Rule Based Systems

Download Full-text

Flexible Generalized Fuzzy Petri Nets for Rule-Based Systems

Theory and Practice of Natural Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-49001-4_16 ◽

2016 ◽

pp. 196-207 ◽

Author(s):

Zbigniew Suraj ◽

Piotr Grochowalski ◽

Sibasis Bandyopadhyay

Keyword(s):

Fuzzy Petri Nets ◽

Rule Based Systems

Download Full-text

A new approach to verify rule-based systems using Petri nets

Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032) ◽

10.1109/cmpsac.1999.814327 ◽

2003 ◽

Author(s):

Xudong He ◽

W.C. Chu ◽

H. Yang ◽

S.J.H. Yang

Keyword(s):

New Approach ◽

Rule Based Systems

Download Full-text

Knowledge Verification of Active Rule-Based Systems

Intelligent Control and Automation - Lecture Notes in Control and Information Sciences ◽

10.1007/11816492_84 ◽

2006 ◽

pp. 676-687

Author(s):

Lorena Chavarría-Báez ◽

Xiaoou Li

Keyword(s):

Active Rule ◽

Rule Based Systems

Download Full-text

Software implementation of petri nets and compilation of rule-based systems

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019980 ◽

2005 ◽

pp. 296-316 ◽

Author(s):

Robert Valette ◽

Babou Bako

Keyword(s):

Software Implementation ◽

Rule Based Systems

Download Full-text

Knowledge Verification of Active Rule-Based Systems

Intelligent Control and Automation - Lecture Notes in Control and Information Sciences ◽

10.1007/978-3-540-37256-1_84 ◽

2006 ◽

pp. 676-687 ◽

Author(s):

Lorena Chavarría-Báez ◽

Xiaoou Li

Keyword(s):

Active Rule ◽

Rule Based Systems

Download Full-text

Modified Generalised Fuzzy Petri Nets for Rule-Based Systems

Lecture Notes in Computer Science - Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing ◽

10.1007/978-3-319-25783-9_18 ◽

2015 ◽

pp. 196-206 ◽

Author(s):

Zbigniew Suraj

Keyword(s):

Fuzzy Petri Nets ◽

Rule Based Systems

Download Full-text

Backward Reasoning on Rule-Based Systems Modeled by Fuzzy Petri Nets Through Backward Tree

Computational Intelligence for Modelling and Prediction - Studies in Computational Intelligence ◽

10.1007/10966518_5 ◽

2005 ◽

pp. 61-71 ◽

Author(s):

Rong Yang ◽

Pheng-Ann Heng ◽

Kwong-Sak Leung

Keyword(s):

Backward Reasoning ◽

Fuzzy Petri Nets ◽

Rule Based Systems

Download Full-text