Peter F. Patel-Schneider
Deborah L. McGuinness
Abstract
Our work on the CLASSIC knowledge representation system covers a broad range from theory to practice. While CLASSIC was implemented primarily to provide a simple, easy to learn and use, locally available tool for a relatively limited set of applications, it has a substantial theoretical foundation, based on a formal "terminological" logic. The logical foundation provides the semantics of a term description language, which is used to define structured concepts and make assertions about individuals in a knowledge base. These concepts and individuals are organized into a generalization hierarchy by classification and subsumption algorithms. The CLASSIC system explores the expressiveness vs. tractability tradeoff, driven by concerns of usefulness and usability in several real applications. Within this context, it embodies our views of what a knowledge representation system should
- Alex Borgida, Ronald J. Brachman, Deborah L. McGuinness, and Lori Alperin Resnick. CLASSIC: A structural data model for objects. In Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pages 59--67, June 1989. Google Scholar
Digital Library
- Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, and Alex Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In John Sowa, editor, Principles of Semantic Networks: Explorations in the representation of knowledge. Morgan-Kaufmann, San Mateo, California, 1990.Google Scholar
- Premkumar Devanbu, Ronald J. Brachman, and Peter G. Selfridge. LaSSIE---a classification-based software information system. In Proceedings of the International Conference on Software Engineering. IEEE Computer Society, 1990. Google ScholarDigital Library
- Robert M. MacGregor and Raymond Bates. The Loom knowledge representation language. Technical Report ISI/RS-87--188, Information Sciences Institute, University of Southern California, May 1987.Google Scholar
- Bernhard Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43(2):235--249, May 1990. Google ScholarDigital Library
- Bernd Owsnicki-Klewe. Configuration as a consistency maintenance task. In W. Hoeppner, editor, Proceedings of GWAI-88---the 12th German Workshop on Artificial Intelligence, pages 77--87. Springer Verlag, 1988. Google ScholarDigital Library
- Peter F. Patel-Schneider. Small can be beautiful in knowledge representation. In Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, pages 11--16, Denver, Colorado, December 1984. IEEE Computer Society. A revised and extended version is available as AI Technical Report Number 37, Schlumberger Palo Alto Research, October 1984.Google Scholar
- Christof Peltason, Albrecht Schmiedel, Carsten Kindermann, and Joachim Quantz. The BACK system revisited. KIT-Report 75, Department of Computer Science, Technische Universität Berlin, August 1989. Google ScholarDigital Library
- Lori Alperin Resnick, Alex Borgida, Ronald J. Brachman, Deborah L. McGuinness, and Peter F. Patel-Schneider. CLASSIC description and reference manual for the COMMON LISP implementation. AT&T Bell Laboratories., January 1990.Google Scholar
- Peter Selfridge. Knowledge representation support for a software information system. In IEEE Conference on Artificial Intelligence Applications. The Institute of Electrical and Electronic Engineers, February 1991.Google ScholarCross Ref
- Jon R. Wright, Elia S. Weixelbaum, Karen E. Brown, Gregg T. Vesonder, and Jay I. Berman. An expert telecommunications configurator: Support for sales, engineering, and manufacturing. In preparation., 1991.Google Scholar
Index Terms
- The CLASSIC knowledge representation system: guiding principles and implementation rationale
Recommendations
Subnormal modal logics for knowledge representation
AAAI'93: Proceedings of the eleventh national conference on Artificial intelligenceSeveral widely accepted modal nonmonotonic logics for reasoning about knowledge and beliefs of rational agents with introspection powers are based on strong modal logics such as KD45, S4.4, S4F and S5. In this paper we argue that weak modal logics, ...
The DLV system for knowledge representation and reasoning
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows one to express every property of finite structures that is decidable in the ...
Comments