Negation as failure : Différence entre versions

De DataFranca
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence Artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... »)
Balise : éditeur de source 2017
 
Balise : éditeur de source 2017
Ligne 15 : Ligne 15 :
 
'''negation as failure'''
 
'''negation as failure'''
  
 
+
in a logic programming language such as Prolog, accepting a negative conclusion as true if its positive version cannot be proved, e.g., concluding that a man does not have a wife if no wife can be found. cf. closed world assumption.
  
  

Version du 13 septembre 2019 à 22:05

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

negation as failure

in a logic programming language such as Prolog, accepting a negative conclusion as true if its positive version cannot be proved, e.g., concluding that a man does not have a wife if no wife can be found. cf. closed world assumption.


Source : UTexas Artificial Intelligence Vocabulary

Contributeurs : admin