« SLD-résolution » : différence entre les versions
m (Remplacement de texte — « == Domaine == » par « == en construction == <small>Entrez ici les domaines et catégories...</small> ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (8 versions intermédiaires par 2 utilisateurs non affichées) | |||
| 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 == | ||
'''SDL-résolution''' | '''SDL-résolution''' | ||
== Anglais == | == Anglais == | ||
'''SLD resolution''' | '''SLD resolution''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/SLD-r%C3%A9solution Source:Wikipedia ] | |||
[ | |||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 12:10
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
Sources
Contributeurs: Claude Coulombe, Imane Meziani, wiki
