« SLD-résolution » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 2 : | Ligne 2 : | ||
== Définition == | == 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 | 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. | ||
== Français == | == Français == | ||
| Ligne 10 : | Ligne 10 : | ||
'''SLD resolution''' | '''SLD resolution''' | ||
<small> | |||
[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]] | [[Category:Intelligence artificielle]] | ||
[[Catégorie:vocabulaire]] | [[Catégorie:vocabulaire]] | ||
[[Catégorie:Révision]] | |||
Version du 14 février 2021 à 22:51
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.
Français
SDL-résolution
Anglais
SLD resolution
Contributeurs: Claude Coulombe, Imane Meziani, wiki
