« 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)
m (Remplacement de texte : « ↵↵==Sources== » par «  ==Sources== »)
 
(4 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:UTexas]]
== Définition ==
== 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 ==
== Français ==
xxxxxxx
'''complétude de réfutation'''
   
   
== Anglais ==
== Anglais ==
'''refutation completeness'''
'''refutation completeness'''
==Sources==


the ability of a proof procedure, such as resolution, eventually to derive a contradiction if the set of axioms is contradictory.


[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]]

Dernière version du 30 août 2024 à 18:03

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

Récupérée de « https://datafranca.org/wiki/index.php?title=Complétude_de_réfutation&oldid=108437 »

Contributeurs: Arielle Halindintwali, Imane Meziani, wiki