Efficient knowledge representation systems

Abstract

AbstractFrame systems occupy an important place among formalisms for computer-based knowledge representation. A common concern about frame systems, however, is that they are not efficient enough. We argue that this is not necessarily true of all possible systems, and that the trade-off between generality and efficiency has not been fully explored. While many systems provide generality at the expense of performance, systems closer to the low end of the spectrum have not been investigated nearly as much. Those systems are well suited for applications that need flexible knowledge representation but cannot afford the high performance price.We describe in detail KR, a very efficient frame system that provides mechanisms for knowledge representation including user-defined inheritance and relations, object-oriented programming, and constraint maintenance. The system is simple and compact and does not include some of the more complex functionality, but it is highly optimized and offers excellent performance for a variety of applications.