« Clause vide » : différence entre les versions


m (Arielle H a déplacé la page Empty clause vers Clause vide)
m (Remplacement de texte : « ↵↵==Sources== » 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 '''
 
==Sources==
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  ]


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

Dernière version du 30 août 2024 à 17:58

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=108270 »

Contributeurs: Arielle Halindintwali, Imane Meziani, wiki