Rule base verification using Petri nets

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 1998, Pages 476-481

  Yang, Stephen J H ^a   Lee, Alex S ^a   Chu, William C ^b   Yang, Hongji ^c  

^a NATIONAL CENTRAL UNIVERSITY   (Taiwan)

^b TUNGHAI UNIVERSITY   (Taiwan)

^c DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; ERRORS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING;

HORN CLAUSE; IN-PHASE; INCIDENCE MATRICES; NEGATIVE ENTRIES; PETRI NET TRANSFORMATIONS; RULE BASE; RULE ORDERING; STRUCTURAL ERRORS;

PETRI NETS;

EID: 79953113886     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CMPSAC.1998.716699     Document Type: Conference Paper

References (10)

1. [liu91] N.K. Liu and T. Dillon, "An Approach Towards the Verification of Expert Systems Using Numerical Petri Nets," Int'l Journal of Intelligent Systems, Vol. 6, 199 1, pp. 255-276.
2. [mese90] P. Meseguer, "A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach, " in Proc. 91h European Conf. of AI, pp.437-442. 1990.
3. [mura89] T. Murata, "Petri Nets: Properties, Analysis and Application," proceeding of IEEE, vol. 77, no. 4, 1989, pp. 54 l-580.
4. [naza89] D.L. Nazareth, "Issues in the Verification of Knowledge in Rule-Based Systems," Int'l J. of Man-Machine Studies, vol 30, 1989, pp. 255-271.
5. [naza93] D.L. Nazareth, "Investigating the Applicability of Petri Nets for Rule-Based System Verification," IEEE Trans. on Knowledge and Data Engineering, vol. 4, no., 3, 1993, pp. 402-415.
6. [nguy87] T.A. Nguyen, W.A. Perkins, T.J. Laffey, and D. Pecora, "Knowledge Based Verification," AI Magazine, 1987, pp.69-75.
7. [rama97] M. Ramaswamy, S. Sarkar and Y.S. Chen "Using Directed Hypergraphs to Verify Rule-Based Expert Systems," IEEE Trans. on Knowledge and Data Engineering, vol. 9, no., 2, 1997, pp. 221-237.
8. [suwa82] M. Suwa, A. Scott, and E. Shortliffe, "An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System," AI Magazine, 1982, pp. 16-21.
9. [vali93] G. Valiente, "Verification of Knowledge Based Redundancy and Subsumption Using Graph Transformations," Int'l J. of Expert Systems, vol. 6, no. 3, 1993, pp. 341-355.
10. [zhan94] D. Zhang and D. Nguyen, "PREPARE: A Tool for Knowledge Base Verification," IEEE Trans. on Knowledge and Data Engineering, vol. 6, no., 6, Dec. 1994, pp. 983-989.