Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utgpu!water!watnot!watmath!clyde!cbatt!ucbvax!HMARL5.BITNET!MFMISTAL From: MFMISTAL@HMARL5.BITNET.UUCP Newsgroups: mod.ai Subject: Completeness and consistency of rule bases Message-ID: <8703010659.AA21866@ucbvax.Berkeley.EDU> Date: Wed, 25-Feb-87 19:59:00 EST Article-I.D.: ucbvax.8703010659.AA21866 Posted: Wed Feb 25 19:59:00 1987 Date-Received: Sun, 1-Mar-87 17:39:02 EST Sender: daemon@ucbvax.BERKELEY.EDU Distribution: world Organization: The ARPA Internet Lines: 21 Approved: ailist@sri-stripe.arpa I'm interested in computer (assisted) completeness and consistency checking of rule bases. Is there someone on the net who could provide me with some references to the literature on these subjects. Both references on theoretical and practical issues are welcomed. Please, send them to me directly, I will compile a complete list for posting on the net. Jan L. Talmon Department of Medical Informatics and Statistics University of Limburg PO Box616 6200 MD Maastricht The Netherlands EARN/BITNET: MFMISTAL@HMARL5 ReSent-Date: Sat 28 Feb 87 22:38:41-PST ReSent-From: Ken Laws ReSent-To: post-ailist@UCBVAX.Berkeley.EDU.#Internet ReSent-Message-ID: <12282829697.14.LAWS@SRI-STRIPE.ARPA> 2