Building expert systems
International Journal of Man-Machine Studies - Knowledge acquisition for knowledge-based systems, part 1. Based on an AAAI work
Research directions in object-oriented programming
Research directions in object-oriented programming
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
KITTEN: knowledge initiation and transfer tools for experts and novices
International Journal of Man-Machine Studies - Special Issue: Knowledge Acquisition for Knowledge-based Systems. Part 5
Knowledge representation and organization in machine learning
Knowledge representation and organization in machine learning
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Heuristic graph displayer for G-BASE
International Journal of Man-Machine Studies
Knowledge acquisition at the front end: defining the domain
Knowledge Acquisition
The foundations of knowledge acquisition
The foundations of knowledge acquisition
Integrating knowledge acquisition and performance systems
AI '88 Proceedings of the second Australian joint conference on Artificial intelligence
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
A philosophical basis for knowledge acquisition
Knowledge Acquisition
Proceedings of the sixth international workshop on Machine learning
Integrating a knowledge acquisition tool, an expert system shell, and a hypermedia system
International Journal of Expert Systems
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Terminological knowledge representation systems supporting N-ary terms
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Automating Knowledge Acquisition for Expert Systems
Automating Knowledge Acquisition for Expert Systems
Knowledge Acquisition Tools for Expert Systems
Knowledge Acquisition Tools for Expert Systems
Knowledge Acquisition for Knowledge-Based Systems
Knowledge Acquisition for Knowledge-Based Systems
Eliciting Knowledge and Transferring It Effectively to a Knowledge-Based System
IEEE Transactions on Knowledge and Data Engineering
COCS '91 Proceedings of the conference on Organizational computing systems
End-user knowledge manipulation systems: the speech knowledge interface
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Open architecture multimedia documents
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Active documents combining multimedia and expert systems
SIGDOC '94 Proceedings of the 12th annual international conference on Systems documentation: technical communications at the great divide
Using fuzzy repertory table-based technique for decision support
Decision Support Systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
An interactive visual language for term subsumption languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
The design and application of KRS, a knowledge representation server in the KL-ONE, KRYPTON, CLASSIC family, are described. The server is designed as an open architecture module that can be used as a stand-alone service or embedded in other systems. It accepts the constraints necessary to make subsumption and recognition tractable, and maintains a careful distinction between definitions and assertions. It is implemented as a class library in an object-oriented language using generic, reusable objects. The approach taken to the integration of the server with external knowledge representation servers of similar or dissimilar types is analyzed. The server supports reasoning with exceptions and incomplete data through computation of a three-valued subsumption relation that is able to determine the possibility of further inferences if more assertions are made. KRS demonstrates that it is now possible to develop knowledge representation servers on a par with floating-point arithmetic units and numeric libraries, as modules with well-defined functionality and fast, reliable performance. It is also proving a useful tool for the empirical investigation of some large-scale knowledge representation server applications.