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

Dernière version du 28 janvier 2024 à 10:56

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

Sources

Source : Wikipedia

Source : UTexas Artificial Intelligence Vocabulary

@@ Ligne 1 : / Ligne 1 : @@
 == Définition ==
-La négation par l'échec (en anglais ''negation as failure'' ou  '''negation by failure''') est une règle d'inférence non monotone en programmation logique, utilisée pour la dérivation de  à partir de l'échec de la dérivation de . C'est une caractéristique importante de la programmation logique depuis les origines de Planner et de Prolog. En Prolog, la négation par l'échec est habituellement implémentée en utilisant les fonctionnalités non logiques du langage.
+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''.
-En Prolog pur, les littéraux de négation par l'échec (littéraux négatifs) de la forme  peuvent apparaître dans le corps des clauses et peuvent être utilisés pour dériver d'autres littéraux négatifs.
+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'''    <small> loc. nom. fém. </small>
+'''Négation par l'échec'''
 == Anglais ==
@@ Ligne 13 : / Ligne 13 : @@
-<small>
+==Sources==
 [https://fr.wikipedia.org/wiki/N%C3%A9gation_par_l%27%C3%A9chec  Source : Wikipedia ]
@@ Ligne 23 : / Ligne 23 : @@
 [[Catégorie:GRAND LEXIQUE FRANÇAIS]]
-[[Catégorie:Scotty2]]

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