{"type":"ScholarlyArticle","title":"What Is an Ideal Logic for Reasoning with Inconsistency?","authors":[{"name":"Ofer Arieli","slug":"ofer-arieli","given":"Ofer","family":"Arieli","affiliation":""},{"name":"Arnon Avron","slug":"arnon-avron","given":"Arnon","family":"Avron","affiliation":""},{"name":"Anna Zamansky","slug":"anna-zamansky","given":"Anna","family":"Zamansky","affiliation":""}],"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.","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","markdown":"https://ijcai.org/proceedings/2011/125.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/125","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":125,"pages":{"first":706,"last":710},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}