« Complétude de réfutation » : différence entre les versions

Dernière version du 27 janvier 2024 à 20:31

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

Sources

Source : TermiumPlus

Source : UTexas Artificial Intelligence Vocabulary

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:UTexas]]
 == Définition ==
-xxxxxxx
+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 ==
-xxxxxxx
+'''complétude de réfutation'''
 == Anglais ==
 '''refutation completeness'''
-the ability of a proof procedure, such as resolution, eventually to derive a contradiction if the set of axioms is contradictory.
+==Sources==
+[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  ]
-<small>
+[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:GRAND LEXIQUE FRANÇAIS]]