Using paths to detect redundancy in rule bases
暂无分享,去创建一个
[1] Alun Preece,et al. Verifying expert systems: A logical framework and a practical tool , 1992 .
[2] Marie-Christine Rousset,et al. On the consistency of knowledge bases: the COVADIS system , 1988, Comput. Intell..
[3] Paul J. Krause,et al. Can we formally specify a medical decision support system? , 1993, IEEE Expert.
[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] Alun Preece,et al. Structural Validation of Expert Systems Using a Formal Model , 1993, AAAI 1993.
[6] M. Rousset,et al. Formal verification of knowledge bases focused on consistency: two experiments based on ATMS techniques , 1993 .
[7] Edward H. Shortliffe,et al. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..
[8] Faruk Polat,et al. UVT: a unification-based tool for knowledge base verification , 1993, IEEE Expert.
[9] Walton A. Perkins,et al. Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.
[10] James D. Kiper. Structural testing of rule-based expert systems , 1992, TSEM.
[11] Alun D. Preece,et al. Principles and practice in verifying rule-based systems , 1992, Knowl. Eng. Rev..
[12] R. A. Stachowitz,et al. A report on the Expert Systems Validation Associate (EVA) , 1990 .
[13] Allen Ginsberg. Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.
[14] Marc Ayel,et al. SYCOJET and SACCO, two tools for verifying expert systems , 1993 .
[15] Peter Grogono,et al. Specifying an expert system , 1991 .
[16] Alun D. Preece,et al. Exploring the Structure of Rule Based Systems , 1993, AAAI.
[17] Allen Newell,et al. A Problem Space Approach to Expert System Specification , 1989, IJCAI.