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
modifierLe scénario est le suivant :
- généralement, les quakers sont pacifistes
- généralement, les républicains ne sont pas pacifistes
- Richard Nixon est à la fois un quaker et un républicain
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
modifierLe 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
modifier- 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
- 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
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Nixon diamond » (voir la liste des auteurs).
Voir aussi
modifierArticle connexe
modifierBibliographie
modifier- (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