---
title: "A Semantical Approach to Stable Inheritance Reasoning"
authors:
  - "Craig Boutilier"
doi: ""
url: "https://ijcai.org/proceedings/1989/182"
pdf: "https://ijcai.org/proceedings/1989/0182.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "1134-1138"
track: "Commonsense Reasoning"
keywords:
---

# A Semantical Approach to Stable Inheritance Reasoning

Craig Boutilier

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 1134-1138.

## Abstract

Inheritance reasoning has frequently been characterized by algorithms designed to operate on inheritance networks, or collections of links. While the intended meaning of links in a network is understood, formal semantic accounts of such networks are somewhat troublesome, as are semantic accounts of the inference process. We suggest that links be interpreted as sentences in the conditional logic E, providing a formal interpretation for such networks. Furthermore, we develop a semantic characterization of inheritance reasoning based on the technique of minimal (or preferred) models. In the process, we identify a key difference between this characterization of inference in networks and those based on the notion of inferential distance, specifically with respect to stability