Verification of knowledge-based systems using predicate/transition nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 38, Issue 1, 2008, Pages 78-87

  Shen, Victor R L ^a   Juang, Tony Tong Ying ^a  

^a NATIONAL TAIPEI UNIVERSITY   (Taiwan)

Author keywords

Knowledge base (KB); Petri net; Predicate transition (PrT) net; Rule base

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ERRORS; GRAPH THEORY; INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; MARINE BIOLOGY; PETRI NETS; QUERY LANGUAGES; SPECIFICATIONS;

DEAD ENDS; DESIGN TOOLS; FIXPOINT SEMANTICS; GREAT-ER; KNOWLEDGE BASE (KB); LARGE-SCALE; NET MODELS; PETRI NET; PREDICATE/TRANSITION (PRT) NET; REQUIREMENTS SPECIFICATION LANGUAGES; RULE BASE;

SPECIFICATION LANGUAGES;

EID: 53549094828     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2007.909509     Document Type: Article

References (29)

1. R. Agarwal and M. Tanniru, "A Petri-net based approach for verifying the integrity of production systems," Int. J. Man-Mach. Stud., vol. 36, no. 3, pp. 447-468, Mar. 1992.
2. S. Bologna, E. Ness, and T. Sivertsen, "Dependable knowledge-based systems development and verification: What we can learn from software engineering and what we need," in Proc. IEEE Conf. Tools for Artif. Intell., Nov. 1990, pp. 86-95.
3. O. Coudert, C. Berthet, and J. C. Madre, "Verification of synchronous sequential machines based on symbolic execution," in Proc. Workshop Autom. Verification Methods for Finite State Syst., Grenoble, France, 1989, pp. 1-13.
4. R. Djelouah, B. Duval, and S. Loiseau, "Validation and reparation of knowledge bases," in Proc. 13th ISMIS, 2002, vol. 2366, pp. 312-320.
5. B. R. Geissman and R. D. Schultz, "Verification and validation of expert systems," AI Expert, vol. 3, no. 2, pp. 26-33, Feb. 1988.
6. A. Ginsberg, "Knowledge-based reduction: A new approach to checking knowledge bases for inconsistency and redundancy," in Proc. 7th Nat. Conf. AI, Aug. 1988, pp. 35-42.
7. G. Guida and G. Mauri, "Evaluating performance and quality of knowledge-based systems: Foundation and methodology," IEEE Trans. Knowl. Data Eng., vol. 5, no. 2, pp. 204-224, Apr. 1993.
8. R. C. Hicks, "Knowledge base management systems - Tools for creating verified intelligent systems," Knowl.-Based Syst., vol. 16, no. 3, pp. 165-171, Apr. 2003.
9. R. Knauf, A. J. Gonzalez, and T. Abel, "A framework for validation of mle-based systems," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 32, no. 3, pp. 281-295, Jun. 2002.
10. D. Y. Lee and F. DiCesare, "Scheduling flexible manufacturing systems using Petri nets and heuristic search," IEEE Trans. Robot. Autom. vol. 10, no. 2, pp. 123-132, Apr. 1994.
11. J. Liebowitz, "Useful approach for evaluating expert systems," Expert Syst., vol. 3, no. 2, pp. 86-96, Apr. 1986.
12. E. L. Lim, J. McCallum, and K. H. Chan, "P-graph - A graph model for anomaly checking of knowledge bases," in Proc. IEEE Conf. Tools for Artif. Intell., Nov. 1990, pp. 871-877.
13. C. Lin, A. Chaudhury, A. B. Whinston, and D. C. Marinescu, "Logical inference of horn clauses in Petri net models," IEEE Trans. Knowl. Data Eng., vol. 5, no. 3, pp. 416-425, Jun. 1993.
14. K. Matsumoto, T. Takano, and T. Sakaguchi, "A dynamic verification method for knowledge-based systems," in Dependability of Artificial Intelligence Systems, (DAISY-91), G. H. Schildt and J. Retti, Eds. Amsterdam, The Netherlands: Elsevier, IFIP, 1991.
15. M. C. McFarland, "Formal verification of sequential hardware: A tutorial," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. vol. 12, no. 5, pp. 633-654, May 1993.
16. 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, Jun. 1993.
17. T. A. Ngyuen, "Verifying consistency of production systems," in Proc. 3rd IEEE Conf. Artif. Intell., Orlando, FL, Feb. 1987, pp. 4-8.
18. T. A. Ngyuen, W. A. Perkins, T. J. Laffey, and D. Pecora, "Knowledge base verification," AI Mag., vol. 8, no. 2, pp. 69-75, Summer 1987.
19. D.E. O'Leary, "Verification of multiple agent knowledge-based systems," Int. J. Intell. Syst., vol. 16, no. 3, pp. 361-376, 2001.
20. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
21. U. Rauth and T. Gmbh, "Consistency of production roles in expert systems," in Dependability of Artificial Intelligence Systems, (DAISY-91), G. H. Schildt and J. Retti, Eds. Amsterdam, The Netherlands: Elsevier, IFIP, 1991.
22. E. Santos, Jr., "Verification and validation of Bayesian knowledge-bases," Data Knowl. Eng., vol. 37, no. 3, pp. 307-329, Jun. 2001.
23. V. R. L. Shen and F. Lai, "Requirements specification and analysis of digital systems using fuzzy and marked Petri nets," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 28, no. 5, pp. 748-754, Oct. 1998.
24. V. R. L. Shen and F. Lai, "Requirements specification and analysis of digital systems using FARHDL," IEICE Trans. inf. Syst., vol. E81-D, no. 3, pp. 1-12, Mar. 1998.
25. V. R. L. Shen, "Correctness in hierarchical knowledge-based requirements," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 30, no. 4, pp. 625-631, Aug. 2000.
26. V. R. L. Shen and F. H. C. Shen, "Requirements specification and analysis of fault-tolerant digital systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 32, no. 1, pp. 149-159, Jan. 2002.
27. M. Suwa, A. C. Scott, and E. H. Shrotliffe, "An approach to verifying completeness and consistency in a rule-based expert system," AI Mag. vol. 3, no. 4, pp. 16-21, Fall 1982.
28. G. D. Tecuci, "Automating knowledge acquisition as extending, updating, and improving a knowledge base," IEEE Trans. Syst., Man, Cybern., vol. 22, no. 6, pp. 1444-1460, Nov./Dec. 1992.
29. D. A. Waterman, A Guide to Expert Systems. Reading, MA: Addison-Wesley, 1986.