---
title: "Circumscribing Inconsistency"
authors:
  - "Philippe Besnard"
  - "Torsten Schaub"
doi: ""
url: "https://ijcai.org/proceedings/1997/23"
pdf: "https://ijcai.org/proceedings/1997/0023.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "150-154"
track: "Automated Reasoning"
keywords:
---

# Circumscribing Inconsistency

Philippe Besnard, Torsten Schaub

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 150-154.

## Abstract

We present a new logical approach to reasoning from inconsistent information. The idea is to restore modelhood of inconsistent formulas by providing a third truth-value tolerating inconsistency. The novelty of our approach stems first from the restriction of entailment to three-valued models as similar as possible to two-valued models and second from an implication connective providing a notion of restricted monotonicity. After developing the semantics, we present a corresponding proof system that relies on a circumscription schema furnishing the syntactic counterpart of model minimization.