« Négation par l'échec » : 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 == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 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 à 21: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.
Contributeurs: Imane Meziani, wiki, Sihem Kouache
