Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!uunet!mcsun!unido!uklirb!shell
From: sweeney@cs.washington.edu (Christine Sweeney)
Newsgroups: comp.ai.shells
Subject: testing a rule-based system
Keywords: testing, verification, rule-based system
Message-ID: <7516@uklirb.informatik.uni-kl.de>
Date: 8 Feb 91 05:55:22 GMT
Sender: shell@uklirb.informatik.uni-kl.de
Organization: U of Washington, Computer Science, Seattle
Lines: 18
Approved: shell@dfki.uni-kl.de
Posted-Date: Fri Feb  8 08:53:20 GMT 1991

I have the task of testing a medical ai system which is
rule-based.  We have written our own inference engine
which does forward and backward chaining on a set of
rules.  The whole thing is in lisp.  

Does anyone know of ways to test such a system thoroughly
other than writing a bunch of tests for *many* individual
hypothetical cases?  

Can anyone recommend any books or papers on the subject of
testing and verifying ai-based systems?

Thank you.  If I recieve enough interesting responses I
will post a collection of them,

Christine Sweeney

sweeney@cs.washington.edu