Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!unido!uklirb!shell
From: timm@runx.oz.au (Tim Menzies)
Newsgroups: comp.ai.shells
Subject: Re: testing a rule-based system
Keywords: testing, verification, rule-based system
Message-ID: <7560@uklirb.informatik.uni-kl.de>
Date: 14 Feb 91 08:08:25 GMT
References: <7516@uklirb.informatik.uni-kl.de>
Sender: shell@uklirb.informatik.uni-kl.de
Organization: RUNX Un*x Timeshare.  Sydney, Australia.
Lines: 17
Approved: shell@dfki.uni-kl.de
Posted-Date: Mon Feb 18 08:36:10 GMT 1991

In article <7516@uklirb.informatik.uni-kl.de> sweeney@cs.washington.edu (Christine Sweeney) writes:
>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
B
>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?  
>

An approach to verifying  completeness and consistentcy  in a rule-based
expert system

Suwa. M, Carlisle Scott A, Shortliffe E.H. , Technical report,  Dept of
Computer Science, Stanford University,  August 1982.