Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems

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

Volumn 27, Issue 5, 1997, Pages 760-773

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

^a IEEE   (Taiwan)

^b NATIONAL SUN YAT SEN UNIVERSITY   (Taiwan)

Author keywords

Knowledge validation and verification; Petri nets; Reachability problem; Rule based expert systems

Indexed keywords

COMPUTATIONAL COMPLEXITY; EXPERT SYSTEMS; MATHEMATICAL MODELS; PETRI NETS;

KNOWLEDGE VERIFICATION VALIDATION; REACHABILITY PROBLEM;

KNOWLEDGE BASED SYSTEMS;

EID: 0031258987     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.623230     Document Type: Article

References (62)

1. C. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving. New York: Academic, 1973.
2. D. Loveland, Automated Theorem Proving: A Logical Basis. New York: North-Holland, 1978.
3. C. Green and M. Keyes, "Verification and validation of expert systems," in Proc. Western Conf. Expert Systems, Los Alamitos, CA, 1987, pp. 38-43.
4. R. Stachowtiz and J. Coombs, "Validation of expert systems," in Proc. 20th Hawaii Int. Conf. System Sciences, 1987, pp. 686-695.
5. C. Culbert, G. Riley, and R. Savely, "Approaches to the verification of rule-based expert systems," in Proc. SOAR'87: 1st Annu. Workshop Space Operation Automation Robotics, Washington, DC, 1987, pp. 27-37.
6. C. Martin-Mattei, "Validation, verification, and testing: Procedures in the life cycle of knowledge-based systems," in Proc. European Workshop Verification Validation Knowledge-Based Systems. Cambridge, U.K.: Logica, 1991, pp. 15-30.
7. J. Geissmann and R. Schultz, "Verification and validation of expert systems," AI Expert, vol. 3, pp. 26-33, Feb. 1988.
8. J. Naser, "Nuclear power plant expert system verification and validation," in Validation Verification Knowledge-Based Systems, U. Gupta, Ed. New York: IEEE, 1991, pp. 26-41.
9. C. Landauer, "Correctness principles for rule-based expert systems," Expert Syst. Applicat., vol. 1, no. 3, pp. 291-316, 1990.
10. J. Liebowitz, "Useful approach for evaluating expert systems," Expert Syst., vol. 3, no. 2, pp. 86-96, 1986.
11. R. O'Keefe, O. Balci, and E. Smith, "Validating expert system performance," IEEE Expert, vol. 2, no. 4, pp. 81-90, 1987.
12. I. Benbasat and J. Dhaliwal, "A framework for the validation of knowledge acquisition," Knowledge Acquisition, vol. 1, no. 2, pp. 215-233, 1989.
13. J. Brender, "KBS validation: State of the art," Tech. Rep.: Valid Project, Cognitech, Paris, France, 1989.
14. B. Lôpez, P. Meseguer, and E. Plaza, "Validation of knowledge-based systems: A state of the art," AI Commun., vol. 3, no. 2, pp. 58-72, 1990.
15. T. Hoppe, "Hypotheses generation for knowledge validation," in Proc. 9th European Conf. Artificial Intelligence, Stockholm, Sweden, 1990, pp. 354-356.
16. A. Preece, "Toward a methodology for evaluating expert systems," Expert Syst., vol. 7, no. 4, 1990.
17. O. Mengshoel, "KVAT: A tool for incremental knowledge validation in a knowledge engineering workbench," in Proc. European Workshop Verification Validation Knowledge-Based Systems. Cambridge, U.K.: Logica, 1991, pp. 133-146.
18. J. Laurent, "Proposals for a valid terminology in KBS validation," in Proc. 10th European Conf. Artificial Intelligence, 1992, pp. 830-834.
19. T. Hoppe and P. Meseguer, "VVT terminology: A proposal," IEEE Expert, vol. 8, no. 3, pp. 48-55, 1993.
20. R. O'Keefe and D. O'Leary, "Expert system verification and validation: A survey and tutorial," Artif. Intell. Rev., vol. 7, pp. 3-42, 1993.
21. S. Lee and R. O'Keefe, "Developing a strategy for expert system verification and validation," IEEE Trans. Syst., Man, Cybern., vol. 24, pp. 643-655, Apr. 1994.
22. D. Nazareth, "Investigating the applicability of Petri nets for rule-based system verification," IEEE Trans. Knowledge Data Eng., vol. 4, no. 3, pp. 402-415, 1993.
23. _, "Issues in the verification of knowledge in rule-based systems," Int. J. Man-Mach. Stud., vol. 30, pp. 255-271, Mar. 1989.
24. M. Zisman, "Use of production systems for modeling asynchronous, concurrent processes," in Pattern-Directed Inference Systems, D. Waterman and F. Hayes-Roth, Eds. New York: Academic, pp. 53-68, 1977.
25. C. Looney, "Fuzzy Petri nets for rule-based decisionmaking," IEEE Trans. Syst., Man, Cybern., vol. 18, pp. 178-183, Jan./Feb. 1988.
26. S. Sakthivel and M. Tanniru, "Information system verification and validation during requirement analysis using Petri nets," J. Manage. Inf. Syst., vol. 5, no. 3, pp. 31-52, 1988-1989.
27. P. Meseguer, "A new method to checking rule base for inconsistency: A Petri net approach," in Proc. 9th European Conf. Artificial Intelligence, Stockholm, Sweden, 1990, pp. 437-442.
28. R. Agarwal and M. Tanniru, "A Petri-net based approach for verifying the integrity of production systems," Int. J. Man-Mach. Stud., vol. 36, pp. 447-468, 1992.
29. N. Liu, "Formal description and verification of knowledge base redundancy and subsumption," in Proc. 7th Int. Conf. Computing Information, Sudbury, Canada, May 1993, pp. 385-389.
30. J. Peterson, Petri Nets, Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
31. K. Jensen, "Colored Petri nets and the invariant method," Theor. Comput. Sci., pp. 317-336, 1981.
32. T. Murata and D. Zhang, "A predicate-transition net model for parallel interpretation of logic programs," IEEE Trans. Software Eng., vol. 14, pp. 481-497, Apr. 1988.
33. T. Murata and K. Matsuyama, "Inconsistency check of a set of clauses using Petri net reductions," J. Franklin Inst., vol. 325, no. 1, pp. 73-93, 1988.
34. G. Peterka and T. Murata, "Proof procedure and answer extraction in Petri net model of logic programs," IEEE Trans. Software Eng., vol. 15, pp. 209-217, Feb. 1989.
35. K. Jensen, "Colored Petri net: A high level language for system design and analysis," in Lecture Notes in Computer Science 483. Berlin, Germany: Springer-Verlag, 1990, vol. 14, pp. 342-416.
36. T. Murata, V. Subrahmanian, and T. Wakayama, "A Petri net model for reasoning in the presence of inconsistency," IEEE Trans. Knowledge Data Eng., vol. 3, pp. 281-292, Sept. 1991.
37. L. Li, "High-level Petri net model of logic program with negation," IEEE Trans. Knowledge Data Eng., vol. 6, pp. 382-395, June 1994.
38. T. Murata, "Petri-nets and their applications - An introduction," in Management and Office Information Systems, S.-K. Chang, Ed. New York: Plenum, 1984.
39. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
40. Neuron Data, Inc., NEXPERT OBJECT User's Guide, Palo Alto, CA, 1991.
41. M. Hack, "Decidability questions for Petri nets," Ph.D. dissertation, Dept. Elect. Eng., Mass. Inst. Technol., Cambridge, MA, Dec. 1975.
42. J. Lambert, "Some consequences of the decidability of the reachability problem for Petri nets," in Advances in Petri Nets, G. Gozenberg, Ed. Berlin, Germany: Springer-Verlag, pp. 262-282, 1988.
43. M. Suwa, A. Scott, and E. Shortliffe, "An approach to verifying completeness and consistency in rule-based expert systems," AI Mag., vol. 3, no. 4, pp. 16-21, 1982.
44. T. Nguyen, W. Perkins, T. Laffey, and D. Pecora, "Checking an expert system knowledge base for consistency and completeness," in Proc. Int. Joint Conf. Artificial Intelligence, 1985, pp. 375-378.
45. B. Cragen and H. Steudel, "A decision-table-based processor for checking completeness and consistency in rule-based expert systems," Int. J. Man-Mach. Stud., vol. 26, pp. 633-648, 1987.
46. A. Ginsberg, "Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy," in Proc. 7th Conf. National Artificial Intelligence, 1988, pp. 585-589.
47. K. Bellman and D. Walter, "Analyzing and correcting knowledge-based systems requires explicit models," in 1st AAAI Workshop Verification, Validation, Testing Knowledge-Based Systems, Palo Alto, CA, 1988.
48. _, "Designing knowledge-based systems for reliability/performance," in Proc. Conf. Testing Computer Software, Washington, DC, 1989.
49. L. Becker, P. Green, J. Duckworth, J. Bhatnagar, and A. Pease, "Evidence flow graphs for VV&T," in IJCAI-89 Workshop Verification, Validation, Testing Knowledge-Based Systems, Detroit, MI, 1989.
50. C. Chang, J. Combs, and R. Stachowitz, "A report on the expert systems validation associate (EVA)," Expert Syst. Applicat., vol. 2, pp. 217-230, 1991.
51. R. Patrick and P. Ratcliffe, "Toward standards for the validation of expert systems," Expert Syst. Applicat., vol. 2, pp. 251-258, 1991.
52. N. Belnap, "A useful four valued logic," in Modern Uses of Multiple-Valued Logics, G. Epstein and M. Dunn, Eds. Boston, MA: Reidel, 1977.
53. K. Pederson, "Well-structured knowledge bases," AI Expert, vol. 4, pp. 44-55, 1989.
54. M. Paterson and M. Wegman, "Linear unification," J. Comput. Syst. Sci., vol. 16, pp. 158-167, 1978.
55. G. Escalada-Imaz and M. Ghallab, "A practically efficient and almost linear unification algorithm," Artif. Intell., vol. 36, pp. 249-263, 1988.
56. Z. Chen and C. Y. Suen, "Measuring the complexity of rule-based expert systems," Expert Syst. Applicat., vol. 7, no. 4, pp. 467-481, 1994.
57. M. O'Neal and J. W. Edwards, "Complexity measures for rule-based programs," IEEE Trans. Knowledge Data Eng., vol. 6, pp. 669-680, Oct. 1994.
58. R. Sedgewick, Algorithms. Reading, MA: Addison-Wesley, 1983.
59. R. Stallman and G. Sussman, "Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit-analysis," Artif. Intell., vol. 9, pp. 135-196, 1977.
60. J. C. Weber, "A forward-chaining information framework," in The Next Generation of Information Systems: From Data to Knowledge (A Selection of Papers Presented at Two IJCAI-91 Workshops), M. Papazoglou and J. Zeleznikow, Eds. Berlin, Germany: Springer, 1992, pp. 238-250.
61. H. E. Shrobe, "Supporting and optimizing full unification in a forward chaining rule system," in Proc. 11th Nat. Conf. Artificial Intelligence, Washington, DC, 1993, pp. 710-715.
62. S. Mehl, "Forward inferences in text generation," in Proc. 11th Eur. Conf. Artificial Intelligence, 1994, pp. 525-529.