A token-flow paradigm for verification of rule-based expert systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 30, Issue 4, 2000, Pages 616-624

  Wu, Chih Hung ^a   Lee, Shie Jue ^b  

^a Shu Te Inst of Technology   (Taiwan)

^b NATIONAL SUN YAT SEN UNIVERSITY   (Taiwan)

Author keywords

First order logic; Knowledge verification; Rule dependency graph; Token passing; Triggering set

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; PETRI NETS; TOPOLOGY;

FIRST ORDER LOGIC; KNOWLEDGE VERIFICATION; RULE DEPENDENCY GRAPH; TOKEN PASSING; TRIGGERING SET;

EXPERT SYSTEMS;

EID: 0034246567     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.865181     Document Type: Article

References (20)

1. G. Antoniou and V. Sperschneider, "On the verification of modular logic knowledge bases," Expert Syst. Applicat., vol. 7, no. 2, pp. 351-357, 1996.
2. T. B. Capon, F. Coenen, H. Nwana, R. Paton, and M. Shave, "Two aspects of the validation and verification of knowledge-based systems," IEEE Expert, vol. 8, no. 3, pp. 76-81, 1993.
3. E. P. I. Cervera, "KBS validation: From tools to methodology," IEEE Expert, vol. 8, no. 3, pp. 45-47, 1993.
4. A. M. K. Cheng, J. C. Browne, A. K. Mok, and R. H. Wang, "Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella," IEEE Trans. Softw. Eng., vol. 3, pp. 863-885, Sept. 1993.
5. C. L. Chang, J. B. Combs, and R. A. Stachowitz, "A report on the expert systems validation associate (EVA)," Expert Syst. Applicat., vol. 2, pp. 217-230, 1991.
6. C. L. Chang and R. C. T. Lee, Symbolic Logic and Mechanical Theorem Proving. New York: Academic, 1973.
7. C. L. Forgy, "Rete: A fast algorithm for the many pattern/many object pattern match problem," Artif. Intell., vol. 19, pp. 17-37, 1982.
8. G. Guida and C. Tasso, Design and Development of Knowledge-Based Systems: From Life Cycle to Methodology. New York: Wiley, 1994.
9. T. Hoppe and P. Meseguer, "VVT terminology: A proposal," IEEE Expert, vol. 8, no. 3, pp. 48-55, 1993.
10. T. Ishida, "Parallel rule firing in production systems," IEEE Trans. Knowl. Data Eng., vol. 3, pp. 11-17, Mar. 1991.
11. S. Lee and R. M. O'Keefe, "Developing a strategy for expert system verification and validation," IEEE Trans. Syst., Man, Cybern., vol. 24, pp. 643-655, Apr. 1994.
12. H. Lounis, "Knowledge-based systems verification: A machine learning-based approach," Expert Syst. Applicat., vol. 8, no. 3, pp. 381-389, 1995.
13. O. J. Mengshoel, "Knowledge validation: Principles and practice, "IEEE Expert, vol. 8, no. 3, pp. 62-68, 1993.
14. T. J. Murray and M. R. Tanniru, "Control of inconsistency and redundancy in Prolog-type knowledge bases," Expert Syst. Applicat., vol. 2, pp. 321-331, 1991.
15. D. L. Nazareth, "Investigating the applicability of Petri Nets for rule-based system verification," IEEE Trans. Knowl. Data Eng., vol. 4, no. 3, pp. 402-415, 1993.
16. J. L. Peterson, Petri Nets, Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
17. M. Ramaswamy, S. Sarkar, and Y-S. Chen, "Usingdirectedhypergraphs to verify rule-based expert systems," IEEE Trans. Knowl. Data Eng., vol. 9, no. 2, pp. 221-236, 1997.
18. 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. Syst., Man, Cybern. B, vol. 27, pp. 760-773, Oct. 1997.
19. N. Zlatareva and A. Preece, "State of the art in automated validation of knowledge-based systems," Expert Syst. Applicat., vol. 7, no. 2, pp. 151-167, 1994.
20. D. Zhang and D. Nguyen, "PREPARE: A tool for knowledge verification," IEEE Trans. Knowl. Data Eng., vol. 6, no. 6, pp. 983-989, 1994.