Foundation and application of knowledge base verification
暂无分享,去创建一个
[1] Alun Preece,et al. Verifying expert systems: A logical framework and a practical tool , 1992 .
[2] Harold J. Steudel,et al. A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems , 1987, Int. J. Man Mach. Stud..
[3] Rolf Stachowitz,et al. Validation of knowledge-based systems , 1987 .
[4] Marie-Christine Rousset,et al. On the consistency of knowledge bases: the COVADIS system , 1988, Comput. Intell..
[5] Rajjan Shinghal. Formal Concepts in Artificial Intelligence: Fundamentals , 1991 .
[6] John Fox,et al. The use of object-oriented process specification for the validation and verification of decision support systems , 1991 .
[7] John Rushby,et al. Quality Measures and Assurance for AI Software1 , 1988 .
[8] Alun D. Preece,et al. Principles and practice in verifying rule-based systems , 1992, Knowl. Eng. Rev..
[9] Allen Ginsberg. Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.
[10] Walton A. Perkins,et al. Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.