« 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 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (15 versions intermédiaires par 3 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== 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 == | == Français == | ||
'''Négation par l'échec''' | |||
== Anglais == | == Anglais == | ||
'''negation as failure''' | '''negation as failure''' | ||
'''negation by failure''' | |||
==Sources== | |||
[https://fr.wikipedia.org/wiki/N%C3%A9gation_par_l%27%C3%A9chec Source : Wikipedia ] | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
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
Contributeurs: Imane Meziani, wiki, Sihem Kouache
