Negation as failure


De DataFranca
Révision datée du 13 septembre 2019 à 22:29 par Pitpitt (discussion | contributions) (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle‏‎ »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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
Vous devez demander un compte pour contribuer à cette page.