|
Born G, 1988, “Guidelines for quality assurance of expert systems” CSA Working Group on QA and Expert Systems (1.1), 11. |
|
Cragun BJ and Steudel HJ, 1987, “A decision-table-based processor for checking completeness and consistency in rule-based expert systems” International Journal of Man-Machine Studies26633–648. |
|
Enand R, Kahn GS and Mills RA, 1990 “A methodology for validating large knowledge bases” International Journal of Man-Machine Studies33361–371. |
|
Hoppe T and Meseguer P, 1991, “On the terminology of VVT” In: M. Grisoni, editor, Eurovav-91: Proceedings of the European Workshop on the Verification and Validation of Knowledge Based Systems pp 103–108. |
|
Inder R and Filby I, 1991, Survey of Knowledge Engineering Methods and Supporting Tools. Technical Report AIAI-TR-99, AIAI, December. (Also presented at the BCS SGES workshop on Knowledge-Based Systems Methodologies, 121991. |
|
Johnson RG, Joly GC and King PJH, 1987, Survey of Techniques for the Checking of Rule-Based Expert Systems. Technical report, Department of Computer Science, Birkbeck College, London. |
|
Kang Y and Bahill AT, 1990, “A tool for detecting expert system errors” AI Expert02, 46–51. |
|
Liu NK and Dillon T, 1991, “An approach towards the verification of expert systems using numerical Petri nets” International Journal of Intelligent Systems6255–276. |
|
McGraw KL and Harbison-Briggs K, 1989, Knowledge Acquisition: Principles and Guidelines, pp 300–325, Prentice-Hall. |
|
Mengshoel OJ, 1991, “KVAT: a tool for incremental knowledge validation in a knowledge engineering workbench: In: M. Grisoni, editor, Eurovav-91: Proceedings of the European Workshop on the Verification and Validation of Knowledge Based Systems pp 133–146. |
|
Nazareth DL, 1989, “Issues in the verification of knowledge in rule-based systems” International Journal of Man-Machine Studies30255–271. |
|
Nazareth DL and Kennedy MH, 1991, “Verification of knowledge based systems using directed graphs” Knowledge Acquisition3339–360. |
|
Nguyen TA, “CHECK applied to ART” In: Third Conference on AI ApplicationsWashington, DC. |
|
Nguyen TA, Perkins WA, Laffey TJ and Pecora D, 1987, “Knowledge base verification” AI Magazine8(2) 69–75, Summer. |
|
O'Keefe RM, Balci O and Smith EP, 1987, “Validating expert system performance” IEEE Expert, 81–89, Winter. |
|
Partridge D, 1986, Artificial Intelligence: Applications in the Future of Software Development EngineeringEllis Horwood. |
|
Pearce D, 1991, “A model based approach to validation” In: M. Grisoni, editor, Eurovav-91: Proceedings of the European Workshop on the Verification and Validation of Knowledge Based Systems pp 55–67. |
|
Petitjean S, Brunessaux L and Vaudet J-P, 1991, “Three pragmatic tools for the validation of knowledge based systems” In: M. Grisoni, editor, Eurovav-91: Proceedings of the European Workshop on the Verification and Validation of Knowledge Based Systems pp 111–123. |
|
Ribar G, Arcoleo Fand, Hollo D, 1991, “Loan probe: testing a big expert system” AI Expert43–49, 05. |
|
Stachowitz RA, Chang CL, Stock TS and Combs JB, 1987, “Building validation tools for knowledge based systems.” Proceedings of the SOAR Conference,Houston, TXNASA/JSC. |
|
Stachowitz RA, Combs JB, 1987, “Validation of expert systems” In: Proceedings of the 20th Annual Hawaii International Conference on System Sciences. |
|
van Someren M, 1991, “Structural and formative validation of knowledge bases” In: M. Grisoni, editor, Eurovav-91: Proceedings of the European Workshop on the Verification and Validation of Knowledge Based Systems. pp 103–108 |