The role of frame-based representation in reasoning
Communications of the ACM
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
The common Lisp object system metaobject kernel: a status report
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Lisp machine manual
Hi-index | 0.01 |
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable advantages and provide features that make them really suitable to represent knowledge. However, our practical experience in using these techniques for knowledge representation led us to discover that object-oriented systems also present serious drawbacks, essentially due to their lack of expressive power. These drawbacks can really be felt when modelling domains characterized by a wide variety of knowledge. This paper introduces the notion of Representation Cluster, which allows to provide any object-oriented system with customizable knowledge representation formalisms. These formalisms enable to express and handle diverse kinds of knowledge using only their natural high-level properties. Such an approach speeds up knowledge bases development, makes them clearer, natural, and avoids a great deal of code writing. Its advantages are illustrated on two realistic examples extracted from the knowledge representation system of an expert system shell dedicated to real-time network troubleshooting.