Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!cbatt!ucbvax!AERO2.AERO.ORG!mcguire
From: mcguire@AERO2.AERO.ORG.UUCP
Newsgroups: mod.ai
Subject: Re: Checking Rule-Based Expert Systems (Info Request).
Message-ID: <8703092250.AA12102@aero2.aero.org>
Date: Fri, 13-Mar-87 13:35:07 EST
Article-I.D.: aero2.8703092250.AA12102
Posted: Fri Mar 13 13:35:07 1987
Date-Received: Sat, 14-Mar-87 10:21:27 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The Aerospace Corporation, El Segundo, CA
Lines: 19
Approved: ailist@sri-stripe.arpa


We have been working in this area for a while.  In addition to checking
for completeness and consistency we analyze a rule-base for the
"effectiveness" of its information. It is possible for rules or
distinctions to appear to have meaning, but through faulty interaction
they wind up never influencing the answers the system gives.  This sort
of interference is unbounded in scope. We have developed propagation
style algorithms for finding ineffective information in simple types of
rule bases.

A paper on this work is almost ready for release. I can mail out copies
then.

  Roderick McGuire
  The Aerospace Corporation
  Box 92957
  Los Angeles, CA 90009

  ARPA: mcguire@aerospace.aero.org