Accueil🇫🇷Chercher

Diamant de Nixon

En logique non monotone, le diamant de Nixon est un scénario dans lequel des hypothèses par défaut conduisent à des conclusions contradictoires.

Présentation

Le scénario est le suivant :

Puisque Nixon est un quaker, on peut supposer qu'il est pacifiste ; comme il est républicain, on pourrait aussi présumer qu'il n'est pas pacifiste[1]. Le problème est de savoir comment une logique formelle de raisonnement non monotone devrait traiter de tels cas[2]. Deux approches peuvent être adoptées :

sceptique
Étant donné que Nixon ne peut être prouvé ni comme pacifiste ni le contraire, aucune conclusion n’est tirée ;
crédule
Comme on peut prouver que Nixon est pacifiste dans au moins un cas, on pense qu'il est pacifiste ; cependant, puisqu'il peut aussi être prouvé qu'il n'est pas pacifiste, il est également présumé ne pas être pacifiste.

L’approche crĂ©dule peut permettre de prouver quelque chose et son contraire. Pour cette raison, l'approche sceptique est souvent prĂ©fĂ©rĂ©e. Une autre solution Ă  ce problème consiste Ă  attacher des prioritĂ©s aux hypothèses par dĂ©faut ; par exemple, on peut supposer que « gĂ©nĂ©ralement, les rĂ©publicains ne sont pas pacifistes Â», est plus vrai que « habituellement, les quakers sont pacifistes Â», ce qui permet de conclure que Nixon n'est pas pacifiste.

Cet exemple est mentionné pour la première fois par Reiter et Criscuolo sous une forme légèrement différente en 1981.

Origine du nom

Le nom diamant vient du fait qu'un tel scénario, lorsqu'il est exprimé dans des réseaux d'héritage, a la forme d’un losange.

Références

  1. Louis Frécon et Okba Kazar, Manuel d'intelligence artificielle, Lausanne, PPUR Presses polytechniques, , 757 p. (ISBN 978-2-88074-819-7, lire en ligne), p. 356
  2. Laurent Keiff et Shahid Rahman, « La dialectique, entre logique et rhétorique », Revue de métaphysique et de morale, vol. 2, no 66,‎ , p. 149-178 (lire en ligne)

Crédit d’auteurs

Voir aussi

Article connexe

Bibliographie

  • (en) W. Marek et M. Truszczynski, Nonmonotonic Logics : Context-Dependent Reasoning, Springer,
  • (en) R. Reiter et G. Criscuolo, « On interacting defaults », dans Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI'81), , p. 94-100
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.