{"type":"ScholarlyArticle","title":"Circumscribing Inconsistency","authors":[{"name":"Philippe Besnard","slug":"philippe-besnard","given":"Philippe","family":"Besnard","affiliation":""},{"name":"Torsten Schaub","slug":"torsten-schaub","given":"Torsten","family":"Schaub","affiliation":""}],"abstract":"We present a new logical approach to reasoning from inconsistent information. The idea is to restore modelhood of inconsistent formulas by providing a third truth-value tolerating inconsistency. The novelty of our approach stems first from the restriction of entailment to three-valued models as similar as possible to two-valued models and second from an implication connective providing a notion of restricted monotonicity. After developing the semantics, we present a corresponding proof system that relies on a circumscription schema furnishing the syntactic counterpart of model minimization.","doi":null,"url":"https://ijcai.org/proceedings/1997/23","pdf":"https://ijcai.org/proceedings/1997/0023.pdf","markdown":"https://ijcai.org/proceedings/1997/23.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/23","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":23,"pages":{"first":150,"last":154},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}