Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!ames!ucbcad!ucbvax!CS.UCL.AC.UK!gjoly
From: gjoly@CS.UCL.AC.UK ("G. Joly", Birkbeck)
Newsgroups: mod.ai
Subject: Checking Rule-Based Expert Systems (Info Request).
Message-ID: <8703090624.AA04744@ucbvax.Berkeley.EDU>
Date: Sun, 8-Mar-87 02:31:01 EST
Article-I.D.: ucbvax.8703090624.AA04744
Posted: Sun Mar  8 02:31:01 1987
Date-Received: Mon, 9-Mar-87 20:02:46 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 23
Approved: ailist@sri-stripe.arpa

We are at the start of a project which is examining the area
of validation and verification of rule-based expert systems.
CHECK [1] and ONCOCIN [2] are the two major systems of which
we are aware. Are there any others? How isomorphic are rule-based
systems; can these and other techniques be applied in general?
Are any other (e.g. database) techniques applicable?

Thanks in advance for any pointers and information,
Gordon Joly,
Dept. of Computer Science,
Birkbeck College,
University of London.

ARPA: gjoly@cs.ucl.ac.uk
BITNET: UBACW59%uk.ac.bbk.cu@AC.UK
UUCP: ...{seismo,decvax,ucbvax}!mcvax!ukc!uk.ac.bbk.cs!gordon

[1] T.A.Nguyen, W.A.Perkins, T.J.Laffey and D.Pecora, "Checking
    an Expert Systems Knowledge Base for Consistency and Completeness".,
    IJCAI 1985, pp 375-378.
[2] M.Suwa, C.Scott and E.H.Shortliffe, "An Approach to Verifying 
    Completeness and Consistency in a Rule-Based Expert System",
    The AI Magazine, Fall 1982, pp 16-21.