Verification and validation of knowledge-based systems with an example from site selection

[1]  Daniel E. O'Leary,et al.  Expert system verification and validation: a survey and tutorial , 1993, Artificial Intelligence Review.

[2]  Atsushi Sugiura,et al.  Integration of multiple knowledge representation for classification problems , 1993, Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93).

[3]  Edward H. Shortliffe,et al.  An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..

[4]  Wei-Tek Tsai,et al.  Evaluation of expert system testing methods , 1994, CACM.

[5]  Harry J. P. Timmermans,et al.  Design of a View-Based DSS for Location Planning , 1996, Int. J. Geogr. Inf. Sci..

[6]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[7]  Marie-Christine Rousset,et al.  On the consistency of knowledge bases: the COVADIS system , 1988, Comput. Intell..

[8]  Tin A. Nguyen,et al.  Knowledge base verification , 1987 .

[9]  Efraim Turban,et al.  Decision support and expert systems , 1993 .

[10]  Robert Plant,et al.  A survey of tools for the validation and verification of knowledge-based systems: 1985-1995 , 1997, Decis. Support Syst..

[11]  Jan Vanthienen,et al.  Knowledge acquisition and validation using a decision table engineering workbench , 1991 .

[12]  Amar Bendou.  CT-DATAGEN: A Constraint Based Test Data Generator , 1995, EUROVAV.

[13]  J. Vanthienen,et al.  A structured approach to formalization and validation of knowledge , 1991, [1991] Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs.

[14]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[15]  Frank Witlox,et al.  MATISSE: Modelling Site Suitability of companies , 1998 .

[16]  Hjp Harry Timmermans,et al.  The integration of expert knowledge in decision support systems for facility location planning , 1995 .

[17]  S. Addelman.  Orthogonal Main-Effect Plans for Asymmetrical Factorial Experiments , 1962 .

[18]  H. Timmermans,et al.  Locational Choice Behaviour of Entrepreneurs: An Experimental Analysis , 1986 .

[19]  Allen Ginsberg.  Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.

[20]  Osman Balci,et al.  Validation of Expert System Performance , 1986 .

[21]  R. A. Stachowitz,et al.  A report on the Expert Systems Validation Associate (EVA) , 1990 .

[22]  Alun D. Preece,et al.  Foundation and application of knowledge base verification , 1994, Int. J. Intell. Syst..

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

[24]  Michael J. Darnell,et al.  Empirical evaluation of decision tables for constructing and comprehending expert system rules , 1992 .

[25]  Egbert Wever,et al.  Oil Refineries and Petrochemical Industries in Western Europe: Buoyant Past Uncertain Future , 1984 .