A description-oriented logic for building knowledge bases

We discuss the advantages of using a logic system for knowledge representation which is based on descriptions, rather than predicates, and which embodies two fundamental ideas for structuring knowledge that are distilled from semantic networks and frame-based languages: inheritance and attributions. Taxonomic reasoning on a lattice of descriptions combined with deduction strategies defined at the metalevel provide the knowledge base with the capability to deal with complex problem-solving tasks.

[1]  R. Montague,et al.  Logic : Techniques of Formal Reasoning , 1964 .

[2]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[3]  Maria Simi,et al.  Taxonomic Reasoning , 1986, ECAI.

[4]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[5]  William A Kornfeld.  Using Parallel Processing for Problem Solving , 1979 .

[6]  John Mylopoulos,et al.  Some Features of the TAXIS Data Model , 1980, VLDB.

[7]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[8]  Maria Simi,et al.  Knowledge Embedding in the Description System Omega , 1980, AAAI.

[9]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[10]  Maria Simi,et al.  Consistency and Completeness of OMEGA, a Logic for Knowledge Representation , 1981, IJCAI.

[11]  M. Simi,et al.  Semantics of Inheritance and Attributions in the Description System Omega , 1981 .

[12]  Richard W. Weyhrauch,et al.  Prolegomena to a theory of formal reasoning , 1978 .

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

[14]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[15]  Luc Steels,et al.  Reasoning Modeled As A Society Of Communicating Experts , 1979 .

[16]  Maria Simi,et al.  Metalanguage and Reasoning Across Viewpoints , 1984, ECAI.

[17]  Ronald J. Brachman,et al.  "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..

[18]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

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