IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Fri, 20 Jan 2017 10:54:39

Doherty, P. (1990). A Correspondence between Inheritance Hierarchies and a Logic of Preferential Entailment. Technical Report LiTH-IDA-R-90-09, Department of Computer and Information Science, Linköping University, Sweden. 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. (bibtex),

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.

Goto (at Linköping University): CS Dept TR Overview