Verification of rule-bases using incidence
暂无分享,去创建一个
[1] Edward H. Shortliffe,et al. Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .
[2] J. G. Massey,et al. Expert System Verification and Validation Part I: Defining the Concepts , 1991 .
[3] R. A. Stachowitz,et al. A report on the Expert Systems Validation Associate (EVA) , 1990 .
[4] 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..
[5] C. Landauer. Correctness principles for rule-based expert systems☆ , 1990 .
[6] Allen Ginsberg. Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.
[7] Mohan Tanniru,et al. A Petri-Net Based Approach for Verifying the Integrity of Production Systems , 1992, Int. J. Man Mach. Stud..
[8] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[9] Tin A. Nguyen,et al. Knowledge base verification , 1987 .