Structural testing of rule-based expert systems
暂无分享,去创建一个
[1] Edward H. Shortliffe,et al. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..
[2] Lori A. Clarke,et al. A Formal Evaluation of Data Flow Path Selection Criteria , 1989, IEEE Trans. Software Eng..
[3] T. Amble. Logic programming and knowledge engineering , 1987 .
[4] R. A. Stachowitz,et al. Testing expert systems , 1988 .
[5] Anas N. Al-Rabadi,et al. A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .
[6] Walton A. Perkins,et al. Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.
[7] Elaine J. Weyuker,et al. The evaluation of program-based software test data adequacy criteria , 1988, CACM.
[8] John Rushby,et al. Quality Measures and Assurance for AI Software1 , 1988 .
[9] Claude Berge,et al. Graphs and Hypergraphs , 2021, Clustering.
[10] Rolf Stachowitz,et al. Validation of knowledge-based systems , 1987 .
[11] Sally C. Johnson. Validation of highly reliable, real-time knowledge-based systems , 1988 .
[12] Chris Culbert,et al. An expert system development methodology that supports verification and validation , 1989 .
[13] Mary Ann Goodwin,et al. A software engineering approach to expert system design and verification , 1988 .
[14] John Rushby,et al. Quality Measures and Assurance for AI (Artificial Intelligence) Software , 1988 .