---
title: "Inaccessible Worlds and Irrelevance: Preliminary Report"
authors:
  - "Craig Boutilier"
doi: ""
url: "https://ijcai.org/proceedings/1991/62"
pdf: "https://ijcai.org/proceedings/1991/0062.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "413-417"
track: "Knowledge Representation"
keywords:
---

# Inaccessible Worlds and Irrelevance: Preliminary Report

Craig Boutilier

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 413-417.

## Abstract

Recently, the relationship between several forms of default reasoning based on conditional defaults has been investigated. In particular, the systems based on £-semantics, preferential models, and (fragments of) modally-defined, conditional logics have been shown to be equivalent. These systems form a plausible core for default inference, but are too weak in general, failing to deal adequately with irrelevance. We propOse an extension of the (modal) conditional logics in which one can express the truth of sentences at inaccessible possible worlds and show how this logic can be used to axiomatize a simple preference relation on the modal structures of this logic. This preferential semantics is shown to be equivalent to !-entailment and rational closure. We suggest that many metalogical systems of default inference can be axiomatized within this logic, using the notion of inaccessible worlds.