TY - GEN
T1 - What is an ideal logic for reasoning with inconsistency?
AU - Arieli, Ofer
AU - Avron, Arnon
AU - Zamansky, Anna
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84878274099&partnerID=8YFLogxK
U2 - 10.5591/978-1-57735-516-8/IJCAI11-125
DO - 10.5591/978-1-57735-516-8/IJCAI11-125
M3 - Conference contribution
AN - SCOPUS:84878274099
SN - 9781577355120
T3 - IJCAI International Joint Conference on Artificial Intelligence
SP - 706
EP - 711
BT - IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence
T2 - 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
Y2 - 16 July 2011 through 22 July 2011
ER -