Title :
Control of inconsistency and redundancy in Prolog-type knowledge bases
Author :
Murray, Thomas J. ; Tanniru, Mohan R.
Author_Institution :
Sch. of Manage., Syracuse Univ., NY, USA
Abstract :
A methodology is discussed for analyzing the contents of a Prolog-type knowledge base and eliminating inconsistent and redundant logical elements. A graphical representation of the logic required to infer a goal, called the goal-facts network, is introduced, and the identification of inconsistency in that network is described. Two alternatives, Boolean algebra and the Karnaugh map, are presented as tools to identify and to examine redundancy.<>
Keywords :
expert systems; formal logic; knowledge engineering; Boolean algebra; Karnaugh map; Prolog-type knowledge bases; goal-facts network; graphical representation; inconsistency; logical elements; redundancy; Boolean algebra; Expert systems; Inference mechanisms; Knowledge based systems; Knowledge management; Knowledge representation; Logic; Production systems; Testing;
Conference_Titel :
System Sciences, 1988. Vol.III. Decision Support and Knowledge Based Systems Track, Proceedings of the Twenty-First Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI, USA
Print_ISBN :
0-8186-0843-9
DOI :
10.1109/HICSS.1988.11918
