What is an ideal logic for reasoning with inconsistency?

Authors:
Ofer Arieli;Arnon Avron;Anna Zamansky
Affiliations:
School of Computer Science, The Academic College of Tel-Aviv, Israel;School of Computer Science, Tel-Aviv University, Israel;School of Computer Science, Tel-Aviv University, Israel
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Year:
2011

Citing 7
Cited 3

Reasoning about truth (research note)

Artificial Intelligence
Bilattices and the semantics of logic programming

Journal of Logic Programming
Natural 3-valued logic—characterization and proof theory

Journal of Symbolic Logic
The value of the four values

Artificial Intelligence
A Logical Framework for Integrating Inconsistent Information in Multiple Databases

FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
On Strong Maximality of Paraconsistent Finite-Valued Logics

LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics

Studia Logica

Ideal Paraconsistent Logics

Studia Logica
Belief functions on distributive lattices

Artificial Intelligence
An argumentation framework for description logic ontology reasoning and management

Journal of Intelligent Information Systems

Quantified Score

Hi-index	0.00

Visualization

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.