This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
March/April 2003 (vol. 15 no. 2)
pp. 457-473

Abstract—In this paper, we propose a Petri nets formalism for the verification of rule-based systems. Typical structural errors in a rule-based system are redundancy, inconsistency, incompleteness, and circularity. Since our verification is based on Petri nets and their incidence matrix, we need to transform rules into a Petri nets first, then derive an incidence matrix from the net. In order to let fuzzy rule-based systems detect above the structural errors, we are presenting a Petri-nets-based mechanism. This mechanism consists of three phases: rule normalization, rules transformation, and rule verification. Rules will be first normalized into Horn clauses, then transform the normalized rules into a high-level Petri net, and finally we verify these normalized rules. In addition, we are presenting our approach to simulate the truth conditions which still hold after a transition firing and negation in Petri nets for rule base modeling. In this paper, we refer to fuzzy rules as the rules with certainty factors, the degree of truth is computed in an algebraic form based on state equation which can be implemented in matrix computation in Petri nets. Therefore, the fuzzy reasoning problems can be transformed as the liner equation problems that can be solved in parallel. We have implemented a Petri nets tool to realize the mechanism presented fuzzy rules in this paper.

[1] R. Agarwal and M. Tanniru, "A Petri-Net Based Approach for Verifying the Integrity of Production Systems," Int'l J. Man-Machine Studies, Vol. 36, No. 3, Mar. 1992, pp. 447-468.
[2] S. Ahson, “Petri Net Models of Fuzzy Neural Networks,” IEEE Trans. Systems, Man, Cybernetics, vol. 25, no. 6, pp. 926-932, June 1995.
[3] H. Jiang, A. Helal, A.K. Elmagarmid, and A. Joshi, "Scene Change Detection Techniques for Video Database Systems," ACM Multimedia Systems, vol. 6, no. 3, pp. 186-195, May 1998.
[4] T. Cao and A.C. Sanderson, “Task Sequence Planning Using Fuzzy Petri Nets,” IEEE Trans. Systems, Man, Cybernetics, vol. 25, no. 5, pp. 755-768, May 1995.
[5] S.M. Chen, J.S. Ke, and J.F. Chang, “Knowledge Representation Using Fuzzy Petri Nets,” IEEE Trans. Knowledge and Data Eng., vol. 2, no. 3, pp. 311-319, Sept. 1990.
[6] P.L. Hammer and A. Kogan, “Essential and Redundant Rules in Horn Knowledge Bases,” IEEE Proc. 28th Hawaii Int'l Conf. System Sciences, pp. 209-218, 1995.
[7] X. He, W.C. Chu, H. Yang, and S.J.H. Yang, “A New Approach to Verify Rule-Based Systems Using Petri Nets,” IEEE Proc. 23th Ann. Int'l Computer Software and Applications Conf. (COMPSAC '99), pp. 462-467, 1999.
[8] J. Jeffrey, J. Lobo, and T. Murata, “A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic,” IEEE Trans. Knowledge and Data Eng., vol. 8, no. 2, pp. 241-259, Apr. 1996.
[9] K. Jensen, “Coloured Petri Nets: A High Level Language for System Design and Analysis,” High-Level Petri Nets, K. Jensen and G. Rozenberg, eds., pp. 44-122, 1991.
[10] A. Konar and A.K. Mandal, “Uncertainty Management in Expert Systems Using Fuzzy Petri Nets,” IEEE Trans. Knowledge and Data Eng., vol. 8, no. 1, pp. 96-105, Feb. 1996.
[11] T.J. Laffey, W.A. Perkins, and T.A. Nguyen, “Reasoning About Fault Diagnosis with LES,” Proc. IEEE, pp. 13-20, 1986.
[12] C. Lin et al., "Logical Inference of Horn Clauses in Petri Net Models," IEEE Trans. Knowledge and Data Eng., Vol. 5, No. 3, June 1993, pp. 416-425.
[13] N.K. Liu and T. Dillon, “An Approach towards the Verification of Expert Systems Using Numerical Petri Nets,” Int'l J. Intelligent Systems, vol. 6, pp. 255-276, 1991.
[14] C.G. Looney and A.R. Alfize, “Logical Control via Boolean Rule Matrix Transformation,” IEEE Trans. Systems, Man, Cybernetics, vol. 17, no. 6, pp. 1077-1082, Nov./Dec. 1987.
[15] C.G. Looney, “Fuzzy Petri Nets for Rule-Based Decisionmarking,” IEEE Trans. Systems, Man, Cybernetics, vol. 18, no. 1, pp. 178-183, Jan./Feb. 1988.
[16] P. Meseguer, “A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach,” Proc. Ninth European Conf. AI, pp. 437-442, 1990.
[17] T. Munakata and Y. Jani, “Fuzzy Systems: An Overview,” Comm. ACM, vol. 37, no. 3, pp. 69-76, Mar. 1994.
[18] T. Murata and D. Zhang, "A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs," IEEE Trans. Software Eng., Vol. 14, No. 4, Apr. 1988, pp. 481-497.
[19] T. Murata, “Petri Nets: Properties, Analysis and Application,” Proc. IEEE, vol. 77, no. 4, 1989.
[20] T. Murata, V.S. Subrahmanian, and T. Wakayama, "A Petri Net Model for Reasoning in the Presence of Inconsistency," IEEE Trans. Knowledge and Data Eng., Vol. 3, No. 3, Sept. 1991, pp. 281-292.
[21] D.L. Nazareth, “Issues in the Verification of Knowledge in Rule-Based Systems” Int'l J. Man-Machine Studies, pp. 255-271, 1989.
[22] D. L. Nazareth, “Investigating the Applicability of Petri Nets for Rule-Based System Verification,” IEEE Trans. Knowledge and Data Eng., vol. 4, no. 3, pp. 402–415, June 1993.
[23] T.A. Nguyen, W.A. Perkins, T.J. Laffey, and D. Pecora, “Knowledge Base Verification,” AI Magazine, pp. 69–75, Summer 1987.
[24] J.L. Pterson, “A Note on Colored Petri Nets,” Information Processing Letters, vol. 11, no. 1, pp. 13-16, Aug. 1980.
[25] G. Peterka and T. Murata, "Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs," IEEE Trans. Software Eng., Vol. 15, No. 2, Feb. 1989, pp. 209-217.
[26] M. Ramaswamy, S. Sarkar, and Y.S. Chen, “Using Directed Hypergraphs to Verify Rule-Based Expert Systems,” IEEE Trans. Knowledge and Data Eng., vol. 9, no. 2, pp. 221-237, Mar. 1997.
[27] H. Scarpelli, F. Gomide, and R. Yanger, “A Reasoning Algorithm for High-Level Fuzzy Petri Nets,” IEEE Trans. Fuzzy Systems, vol. 4, no. 3, pp. 282-294, Aug. 1996.
[28] S.C.K. Shiu, J.N.K. Liu, and D.S. Yeung, “An Approach Towards the Verification of Hybrid Rule/Frames-based Expert Systems Using Coloured Petri Nets,” IEEE Int'l Conf. Systems, Man, Cybernetics, vol. 3, pp. 2257-2262, 1995.
[29] M. Suwa, A. Scott, and E. Shortliffe, “An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System,” AI Magazine, pp. 16-21, 1982.
[30] G. Valiente, “Verification of Knowledge Based Redundancy and Subsumption Using Graph Transformations,” Int'l J. Expert Systems, vol. 6, no. 3, pp. 341-355, 1993.
[31] C.H. Wu and S.J. Lee, “Knowledge Verification with an Enhanced High-Level Petri-Net Model,” IEEE Expert, pp. 73-80, Sept. 1997.
[32] C.H. Wu and S.J. Lee, “Enhanced High-Level Petri Nets with Multiple Colors for Knowledge Verification/Validation of Rule-Based Expert Systems,” IEEE Trans. Systems, Man, and Cybernetics, vol. 27, no. 5, pp. 760–773, Oct. 1997.
[33] C.H. Wu and S.J. Lee, “A Token-Flow Paradigm for Verification of Rule-Based Expert Systems,” IEEE Trans. Knowledge and Data Eng., vol. 30, no. 4, pp. 616-624, July/Aug. 2000.
[34] L.A. Zadeh, “The Calculus of Fuzzy If/Then Rules,” AI Expert, pp. 23-27, Mar. 1992.
[35] D. Zhang and D. Nguyen, “Prepare: A Tool for Knowledge Base Verification,” IEEE Trans. Knowledge and Data Eng., vol. 6, no. 6, pp. 983–989, Dec. 1994.
[36] S.J.H. Yang, W.C. Chu, J. Lee, and W.T. Huang, “A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning,” IEEE Proc. 21th Int'l Computer Software and Application Conf. (COMPSAC '97), pp. 438-443, 1997.
[37] S.J.H. Yang, A.S. Lee, W.C. Chu, and H. Yang, “Rule Base Verification Using Petri Nets,” IEEE Proc. 22th Ann. Int'l Computer Software and Applications Conf. (COMPSAC '98), pp. 476-481, 1998.

Index Terms:
Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors, rules reasoning, rule verification.
Citation:
Stephen J.H. Yang, Jeffrey J.P. Tsai, Chyun-Chyi Chen, "Fuzzy Rule Base Systems Verification Using High-Level Petri Nets," IEEE Transactions on Knowledge and Data Engineering, vol. 15, no. 2, pp. 457-473, March-April 2003, doi:10.1109/TKDE.2003.1185845
Usage of this product signifies your acceptance of the Terms of Use.