Raisonnement en présence d’incohérence : le connecteur oublié Reasoning under inconsistency: the forgotten connective

Dans la plupart des approches pour le raisonnement en présence d’incohérence, en particulier celles basées sur la sélection de sous-ensembles cohérents de formules, une hypothèse sous-jacente est que des formules différentes sont liées par un lien moins fort qu’une conjonction logique. Dans le cas où elle est cohérente, une base de croyances , où les sont des formules propositionnelles, est équivalente à la base . En revanche, dans le cas où cette conjonction est incohérente, ces deux bases ont typiquement des ensembles de conséquences distincts. Cela illustre le fait que la virgule utilisée dans la base est un connecteur particulier, différent de la conjonction. Nous proposons dans ce travail d’étudier une logique comportant un tel connecteur “virgule”. Ce cadre permet de fournir une sémantique à ce connecteur et de généraliser un certain nombre d’approches permettant de raisonner en présence d’informations contradictoires.