What Is an Ideal Logic for Reasoning with Inconsistency?
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.
Cite
Text
Arieli et al. "What Is an Ideal Logic for Reasoning with Inconsistency?." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-125Markdown
[Arieli et al. "What Is an Ideal Logic for Reasoning with Inconsistency?." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/arieli2011ijcai-ideal/) doi:10.5591/978-1-57735-516-8/IJCAI11-125BibTeX
@inproceedings{arieli2011ijcai-ideal,
title = {{What Is an Ideal Logic for Reasoning with Inconsistency?}},
author = {Arieli, Ofer and Avron, Arnon and Zamansky, Anna},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {706-711},
doi = {10.5591/978-1-57735-516-8/IJCAI11-125},
url = {https://mlanthology.org/ijcai/2011/arieli2011ijcai-ideal/}
}