« SLD-résolution » : différence entre les versions

Dernière version du 28 janvier 2024 à 13: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

Source:Wikipedia

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
+== 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.
-== Définition ==
+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 ==
@@ Ligne 10 : / Ligne 10 : @@
 '''SLD resolution'''
-<small>
+==Sources==
 [https://fr.wikipedia.org/wiki/SLD-r%C3%A9solution   Source:Wikipedia ]
-[[Category:Intelligence artificielle]]
-[[Catégorie:vocabulaire]]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
-[[Catégorie:Révision]]