Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Inheritance systems with exceptions

  • 33 Accesses

Abstract

In this paper, we are interested in the representation and management of multiple inheritance systems with exceptions in both semantic networks and object-oriented languages. Exception management raises different problems, particularly in the presence of contradictions. Three types of contradictions, which constitute the problematics of exception management, may be identified. The different methods used to solve these contradictions are presented; two approaches in particular are underscored: a logic approach and an algebraic approach.

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

References

  1. Brachman, R. J. (1985). ‘I Lied about the Trees’, Or, Defaults and Definitions in Knowledge Representation.AI Magazine 6(3): 80–93.

  2. Duncournau, R. & Habib, M. (1991). Masking and Conflicts or to Inherit is not to Own!. In Lenzerini (ed.),Inheritance Hierarchies in Knowledge Representation and Programming Languages, 223–244. John Wiley.

  3. Etherington, D. W. (1987d). More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance. In Proceedings ofThe AAAI, 352–357. Morgan Kaufmann: Los Altos, California.

  4. Etherington, D. W. (1987a). A Semantics for Default Logic. In Proceedings ofThe IJCAI, Milano, Italy.

  5. Etherington, D. W. (1987b). Relating Default Logic and Circumscription. In Proceedings ofThe 10th IJCAI, 489–494. Milano, Italy.

  6. Etherington, D. W. (1987c). Formalizing Nonmonotonic Reasoning Systems.Artificial Intelligence 31: 41–85.

  7. Etheringtion, D. W. (1987d). More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance. In Proceedings ofThe AAAI, 352–357. Morgan Kaufmann: Los Altos, California.

  8. Fahlman, S. E. (1979).NETL: A System for Representing and Using Real-World Knowledge. MIT Press: Cambridge, MA.

  9. Fahlman, S. E., Touretzky, D. S. & Van Roggen, W. (1981). Cancellation in a Parallel Semantic Network. In Proceedings ofThe 7th IJCAI, 257–263. Vancouver, Canada.

  10. Garlatti, S. (1991). Inheritance of Properties and Default Logic. In Proceedings ofThe First World Conference on the Fundamentals of Artificial Intelligence, 119–210. France, Paris.

  11. Horty, J. F., Thomason, R. H. & Touretzky, D. S. (1987). A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. In Proceeding ofThe AAAI'87, 358–363. Seattle, Washington.

  12. Horty, J. F., Thomason, R. H. & Touretzky, D. S. (1990). A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.Artificial Intelligence 42: 311–348.

  13. Horty, J. F. (1990). A Credulous Theory of Mixed Inheritance. In Lenzerini (ed.),Inheritance Hierarchies in Knowledge Representation and Programming Languages, 223–244. John Wiley.

  14. Neufeld, E. (1991). Notes on ‘A Clash of Intuitions’,Artificial Intelligence 48(2): 225–240.

  15. Oussalah, C., Giambiasi, N. & Torrès, L. (1991). A Formal Model for Solving Inheritance Conflicts. In Proceedings ofThe 4th ISAI, 557–564. Cancun, Mexico.

  16. Oussalah, C., Magnan M. & Torrès, L. (1992). A Method for the Management of Exceptions in Multiple Inheritance Systems;4th IEEE Conference on Tools with Artificial Intelligence, 222–229. Washington D.C., USA.

  17. Reiter, R. (1980). A Logic for Default Reasoning.Artificial Intelligence 13(1, 2): 81–132.

  18. Rychlik, P. (1989). Multiple Inheritance Systems with Exceptions.Artificial Intelligence Review 3(2, 3): 159–176.

  19. Sandewall, E. (1986). Nonmotonic Inference Rules for Multiple Inheritance with Exceptions. In Proceedings ofThe IEEE 74(10): 1345–2353.

  20. Selman, B. & Levesque, H. J. (1991). The Tractability of Path-based Inheritance. In Lenzerini (ed.),Inheritance Hierarchies in Knowledge Representation and Programming Languages, 223–244. John Wiley.

  21. Stein, L. A. (1991). Computing Skeptical Inheritance, In Lenzerini (ed.),Inheritance Hierarchies in Knowledge Representation and Programming Languages, 223–244. John Wiley.

  22. Thomason, R. H. (1992). NETL and Subsequent Path-based Inheritance Theories.Computer Math. Applic. 23(2–5): 179–204.

  23. Touretzky, D. S. (1984). Implicit Ordering of Defaults in Inheritance Systems.Proc. Nat. Conf. on Artificial Intelligence, 322–325.

  24. Touretzky, D. S. (1986). The Mathematics of Inheritance Systems. Los Altos, California: Morgan Kaufman Publishers.

  25. Touretzky, D. S., Horty, J. F. & Thomason, R. H. (1987). A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. In Proceedings ofThe 10th IJCAI, 476–482. Milano, Italy.

Download references

Author information

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Magnan, M., Oussalah, C. Inheritance systems with exceptions. Artif Intell Rev 7, 421–443 (1993). https://doi.org/10.1007/BF00849934

Download citation

Key Words

  • exceptions
  • default logic
  • shortest-path algorithm
  • on-path/off-path preemption
  • credulous/skeptical reasoning
  • object-object exceptions
  • object-property exceptions