Practical, object-based knowledge representation for knowledge-based systems

Abstract Object-based knowledge representation systems are systems expressly designed for representing knowledge in the form of objects and classes. These systems derive their behavior from a formal specification of the meaning of objects and classes and, because of this firm representational foundation and their increased expressive power, are better suited for providing representation services for knowledge-based systems than are object-oriented programming systems. However, object-based knowledge representation systems are hard to implement correctly, and also suffer from tractability problems. These problems can be circumvented by using a weaker semantics, resulting in practical object-based knowledge representation systems for use in knowledge-based systems.

[1]  Alan M. Frisch.  Inference without Chaining , 1987, IJCAI.

[2]  Alan M. Frisch.  Using Model Theory to Specify AI Programs , 1985, IJCAI.

[3]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[4]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[5]  PETER F. PATEL-SCHNEIDER,et al.  A hybrid, decidable, logic‐based knowledge representation system 1 , 1987, Comput. Intell..

[6]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[7]  Peter F. Patel-Schneider,et al.  A Four-Valued Semantics for Terminological Logics , 1989, Artif. Intell..

[8]  Daniel G. Bobrow,et al.  Common lisp object system specification , 1988, SIGP.

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

[10]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[11]  Thomas Kaczmarek,et al.  Recent Developments in NIKL , 1986, AAAI.

[12]  Bernhard Nebel,et al.  Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..

[13]  John Yen,et al.  The Knowledge Representation Project , 1989 .

[14]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[15]  Peter F. Patel-Schneider,et al.  Undecidability of Subsumption in NIKL , 1989, Artif. Intell..

[16]  Robert M. MacGregor,et al.  The Loom Knowledge Representation Language. , 1987 .

[17]  P. Patel-Schneider.  Small can be beautiful in knowledge representation , 1984 .

[18]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[19]  Timothy W. Finin,et al.  Interactive classification: A technique for acquiring and maintaining knowledge bases , 1984, Proceedings of the IEEE.

[20]  John Yen,et al.  Classification-Based Programming: A Deep Integration of Frames and Rules , 1989 .

[21]  Nuel D. Belnap,et al.  How a Computer Should Think , 2019, New Essays on Belnap-­Dunn Logic.