DocumentCode
3357736
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
Volume
3
fYear
1988
fDate
0-0 1988
Firstpage
280
Lastpage
285
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/HICSS.1988.11918
Filename
11918
Link To Document