Négation par l'échec


Révision datée du 1 février 2021 à 21:09 par Pitpitt (discussion | contributions) (Remplacement de texte — « <small> féminin </small> » par «  »)

Définition

La négation par l'échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d'inférence non monotone en programmation logique, utilisée pour la dérivation de n o t p à partir de l'échec de la dérivation de p.

C'est une caractéristique importante de la programmation logique depuis les origines des langages de programmation Planner et Prolog. En Prolog, la négation par l'échec est habituellement implémentée en utilisant les fonctionnalités non logiques du langage.

Français

Négation par l'échec

Anglais

negation as failure

negation by failure


Source : Wikipedia

Source : UTexas Artificial Intelligence Vocabulary



Contributeurs: Imane Meziani, wiki, Sihem Kouache