Knowledge Verification
Jeffrey J P Tsai,
Du Zhang,
Avinash Sahay,
Eric Juan,
Jeffrey J P Tsai
University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607
Search for more papers by this authorDu Zhang
California State University, Sacramento, CA, 95819-6021
Search for more papers by this authorAvinash Sahay
University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607
Search for more papers by this authorEric Juan
University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607
Search for more papers by this authorJeffrey J P Tsai,
Du Zhang,
Avinash Sahay,
Eric Juan,
Jeffrey J P Tsai
University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607
Search for more papers by this authorDu Zhang
California State University, Sacramento, CA, 95819-6021
Search for more papers by this authorAvinash Sahay
University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607
Search for more papers by this authorEric Juan
University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607
Search for more papers by this authorAbstract
The sections in this article are
- 1 Current Issues in Verification of Knowledge-Based Systems
- 2 Formal Verification of Knowledge-Based Systems
- 3 Summary
- 4 Acknowledgments
Bibliography
- 1 C. Culbert (ed.) Special issue: Verification and validation of knowledge-based systems, Expert Syst. Appl., 1990.
- 2 C. V. Ramamoorthy S. Shekhar V. Garg Software development support for A.I. programs, IEEE Computer, 20 (1): 30–42, 1987.
- 3 E. A. Feigengaum et al. Knowledge-based systems research and applications in Japan, AI Mag., 15 (2): 29–43, Summer, 1994.
- 4 U. Gupta (ed.) Validating and Verifying Knowledge-based Systems, Washington, DC: IEEE Computer Society Press, 1991.
- 5 G. H. Schildt J. Retti (eds.) Proc. of the IFIP WG 5.4/IFAC Workshop on Dependability of Artificial Intelligence Systems, Vienna, Austria, IFIP, 1991.
- 6 N. G. Leveson Software safety: What, why, and how, ACM Comput. Surv., 18 (2): 125–163, 1986.
- 7 C. L. Chang J. B. Combs R. A. Stachowitz A report on the expert systems validation associate (EVA), Expert Syst. Appl., 1: 217–230, 1990.
- 8 J.-P. Tsai T. J. Weigert Knowledge-Based Software Development for Real-Time Distributed Systems, Singapore: World Scientific, 1993, pp. 126–135.
- 9 P. Meseguer Verification of multi-level rule-based expert systems. Proc. 9th Natl. Conf. Artif. Intell., pp. 323–328, 1991.
- 10 R. Evertsz The automated analysis of rule-based systems, based on their procedural semantics. Proc. Int. J. Conf. Artif. Intell., pp. 22–27, 1991.
- 11 G. R. Prakash E. Subrahmanian H. N. Mahabala A methodology for systematic verification of OPS5-based AI applications, Proc. Int. J. Conf. Artif. Intell., pp. 3–8, 1991.
- 12 D. C. Wilkins B. G. Buchanan On debugging rule sets when reasoning under uncertainty, Proc. 4th Natl. Conf. Artif. Intell., pp. 448–454, 1986.
- 13 G. De Raedt G. De Raedt M. Bruynooghe Using interactive concept learning for knowledge-base validation and verification, in M. Ayel and J. P. Laurent (eds.), Validation, Verification and Testing of Knowledge-Based Systems, Chichester: Wiley, 1991, pp. 177–190.
- 14 W. R. Franklin et al. Debugging and testing expert systems. Proc. 21st Annu. Int. Conf. Syst. Sci., Hawaii, pp. 159–167, 1988.
- 15 M. Ayel J. P. Laurent SACCO-SYCOJET: Two different ways of verifying knowledge-based systems, in M. Ayel and J. P. Laurent (eds.), Validation, Verification and Testing of Knowledge-Based Systems, Chichester: Wiley, 1991, pp. 63–76.
- 16 M. C. Rousset On the consistency of knowledge bases: the COVADIS system. Proc. 8th Eur. Conf. Artif. Intell., pp. 79–84, 1988.
- 17 R. Plant Special issue on software quality in knowledge-based systems. J. Syst. Softw., 29: 197–198, 1995.
- 18 M. Suwa A. C. Scott E. H. Shortliffe An approach to verifying completeness and consistency in a rule-based expert system, AI Mag., 3 (4): 16–21, 1988.
- 19 T. A. Nguyen et al. Knowledge base verification, AI Mag., 8 (2): 69–75, 1987.
- 20 E. Charles O. Dubois MELODIA: Logical methods for checking knowledge bases, in M. Ayel and J. P. Laurent (eds.), Validation, Verification and Testing of Knowledge-Based Systems, Chichester: Wiley, 1991, pp. 95–105.
- 21 E. Pipard Detection of incoherence and incompleteness in a knowledge base: The INDE system. Proc. AVIGNON ’88, pp. 15–33, 1988.
- 22 P. Meseguer A New Method for Checking Rule Base for Inconsistency: A Petri Net Approach, Tech. Rep., GRIAL 90/6, Blanes, Spain, 1990.
- 23 A. Ginsberg Knowledge-base reduction: A new approach to checking knowledge base for inconsistency and redundancy. Proc. 7th Natl. Conf. Artif. Intell., pp. 585–589, 1988.
- 24 P. Lafon A descriptive model of predicates for verifying production systems, in M. Ayel and J. P. Laurent (eds.), Validation, Verification and Testing of Knowledge-Based Systems, Chichester: Wiley, 1991, pp. 149–162.
- 25 L. Esfahani F. Teskey A self modifying rule-eliciter, Proc. Eur. Knowledge Acquisition, pp. 16.1–16.16, 1988.
- 26 R. Riedesel Consistency and Completeness: An Exercise in Knowledge Base Validation, Tech. Rep., Urbana-Champaign: Graduate College of the University of Illinois, 1985.
- 27 C. H. Wu S. J. Lee Knowledge Validation for Rule-Based Expert Systems by Interpreting Dependency in Directed Graphs, Taiwan: Department of Electrical Engineering, National Sun Yat-Sen University, 1995.
- 28 H. Marathe T. K. Ma C. C. Liu An algorithm for identification of relations among rules, Proc. IEEE Int. Workshop Tools Artif. Intell., pp. 360–366, 1989.
- 29 A. Ginsberg S. Weiss P. Politakis SEEK2: A generalized approach to automatic knowledge base refinement, Proc. IJCAI, pp. 367–374, 1985.
- 30 G. Kahn S. Nowlan J. McDermott Strategies for knowledge acquisition, IEEE Trans. Pattern Anal. Mach. Intell., 5 (7), 1988.
- 31 J. Boose D. Shema J. Bradshaw A recent progress in AQUINAS: A knowledge acquisition workbench, Proc. Eur. Knowledge Acquisition Workshop, pp. 2.1–2.15, 1988.
- 32 P. Terpstra M. van Someren INDE: A system for knowledge refinement and machine learning, Proc. Eur. Knowledge Acquisition Workshop, pp. 30.1–30.8, 1988.
- 33 J. Piazza Cases to Models Complete Expert Systems, Tech. Rep., General Dynamics Corp., Falls Church, VA, 1990.
- 34 A. Preece R. Shinghal A. Batarekh Verifying expert systems: a logical framework and a practical tool, Expert Syst. Appl., 5: 421–436, 1991.
- 35 R. Plant A. D. Preece Special issue on verification and validation. Int. J. Hum.-Comput. Stud., 44: 123–125, 1996.
- 36 E. Plaza (ed.) Validation and verification of knowledge-based systems, IEEE Expert, 8: 45–81, 1993.
- 37 D. Hamilton K. Kelley C. Culbert State-of-the-practice in knowledge-based system verification and validation. Expert Syst. Appl., 3: 403–410, 1991.
- 38 D. E. Leary (ed.) Special issue: Verification and validation of intelligent systems: Five years of AAAI workshops. Int. J. Intell. Syst., 9: 8–9, 1994.
- 39 A. Preece C. Suen (eds.) Special issues: Verification and validation of knowledge-based systems, Int. J. Expert Syst., 6: 2–3, 1993.
- 40 N. Zlatareva A. Preece State of the art in automated validation of knowledge-based systems, Expert Syst. Appl., 7 (2): 151–167, 1994.
- 41 T. Terano A case study of expert system evaluation using a checklist-based guideline, in AAAI-92 Workshop on Validation and Verification of Expert Systems, Los Altos, CA: Morgan Kauffmann, 1992.
- 42 R. Gamble G. C. Roman W. E. Ball Formal verification of pure production system programs, Proc. 9th Natl. Conf. Artif. Intell., pp. 329–334, 1991.
- 43 J. J. P. Tsai T. Weigert H. C. Jang A hybrid knowledge representation as a basis of requirement specification and specification analysis, IEEE Trans. Softw. Eng., SE-18: 1076–1100, 1992.
Citing Literature
Wiley Encyclopedia of Electrical and Electronics Engineering
Browse other articles of this reference work:
