What Is an Ideal Logic for Reasoning with Inconsistency?
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 706-710.
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.
Ofer Arieli, Arnon Avron, and Anna Zamansky. 2011. What Is an Ideal Logic for Reasoning with Inconsistency?. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 706–710. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-125
Arieli, O., Avron, A., & Zamansky, A. (2011). What Is an Ideal Logic for Reasoning with Inconsistency?. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 (pp. 706–710). IJCAI. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-125
@inproceedings{ijcai2011p125,
title = {What Is an Ideal Logic for Reasoning with Inconsistency?},
author = {Arieli, Ofer and Avron, Arnon and Zamansky, Anna},
booktitle = {Proceedings of the Twenty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-11}},
publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
editor = {Toby Walsh},
pages = {706--710},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-125},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-125},
}
TY - CPAPER TI - What Is an Ideal Logic for Reasoning with Inconsistency? AU - Arieli, Ofer AU - Avron, Arnon AU - Zamansky, Anna T2 - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 PB - AAAI Press/International Joint Conferences on Artificial Intelligence PY - 2011 SP - 706 EP - 710 DO - 10.5591/978-1-57735-516-8/IJCAI11-125 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-125 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
