Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!fub!uniol!unido!uklirb!shell
From: bernus@batserver.cs.uq.oz.au (Peter Bernus)
Newsgroups: comp.ai.shells
Subject: Re: testing a rule-based system
Message-ID: <7578@uklirb.informatik.uni-kl.de>
Date: 19 Feb 91 22:54:02 GMT
References: <7516@uklirb.informatik.uni-kl.de>
Sender: shell@uklirb.informatik.uni-kl.de
Reply-To: bernus@batserver.cs.uq.oz.au
Organization: Computer Science Department, The University of Queensland, Brisbane, Australia
Lines: 25
Approved: shell@dfki.uni-kl.de
Posted-Date: Wed Feb 20 15:16:12 GMT 1991

In article <7516@uklirb.informatik.uni-kl.de> sweeney@cs.washington.edu
(Christine Sweeney) writes:


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


see
Mark Bezem: Consistency of Rule Based Systems
CWI report CS-R8736

(I think he is bezem@cwi.nl but the postal address is
definitely 

%I Centrum voor Wiskunde en Informatica
%A Kruislaan 413
%A 1098 SJ Amsterdam
%C the Netherlands

fax: +31-20-592.4199
)

Peter Bernus