论文信息 - Verification of rule-bases using incidence - 字舞流文

Verification of rule-bases using incidence

Frans Coenen | A. Taleb-Bendiab | R. Forster | Frans Coenen | A. Taleb-Bendiab | R. Forster

[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 .