« Clause vide » : différence entre les versions


(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle‏‎ Catégorie:UTexas‏‎ == Définition == xxxxxxx == Français == xx... »)
Balise : Éditeur de wikicode 2017
 
m (Remplacement de texte : « ↵↵<small> » par «  ==Sources==  »)
 
(5 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
Une clause qui ne contient pas de littéral.


== Français ==
== Français ==
xxxxxxx
''' clause vide '''
   
   
== Anglais ==
== 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''.
==Sources==




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


[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

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

Définition

Une clause qui ne contient pas de littéral.

Français

clause vide

Anglais

empty clause

Sources

Source : TermiumPlus

Récupérée de « https://datafranca.org/wiki/index.php?title=Clause_vide&oldid=87930 »


Contributeurs: Arielle Halindintwali, Imane Meziani, wiki