« Négation par l'échec » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle‏‎ »)
Ligne 2 : Ligne 2 :
== en construction ==
== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence Artificielle]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas]]
[[Catégorie:UTexas]]



Version du 13 septembre 2019 à 22:29

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: Imane Meziani, wiki, Sihem Kouache