Reasoning under inconsistency: the forgotten connective
Konieczny, Sébastien; Lang, Jérôme; Marquis, Pierre (2005), Reasoning under inconsistency: the forgotten connective, dans Saffiotti, Alessandro, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005., Professional Book Center, p. 484-489
TypeCommunication / Conférence
Pays du colloqueUNITED KINGDOM
Titre de l'ouvrageIJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005.
Auteurs de l’ouvrageSaffiotti, Alessandro
MétadonnéesAfficher la notice complète
Résumé (EN)In many frameworks for reasoning under inconsistency, it is implicitly assumed that the formulaefrom the belief base are connected using a weakform of conjunction. When it is consistent, a beliefbase B = f'1; : : : ; 'ng, where the 'i are proposi-tional formulae, is logically equivalent to the basef'1 ^ : : : ^ 'ng. However, when it is not consistent, both bases typically lead to different conclusions. This illustrates the fact that the commaused 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 apropositional framework with such a "comma con-nective". We give it a semantics and show how itgeneralizes several approaches for reasoning frominconsistent beliefs.
Mots-clésinconsistent beliefs; connective; belief base
Affichage des éléments liés par titre et auteur.