« SLD-résolution » : différence entre les versions
m (Imeziani a déplacé la page SLD resolution vers SLD-résolution) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== | == Définition == | ||
En programmation logique, la SLD-résolution (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 15 : | Ligne 15 : | ||
[[Category:Intelligence artificielle]] | [[Category:Intelligence artificielle]] | ||
[[Catégorie: | [[Catégorie:publication]] | ||
Version du 3 mars 2021 à 11:37
Définition
En programmation logique, la SLD-résolution (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
