Knowledge Systems: Principles and Practice

We describe what is expected of a knowledgebased expert system, and the components from which such a system is constructed. We give a view of how an interplay between principles and practice has helped the knowledge system field to develop, and we give simple examples to show that reasoning techniques based on formal logic are now starting to provide a useful coupling between scientific and engineering work in the field. The examples are about logic programming, knowledge representation, judgmental reasoning, and about three methods by which a system can acquire the knowledge it needs.

[1]  Douglas B. Lenat,et al.  Why AM and EURISKO Appear to Work , 1984, Artif. Intell..

[2]  Claus-Rainer Rollinger,et al.  The Discovery of the Equator or Concept Driven Learning , 1983, IJCAI.

[3]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[4]  Hans Diel,et al.  An Experimental Computer Architecture Supporting Expert Systems and Logic Programming , 1986, IBM J. Res. Dev..

[5]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[6]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[7]  Alain Colmerauer,et al.  Metamorphosis Grammars , 1978, Natural Language Communication with Computers.

[8]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[9]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[10]  P. Hirsch. M. Meier.  PRISM: PRototype Inference SysteM , 1899 .

[11]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[12]  Michael J. Maher,et al.  The Denotational Semantics of Horn Clauses as a Production System , 1983, AAAI.

[13]  J. A. Robinson,et al.  Logic, form and function , 1979 .

[14]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

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

[16]  Steven Snyder,et al.  Interfaces for Knowledge-Base Builders' Control Knowledge and Application-Specific Procedures , 1986, IBM J. Res. Dev..

[17]  John F. Sowa,et al.  Implementing a Semantic Interpreter Using Conceptual Graphs , 1986, IBM J. Res. Dev..

[18]  John McCarthy,et al.  LISP 1.5 Programmer's Manual , 1962 .

[19]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[20]  Alan Bundy,et al.  Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation , 1980, CADE.

[21]  William F. Eddy,et al.  Structures of Rule-Based Belief Functions , 1986, IBM J. Res. Dev..

[22]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[23]  Marie-Claude Landau,et al.  Conceptual Graphs for Semantics and Knowledge Processing , 1986, IBM J. Res. Dev..

[24]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[25]  Herbert A. Simon,et al.  WHY SHOULD MACHINES LEARN , 1983 .

[26]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[27]  Craig William Fellenstein,et al.  A Prototype Manufacturing Knowledge Base in Syllog , 1985, IBM J. Res. Dev..

[28]  Peter van Emde Boas,et al.  Storing and Evaluating Horn-Clause Rules in a Relational Database , 1986, IBM J. Res. Dev..

[29]  Adrian Walker,et al.  On Retrieval from a Small Version of a Large Data Base , 1980, VLDB.

[30]  Koichi Furukawa,et al.  A Methodology for Implementation of a Knowledge Acquisition System , 1984, SLP.

[31]  J. Ross Quinlan,et al.  Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .

[32]  Adrian Walker,et al.  Some Practical Properties of Logic Programming Interpreters , 1984, FGCS.

[33]  Daniel G. Bobrow,et al.  Knowledge Programming in Loops: Report on an Experimental Course , 1983, AI Mag..

[34]  David A. Klein,et al.  A Continuous Real-Time Expert System for Computer Operations , 1986, IBM J. Res. Dev..

[35]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[36]  Joxan Jaffar,et al.  Completeness of the Negation as Failure Rule , 1983, IJCAI.

[37]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[38]  Alan Bundy,et al.  Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation , 1980, Artif. Intell..

[39]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[40]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[41]  Wolfgang Schönfeld,et al.  A Theory for the Representation of Knowledge , 1986, IBM J. Res. Dev..

[42]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[43]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[44]  Douglas B. Lenat,et al.  The Role of Heuristics in Learning by Discovery: Three Case Studies , 1983 .

[45]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[46]  Bruce G. Buchanan,et al.  Dendral and Meta-Dendral: Their Applications Dimension , 1978, Artif. Intell..