Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!unido!uklirb!shell
From: ntm1169%dsacg3.dsac.dla.mil@dsac.dla.mil (Mott Given)
Newsgroups: comp.ai.shells
Subject: Re: testing a rule-based system
Message-ID: <7536@uklirb.informatik.uni-kl.de>
Date: 11 Feb 91 20:05:46 GMT
References: <7516@uklirb.informatik.uni-kl.de>
Sender: shell@uklirb.informatik.uni-kl.de
Organization: Defense Logistics Agency Systems Automation Center, Columbus
Lines: 38
Approved: shell@dfki.uni-kl.de
Posted-Date: Thu Feb 14 08:58:41 GMT 1991

From article <7516@uklirb.informatik.uni-kl.de>, by sweeney@cs.washington.edu (Christine Sweeney):
> Can anyone recommend any books or papers on the subject of
> testing and verifying ai-based systems?

You might try looking at some of these references:

AI EXPERT, Feb. 1990,  "A tool for detecting expert system errors"

IEEE Expert, Winter 1987, "Validating expert system performance"

IEEE Expert, Spring 1988, "A software engineering tool for expert system design"

IEEE Expert, June 1990, "Validating expert systems"

A paper by the authors Todd Stock and others (whose title I do not have)
  presented at the Fourth Conference on Artificial Intelligence for Space 
  Applications, Huntsville, AL, Nov 15-16, 1988 describes an Expert System
  Validation Assistant.

Hall, David L.; Heinze, Daniel T.
 "The use of simulation techniques for expert system test and evaluation"  
 ISA Transactions v28 no1  p19-22 '89
  
Culbert, Chris; Riley, Gary; Savely, Robert T.
 "An expert system development methodology that supports verification and 
 validation"
 ISA Transactions v28 no1  p15-18 '89
 
"Technique for knowledge base verification" by Zhang, Du and Nguyen, Doan
  from the conference  IEEE International Workshop on Tools for Artificial 
  Intelligence: Architectures, Languages and Algorithms;
  in  Fairfax, VA, on Oct 23-25, 1989

-- 
Mott Given @ Defense Logistics Agency ,DSAC-TMP, P.O. Box 1605,
Bldg. 27  Section 1, Systems Automation Center, Columbus, OH 43216-5002
INTERNET: mgiven@dsac.dla.mil         UUCP:  ...osu-cis!dsac!mgiven
Phone:  614-238-9431    AUTOVON: 850-9431     FAX: 614-238-3214