Combining classification and nonmonotonic inheritance reasoning: A first step
Purchase on Springer.com
$29.95 / €24.95 / £19.95*
* Final gross prices may vary according to local VAT.
The formal analysis of semantic networks and frame systems led to the development of nonmonotonic inheritance networks and terminological logics. While nonmonotonic inheritance networks formalize the notion of default inheritance of typical properties, terminological logics formalize the notion of defining concepts and reasoning about definitions. Although it seems to be desirable to (re-)unify the two approaches, such an attempt has not been made until now. In this paper, we will make a first step into this direction by specifying a nonmonotonic extension of a simple terminological logic.
- F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. In Nebel et al. ,. pages 306–317.
- R. J. Brachman. 'I lied about the trees’ or, defaults and definitions in knowledge representation. The AI Magazine, 6(3):80–93, 1985.
- J. Doyle and R. S. Patil. Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence, 48(3):261–298, Apr. 1991.
- J. F. Horty and R. H. Thomason. Boolean extsionsins to inheritance networks. In Proceedings of the 8th National Conference of the American Association for Artificial Intelligence, pages 633–639, Boston, MA, Aug. 1990. MIT Press.
- J. F. Horty, R. H. Thomason, and D. S. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks. In Proceedings of the 6th National Conference of the American Association for Artificial Intelligence, pages 358–363, Seattle, WA, July 1987.
- R. MacGregor. The evolving technology of classification-based knowledge representation systems. In J. F. Sowa, editor, Principles of Semantic Networks, pages 385–400. Morgan Kaufmann, San Mateo, CA, 1991.
- D. Makinson and K. Schlechta. Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets. Artificial Intelligence, 48(2):199–211, Mar. 1991.
- B. Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43:235–249, 1990.
- B. Nebel, W. Swartout, and C. Rich, editors. Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference, Cambridge, MA, Oct. 1992. Morgan Kaufmann.
- L. Padgham. Non-Monotonic Inheritance for an Object-Oriented Knowledge Base. PhD thesis, University of Linköping, Linköping, Sweden, 1989. Linköping Studies in Science and Technology. Dissertations No. 213.
- L. Padgham. Defeasible inheritance: A lattice based approach. Computers and Mathematics with Applications, 23(6–9):527–541, 1992. Special Issue on Semantic Nets.
- P. F. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W. S. Mark, D. McGuinness, B. Nebel, A. Schmiedel, and J. Yen. Term subsumption languages in knowledge representation. The AI Magazine, 11(2):16–23, 1990.
- J. Quantz and V. Royer. A preference semantics for defaults in terminological logics. In Nebel et al. ,. pages 294–305.
- J. G. Schmolze and R. J. Brachman, editors. Proceedings of the 1981 KL-ONE Workshop, Cambridge, MA, 1982. Bolt, Beranek, and Newman Inc. BBN Report No. 4842.
- T. Zhang and L. Padgham. A diagnosis system using inheritance in an inheritance net. In Proceedings of the Fifth International Symposium on Methodologies for Intelligent systems, Knoxville, TN, Oct. 1990. North-Holland.
- Combining classification and nonmonotonic inheritance reasoning: A first step
- Book Title
- Methodologies for Intelligent Systems
- Book Subtitle
- 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
- pp 132-141
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series Subtitle
- Lecture Notes in Artificial Intelligence
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Additional Links
- Industry Sectors
- eBook Packages
- Author Affiliations
- 1. Department of Computer and Information Science, Linköping University, S-581 83, Linköping, Sweden
- 2. German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-6600, Saarbrücken 11, Germany
To view the rest of this content please follow the download PDF link above.