Skip to main content
Log in

Multiple inheritance systems with exceptions

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

Abstract

This paper discusses some problems that arise in knowledge-based intelligent systems using property inheritance as the principal inference mechanism. A few methods that deal with those problems are presented here. They are divided into three groups: those that are based on different forms of non-monotonic logics, algebraic structures, and connectionist networks. Implementational issues concerning inheritance systems are considered with the special emphasis put on parallel methods of computation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Bobrow, D. G. & Winograd, T. (1977) An overview of KRL, a knowledge representation language, Cognitive Science, 1, 3–46.

    Google Scholar 

  • Brachman, R. J. (1985) “I lied about the trees” or, defaults and defintions in knowledge representation, The AI Magazine, 6, 80–93.

    Google Scholar 

  • Brewka, G. (1987) The logic of inheritance in frame systems. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Cottrell, G. W. (1985) Parallelism in inheritance hierarchies with exceptions. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Etherington, D. W. & Reiter, R. (1983) On inheritance hierarchies with exceptions. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Clif.

    Google Scholar 

  • Etherington, D. W. (1987a) Formalizing nonmonotonic reasoning systems, Artificial Intelligence, 31, 41–85.

    Google Scholar 

  • Etherington, D. W. (1987b) Reasoning from Incomplete Information, Pitman Research Notes in Artificial Intelligence, Pitman Publishing, London.

    Google Scholar 

  • Etheirington, D. W. (1987c) More on inheritance hierarchies with exceptions: default theories and inferential distance. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Fahlman, S. E. (1979) NETL: A System for Representing and Using Real-Word Knowledge. MIT Press, Cambridge, Mass.

    Google Scholar 

  • Fahlman, S. E., Touretzky, D. S. & van Roggen, W. (1981) Cancellation in a parallel semantic network. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Findler, N. V. (ed) (1979) Associative Networks: Representation and Use of Knowledge by Computers. Academic Press, New York.

    Google Scholar 

  • Ginsberg, M. L. (1984) Non-monotonic reasoning using Dempster's rule. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Ginsberg, M. L. (1985) Does probability have a place in non-monotonic reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Ginsberg, M. L. (1988) Readings in Nonmonotonic Reasoning, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Hayes, P. J. (1977) In defense of logic. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Horty, J. F., Thomason, R. H. & Touretzky, D. S. (1987) A skeptical theory of inheritance in nonmonotonic semantic networks. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Horty, J. F. & Thomason, R. H. (1988) Mixing strict and defeasible inheritance. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Lifschitz, V. (1984) Some results on circumscription. In Proceedings of the AAAI Workshop on Non-Monotonic Reasoning, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Lifschitz, V. (1986) Pointwise circumscription: Preliminary report. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • McCarthy, J. (1977) Epistemological problems of artificial intelligence. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • McCarthy, J. (1980) Circumscription — a form of non-monotonic reasoning, Artificial Intelligence, 13, 27–39.

    Google Scholar 

  • McCarthy, J. (1986) Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, 28, 89–116.

    Google Scholar 

  • McClelland, J. L. & Rumelhart, D. E. (eds) (1986) Parallel Distributed Processing: Psychological and Biological Models, Volume 2, Bradford Books, Cambridge, Mass.

    Google Scholar 

  • Quillian, M. R. (1968) Semantic Memory. In Semantic Information Processing, Minsky (ed), MIT Press, Cambridge, Mass.

    Google Scholar 

  • Padgham, L. (1988) A model and representation for type information and its use in reasoning with defaults. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Poole, D. L. (1985) On the comparison of theories: preferring the most specific explantion. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Reiter, R. (1980) A logic for default reasoning, Artificial Intelligence, 13, 81–132.

    CAS  PubMed  Google Scholar 

  • Reiter, R. & Criscuolo, G. (1983) Some representational issues in default reasoning, International Journal on Computational Mathematics, 9, 1–13.

    Google Scholar 

  • Rich, E. (1983) Default reasoning as a likelihood reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Roberts, R. B. & Goldstein, I. P. (1977) The FRL Manual, Technical Report 409, MIT Artificial Intelligence Laboratory, Cambridge, Mass, USA.

    Google Scholar 

  • Rumelhart, D. E. & McClelland, J. L. (eds) (1986) Parallel Distributed Processing: Foundations, Volume 1, Bradford Books, Cambridge, Mass.

    Google Scholar 

  • Rychlik, P. (1985) The use of modal default reasoning in information systems, International Journal of Man-Machine Studies, 22, 507–522.

    Article  CAS  PubMed  Google Scholar 

  • Sandewall, E. (1986) Non-monotonic inference rules for multiple inheritance with exceptions. Proceedings of the IEEE, 74, 1345–1353.

    Google Scholar 

  • Shastri, L. & Feldman, J. A. (1985) Evidential reasoning in semantic networks: a formal theory. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Shastri, L. (1986) Evidential reasoning in semantic networks: a formal theory and its parallel implementation, PhD Thesis, Department of Computer Science, The University of Rochester, Rochester, NY, USA.

    Google Scholar 

  • Touretzky, D. S. (1984) Implicit ordering of defaults. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Touretzky, D. S. (1986) The Mathematics of Inheritance Systems, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Touretzky, D. S., Horty, J. F. & Thomason, R. M. (1987) A clash of intuitions: the current state of nonmonotonic multiple inheritance systems. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rychlik, P. Multiple inheritance systems with exceptions. Artif Intell Rev 3, 159–176 (1989). https://doi.org/10.1007/BF00128780

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00128780

Keywords

Navigation