---
title: "What Is an Ideal Logic for Reasoning with Inconsistency?"
authors:
  - "Ofer Arieli"
  - "Arnon Avron"
  - "Anna Zamansky"
doi: "10.5591/978-1-57735-516-8/IJCAI11-125"
url: "https://ijcai.org/proceedings/2011/125"
pdf: "https://ijcai.org/proceedings/2011/0125.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "706-710"
track: ""
keywords:
---

# What Is an Ideal Logic for Reasoning with Inconsistency?

Ofer Arieli, Arnon Avron, Anna Zamansky

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 706-710. DOI: [10.5591/978-1-57735-516-8/IJCAI11-125](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-125)

## Abstract

Many AI applications are based on some underlying logic that tolerates inconsistent information in a non-trivial way. However, it is not always clear what should be the exact nature of such a logic, and how to choose one for a specific application. In this paper, we formulate a list of desirable properties of `ideal' logics for reasoning with inconsistency, identify a variety of logics that have these properties, and provide a systematic way of constructing, for every n > 2, a family of such n-valued logics.