skip to main content
10.1145/800227.806889acmconferencesArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article
Free Access

Default reasoning and inheritance mechanisms on type hierarchies

Published:23 June 1980Publication History

ABSTRACT

Type hierarchies abound in Artificial Intelligence, Data Bases and Programming Languages. Although their size, use and complexity differs, all share a central inference mechanism: Inheritance of information, their raison d'etre. This paper discusses various types of type hierarchies and inheritance mechanisms, concluding with a proposed generalized inheritance mapping approach to resolve issues of lateral and upward inheritance (to augment the traditional downward approach), as well as default reasoning and limited non-monotonic inference.

References

  1. 1.Brachman, R.J., Bobrow, R.J., Cohen, P. R., Klovstad, J.W., Webber, B.L. and Woods, W.A., "Research in Natural Language Understanding," Tech. Report 4274, Bolt Beranek and Newman, 1979.Google ScholarGoogle ScholarCross RefCross Ref
  2. 2.Carbonell, J.R., "AI in CAI: An Artificial Intelligence Approach to Computer-Aided Instruction," IEEE Trans. on Man-Machine Systems, Vol. 11, 1970, pp. 190-202.Google ScholarGoogle ScholarCross RefCross Ref
  3. 3.Carbonell, J. G., "Towards a Process Model of Human Personality Traits," Artificial Intelligence, Vol. (in press), 1980.Google ScholarGoogle Scholar
  4. 4.Collins, A., Warnock, E.H., Aiello, N. and Miller, M.L., "Reasoning from Incomplete Knowledge," in Representation and Understanding, Bobrow, D.G. and Collins, A., ed., New York: Academic Press Inc, 1975, pp. 383-415.Google ScholarGoogle Scholar
  5. 5.Fahlman, S. E., NETL: A System for Representing and Using Real World Knowledge, MIT Press, 1979.Google ScholarGoogle Scholar
  6. 6.Fox, M.S., "On Inheritance in Knowledge Representation," Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979 , pp. 282-284.Google ScholarGoogle Scholar
  7. 7.Hendrix, G., "Expanding The Utility of Semantic Networks Through Partitioning," Proceedings of the Fourth International Joint Conference on Artificial Intelligence, 1975.Google ScholarGoogle Scholar
  8. 8.McDermott, D.V. and Doyle J., "Non-Monotonic Logic I," Artificial Intelligence, Vol. 13, 1980, pp. 41-72.Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.Quillian, M.s R., "Semantic Memory," in Semantic Information Processing, Minsky, M., ed., MIT Press, 1968.Google ScholarGoogle Scholar
  10. 10.Reiter, R., "A Logic For Default Reasoning," Artificial Intelligence, Vol. 13, 1980, pp. 81-132.Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Default reasoning and inheritance mechanisms on type hierarchies

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
        June 1980
        221 pages
        ISBN:0897910311
        DOI:10.1145/800227
        • cover image ACM SIGPLAN Notices
          ACM SIGPLAN Notices  Volume 16, Issue 1
          Proceedings of the workshop on Data abstraction, databases and conceptual modelling
          Jan 1981
          205 pages
          ISSN:0362-1340
          EISSN:1558-1160
          DOI:10.1145/960124
          Issue’s Table of Contents
        • cover image ACM SIGMOD Record
          ACM SIGMOD Record  Volume 11, Issue 2
          Proceedings of the workshop on Data abstraction, databases and conceptual modelling
          Feb 1981
          205 pages
          ISSN:0163-5808
          DOI:10.1145/960126
          Issue’s Table of Contents
        • cover image ACM SIGART Bulletin
          ACM SIGART Bulletin Just Accepted
          Proceedings of the workshop on Data abstraction, databases and conceptual modelling
          Jan 1981
          205 pages
          ISSN:0163-5719
          DOI:10.1145/960128
          Issue’s Table of Contents

        Copyright © 1980 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 23 June 1980

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader