« Clause vide » : différence entre les versions

Version du 15 avril 2021 à 14:37

Une clause qui ne contient pas de littéral.

Quand on obtient une contradiction dans un système de clauses (...) on dit (...) qu'on a obtenu la clause vide.

clause vide

empty clause

Source : TermiumPlus

@@ Ligne 1 : / Ligne 1 : @@
+== Définition ==
+Une clause qui ne contient pas de littéral.
-== en construction ==
+Quand on obtient une contradiction dans un système de clauses (...) on dit (...) qu'on a obtenu la clause vide.
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas‏‎]]
-== Définition ==
-xxxxxxx
 == Français ==
-xxxxxxx
+''' clause vide '''
 == Anglais ==
-'''empty clause'''
+''' empty clause '''
-in resolution theorem proving, a clause that contains no literals and thus represents the value False or contradiction; the goal of the theorem proving process. Traditionally called ``box''.
+<small>
+[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Empty+clause&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]
-<small>
+[[Catégorie:Révision]]
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]