A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems

Abstract

Early attempts at combining multiple inheritance with nonmonotonic reasoning were based on straightforward extensions of tree-structured inheritance systems, and were theoretically unsound. In The Mathcmat~'cs of Inheritance Systcrns, or TMOIS, Touretzky described two problems these systems cannot handle: reasoning in the presence of true but redundant assertions, and coping with ambiguity. TMOIS provided a definition and analysis of a theoretically sound multiple inheritance system, accom-

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Inheritance Systems.Ehud Lamm - 2012 - The Stanford Encyclopedia of Philosophy (Spring 2012 Edition).
Nonmonotonic reasoning: logical foundations of commonsense.Gerhard Brewka (ed.) - 1991 - New York: Cambridge University Press.
Questioning the Causal Inheritance Principle.Ivar Hannikainen - 2010 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 25 (3):261-277.
Can Darwinian Inheritance Be Extended from Biology to Epistemology?Carla E. Kary - 1982 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:356 - 369.
Weismann rules! OK? Epigenetics and the Lamarckian temptation.David Haig - 2007 - Biology and Philosophy 22 (3):415-428.

Analytics

Added to PP
2011-01-21

Downloads
41 (#337,985)

6 months
6 (#201,673)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

John Horty
University of Maryland, College Park
Richmond Thomason
University of Michigan, Ann Arbor

Citations of this work

Foundational belief change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
Defaults with Priorities.John Horty - 2007 - Journal of Philosophical Logic 36 (4):367-413.
A Deontic Logic for Programming Rightful Machines: Kant’s Normative Demand for Consistency in the Law.Ava Thomas Wright - 2023 - Logics for Ai and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence (Lingai) and the International Workshop on Logic, Ai and Law (Lail).

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references