Reasoning under inconsistency: the forgotten connective
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 484-488.
Abstract
In many frameworks for reasoning under inconsistency, it is implicitly assumed that the formulae from the belief base are connected using a weak form of conjunction. When it is consistent, a belief base B = {φ1, . . . , φn}, where the φi are propositional formulae, is logically equivalent to the base {φ1 ∧ . . . ∧ φn}. However, when it is not consistent, both bases typically lead to different conclusions. This illustrates the fact that the comma used in base B has to be considered as an additional, genuine connective, and not as a simple conjunction. In this work we define and investigate a propositional framework with such a “comma connective”. We give it a semantics and show how it generalizes several approaches for reasoning from inconsistent beliefs.
@inproceedings{ijcai2005p80,
title = {Reasoning under inconsistency: the forgotten connective},
author = {Konieczny, Sébastien and Lang, Jérôme and Marquis, Pierre},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {484--488},
year = {2005},
url = {https://ijcai.org/proceedings/2005/80},
}
TY - CPAPER TI - Reasoning under inconsistency: the forgotten connective AU - Konieczny, Sébastien AU - Lang, Jérôme AU - Marquis, Pierre T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 484 EP - 488 UR - https://ijcai.org/proceedings/2005/80 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
