Control of inconsistency and redundancy in Prolog-type knowledge bases

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.<<ETX>>

[1]  John J. Sviokla.  Business implications of knowledge-based systems , 1986, Data Base.

[2]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[3]  A. Terry Bahill,et al.  Lessons learned building expert systems , 1988 .

[4]  J. David Irwin,et al.  An Introduction to Computer Logic , 1974 .

[5]  John J. Sviokla.  Business implications of knowledge-based systems , 1986, Data Base.

[6]  Yue Kang,et al.  A tool for detecting expert-system errors , 1989 .

[7]  Chris Culbert,et al.  Approaches to the verification of rule-based expert systems , 1987 .

[8]  E. McCluskey.  Minimization of Boolean functions , 1956 .

[9]  Dana S. Nau,et al.  Expert computer systems , 1983, Computer.

[10]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[11]  Harold J. Steudel,et al.  A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems , 1987, Int. J. Man Mach. Stud..

[12]  Donald A. Waterman,et al.  A Guide to Expert Systems , 1986 .

[13]  Elaine Kant,et al.  Programming expert systems in OPS5 , 1985 .

[14]  J. P. Gallager.  Knowledge systems for business , 1990 .

[15]  Willard Van Orman Quine,et al.  A Way to Simplify Truth Functions , 1955 .

[16]  Chris Culbert,et al.  An expert system development methodology that supports verification and validation , 1989 .

[17]  M. Karnaugh.  The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[18]  Willard Van Orman Quine,et al.  The Problem of Simplifying Truth Functions , 1952 .

[19]  Arnie Kwong,et al.  Fall Joint Computer Conference , 1987, Data Base.