[net.ai] Knowledge base consistency

tsatsoul@pur-ee.UUCP (C Tsatsoulis) (09/12/85)

	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}