« Complétude de réfutation » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 14 : | Ligne 14 : | ||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary ] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary ] | ||
[[Catégorie: | [[Catégorie:publication]] | ||
Version du 26 avril 2021 à 08:25
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
