« SLD-résolution » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== en construction == | == en construction == | ||
== Définition == | == Définition == | ||
| Ligne 9 : | Ligne 6 : | ||
== Français == | == Français == | ||
'''SDL-résolution''' | '''SDL-résolution''' | ||
== Anglais == | == Anglais == | ||
| Ligne 23 : | Ligne 13 : | ||
[https://fr.wikipedia.org/wiki/SLD-r%C3%A9solution Source:Wikipedia ] | [https://fr.wikipedia.org/wiki/SLD-r%C3%A9solution Source:Wikipedia ] | ||
[[Category:Intelligence artificielle]] | |||
[[Catégorie:vocabulaire]] | |||
Version du 12 février 2021 à 09:01
en construction
Définition
En programmation logique, la SLD-résolution (SLD signifiant Sélectionné, Linéaire, Défini) est un algorithme servant à prouver une formule de logique du premier ordre à partir d'un ensemble de clauses de Horn. Elle est basée sur une résolution linéaire, avec une fonction de sélection sur les clauses définies. La SLD-résolution est mieux connue par son extension, SLDNF (NF signifiant negation as failure, la négation par l'échec), qui est l'algorithme de résolution employé par le langage Prolog.......
Français
SDL-résolution
Anglais
SLD resolution
Contributeurs: Claude Coulombe, Imane Meziani, wiki
