« Complétude de réfutation » : différence entre les versions
m (Arielle H a déplacé la page Refutation completeness vers Complétude de réfutation) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
La capacité d'une procédure de preuve, telle que la résolution, à dériver éventuellement une contradiction si l'ensemble des axiomes est contradictoire. | |||
== Français == | == Français == | ||
'''complétude de réfutation''' | |||
== Anglais == | == Anglais == | ||
'''refutation completeness''' | '''refutation completeness''' | ||
<small> | |||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Refutation+completeness&index=alt&codom2nd_wet=1#resultrecs Source : TermiumPlus ] | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary ] | |||
[ | [[Catégorie:Révision]] | ||
Version du 7 avril 2021 à 19:49
Définition
La capacité d'une procédure de preuve, telle que la résolution, à dériver éventuellement une contradiction si l'ensemble des axiomes est contradictoire.
Français
complétude de réfutation
Anglais
refutation completeness
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
