Inconsistency Management and Prioritized Syntax-Based Entailment

Benferhat, Salem; Cayrol, Claudette; Dubois, Didier; Lang, Jérôme; Prade, Henri

Inconsistency Management and Prioritized Syntax-Based Entailment

Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 640-646.

Abstract

The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of non-monotonic inferences induced by various methods for priority-based handling of inconsistent sets of classical formulas. One of them is based on a lexicographic ordering of maximal consistent subsets, and refmes Brewka's preferred sub-theories. This new approach leads to a non-monotonic inference which satisfies the "rationality" property while solving the problem of blocking of property inheritance. It differs from and improves previous equivalent approaches such as Gardenfors and Makinson's expectation-based inference, Pearl's System Z and possibilistic logic.

Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, and Henri Prade. 1993. Inconsistency Management and Prioritized Syntax-Based Entailment. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 640–646. https://ijcai.org/proceedings/1993/90

@inproceedings{ijcai1993p90,
  title     = {Inconsistency Management and Prioritized Syntax-Based Entailment},
  author    = {Benferhat, Salem and Cayrol, Claudette and Dubois, Didier and Lang, Jérôme and Prade, Henri},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {640--646},
  year      = {1993},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1993/90},
}

TY  - CPAPER
TI  - Inconsistency Management and Prioritized Syntax-Based Entailment
AU  - Benferhat, Salem
AU  - Cayrol, Claudette
AU  - Dubois, Didier
AU  - Lang, Jérôme
AU  - Prade, Henri
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 640
EP  - 646
UR  - https://ijcai.org/proceedings/1993/90
ER  -