Knowledge Base Development in a Standard Framework

In the ESPRIT Project P440 (Message Passing Architecture and Description Systems) several aspects of knowledge representation have been explored: formalisms, languages, techniques. The most significant techniques developed within the project are: taxonomic reasoning, meta level strategies and concurrent object oriented programming. These techniques are embedded in the systems developed in the project: Omega, KRS and DELPHI Common LISP. As a generalization of our experience in building knowledge based systems, we present a framework which provides a range of tools for building knowledge base applications. The framework is conceived so that industrial standards are selected where appropriate and areas where standard are missing are highlighted.

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

[2]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[3]  Marc B. Vilain,et al.  The Restricted Language Architecture of a Hybrid Representation System , 1985, IJCAI.

[4]  James Gettys,et al.  The X window system , 1986, TOGS.

[5]  Moshé M. Zloof.  Query by example , 1975, AFIPS '75.

[6]  Richard P. Gabriel.  The common LISP object system , 1989 .

[7]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

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

[9]  Peter Szolovits,et al.  Representing Medical Knowledge in a Terminological Language is Difficult , 1988 .

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

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

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

[13]  G. Attardi,et al.  A description-oriented logic for building knowledge bases , 1986, Proceedings of the IEEE.

[14]  Ira P. Goldstein,et al.  The FRL Manual , 1977 .

[15]  Giuseppe Attardi,et al.  Metalevel Programming in CLOS , 1989, ECOOP.

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