« Négation par l'échec » : différence entre les versions
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| 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. | |||
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. | |||
== Français == | == Français == | ||
'''Négation par l'échec''' <small> loc. nom. fém. </small> | |||
== Anglais == | == Anglais == | ||
'''negation as failure''' | '''negation as failure''' | ||
'''negation by failure''' | |||
<small> | <small> | ||
[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]] | |||
[[Catégorie:Scotty2]] | |||
Version du 20 mai 2020 à 19:41
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.
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.
Français
Négation par l'échec loc. nom. fém.
Anglais
negation as failure
negation by failure
Contributeurs: Imane Meziani, wiki, Sihem Kouache
