Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site pur-ee.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!inuxc!pur-ee!tsatsoul
From: tsatsoul@pur-ee.UUCP (C Tsatsoulis)
Newsgroups: net.ai
Subject: Knowledge base consistency
Message-ID: <3289@pur-ee.UUCP>
Date: Thu, 12-Sep-85 00:16:41 EDT
Article-I.D.: pur-ee.3289
Posted: Thu Sep 12 00:16:41 1985
Date-Received: Fri, 13-Sep-85 03:46:09 EDT
Reply-To: tsatsoul@pur-ee.UUCP (C Tsatsoulis)
Organization: Electrical Engineering Department , Purdue University
Lines: 9



	I would appreciate any reference information that could be
sent to me about theoretical and practical methods of checking for
rule and knowledge bases' consistency. I am aware of the ONCOCIN
system and methods involving Petri Net representation. 
		Thank you,
		Costas Tsatsoulis
		{ihnp4!pur-ee!tsatsoul}