Back Article

Batarekh A, Preece AD, Bennett A and Grogono P, 1991. “an expert system” Expert Systems with Applications2 (4) 285–303.

Bellman KL, 1990. “The modeling issues inherent in testing and evaluating knowledge-based systems” Expert Systems with Applications1 (3) 199–215.

Buchanan BG and Shortliffe EH, 1984. “The problem of evaluation” In: Buchanan BG and Shortliffe EH (eds.), Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project Chapter 30, pp 571–588. Addison-Wesley.

Chandrasekaran B, 1983. “On evaluating Al systems for medical diagnosis” AI Magazine4 (2) 34–37.

Fensel D and van Harmelen F, 1994. “A comparison of languages which operationalise and formalise KADS models of expertise” Knowledge Engineering Review9(2) 105–146.

Ghezzi C, Jazayeri M and Mandrioli D, 1991. Fundamentals of Software EngineeringPrentice Hall.

Ginsberg A, 1988. “Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency & redundancy” In: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 88) Volume 2, pp 585–589.

Haugh J, 1988. “The application of formal specification techniques to knowledge-based system development” In: UK IT 88 Conference Publication pp 95–98, London. University College, Information Engineering Directorate.

Kemmerer RA, 1985. “Testing formal specifications to detect design errors” IEEE Transactions on Software Engineering11(1) 32–43.

Krause PJ, Byers P, Hajnal S and Fox J, 1990. “The use of object-oriented process specification for the verification and validation of decision support systems” In: Laurent JP and Ayel M (eds.), Verification, Validation and Test of KBSWiley.

Laurent JP1992. “Proposals for a valid terminology in KBS validation” In: Neumann B (ed.), Proceedings of the 10th European Conference on Artificial intelligence (ECAI 92) pp 829–834, New York. Wiley.

Meseguer P, 1992. “Incremental verification of rule-based expert systems” In Neumann B (ed.), Proceedings of the 10th European Conference on Artificial intelligence (ECAI 92)New York. Wiley.

Meseguer P and Verdaguer A, 1993. “Verification of multi-level rule-based expert systems: Theory and practice” International Journal of Expert Systems: Research and Applications6 (2) 163–192.

Miller LA, 1990. “Dynamic testing of knowledge bases using the heuristic testing approach” Expert Systems with Applications1(3) 249–269.

O'Keefe RM, Balci O and Smith EP, 1987. “Validating expert system performance” IEEE Expert2 (4) 81–90.

Plant RT and Gold D, 1990. “Increasing expert system reliability through the use of a formal specification” In: Culbert C (ed), AAAI-90 Workshop on Knowledge Based Systems Verification, Validation and Testing. AAAI.

Potter B, Sinclair J and Till D, 1991. An Introduction to Formal Specification and Z, Prentice-Hall.

Preece AD, 1990. “Towards a methodology for evaluating expert systems” Expert Systems7 (4) 215–223.

Preece AD, Shinghal R and Batarekh A, 1992. “Principles and practice in verifying rule-based systems” Knowledge Engineering Review7 (2) 115–141.

Rushby J and Crow J, 1990. “Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit” NASA Contractor Report CR-187466, SRI International, Menlo Park, CA.

Suwa M, Scott AC and Shortliffe EH, 1982. “An approach to verifying completeness and consistency in a rule-based expert system” AI Magazine3 (4) 16–21.

Treur J and Wetter T, editors, 1993. Formal Specification of Complex Reasoning SystemsEllis-Horwood.

Turing A, 1950. “Computing machinery and intelligence” Mind59236–248.

van Harmelen F and Aben M, 1995. “Applying rule-base anomalies to KADS inference structures” In: Gamble R and Landauer C (eds.), Working Notes from IJCAI-95 Workshop on Verification and Validation of Knowledge-Based Systems.

Wielinga BJ, Schreiber AT and Breuker JA, 1992. KADS: a modelling approach to knowledge engineering” Knowledge Acquisition4(1) 5–54.

Zualkernan LA, Tsai W-T and Kirani S, 1992. “Testing expert systems using conventional techniques” In: Proceedings of the 16th Annual Computer Software and Applications Conference pp 320–325.