@techreport{R-90-09,
TITLE = {A Correspondence between Inheritance Hierarchies and a Logic of Preferential Entailment},
AUTHOR = {Patrick Doherty},
YEAR = {1990},
NUMBER = {R-90-09},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-90-09+abstr},
ABSTRACT = {In this paper we show a correspondence between network representations for structured hierarchies with multiple inheritance and exceptions, and a logic of preferential entailment (LPE), defined using a preference ordering on partial situations. The preference ordering on situations is part of the model, so that axioms can make statements about it and thereby constrain it. We describe a general translation scheme mapping non-monotonic, heterogeneous, multiple inheritance systems into LPE. We distinguish between a base set of axioms and a specificity set. This distinction permits experimentation with different inheritance theories, such as credulous or skeptical reasoners, within the same logic. We model a skeptical theory of inheritance and show this by example through axiomatization of inheritance networks with pre-emption, redundant links and ambiguity.},
IDANR = {LiTH-IDA-R-90-09},
NOTE = {Also in Proc. of 4th International Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina, October 1989. Also published in Z. Ras et al. (eds), Methodologies for Intelligent Systems, 1989}