BRUCE G. BUCHANAN
Department of Computer Science
University of Pittsburgh
As an expert system's knowledge base grows, it becomes more and more difficult to ensure its correctness and acceptability. A four-part model of validation based on experience building diagnostic expert systems is presented here.
R. Enand, G.S. Kahn, R.A. Mills, "A methodology for validating large knowledge bases," International Journal of Man-Machine Studies, 33, 361-71, October 1990. (Carnegie Group, Pittsburgh; Ford Motor Co., Dearborn, Mich.)
The championship chess match between Gary Kasparov and Anatoly Karpov features perhaps the last two active human players who can defeat the chess playing program Deep Thought. An article by the designers of that program describes how Deep Thought plays so well and compares it with other programs. Plans for the next version of the program are given.
F. Hsu, T. Anantharaman, M. Campbell, A. Nowatzyk, "A grandmaster chess machine," Scientific American, 263, 44-50,...