Combining classification and nonmonotonic inheritance reasoning: A first step

  • Lin Padgham
  • Bernhard Nebel
Logic for Artificial Intelligence II

DOI: 10.1007/3-540-56804-2_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 689)
Cite this paper as:
Padgham L., Nebel B. (1993) Combining classification and nonmonotonic inheritance reasoning: A first step. In: Komorowski J., Raś Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol 689. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • Lin Padgham
    • 1
    • 2
  • Bernhard Nebel
    • 1
    • 2
  1. 1.Department of Computer and Information ScienceLinköping UniversityLinköpingSweden
  2. 2.German Research Center for Artificial Intelligence (DFKI)Saarbrücken 11Germany

Personalised recommendations