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


(Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === SLD resolution === SLD resolution (Selective Linear... »)
 
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(16 versions intermédiaires par 3 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. 


== Domaine ==
Elle est basée sur une résolution linéaire, avec une fonction de sélection sur les clauses définies.
[[Category:Vocabulary]]
== Définition ==


== Français ==
'''SDL-résolution'''


== Anglais ==
'''SLD resolution'''


== Termes privilégiés ==
==Sources==


[https://fr.wikipedia.org/wiki/SLD-r%C3%A9solution  Source:Wikipedia ]
== Anglais ==


=== SLD resolution ===
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.


<br/>
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

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

Récupérée de « https://datafranca.org/wiki/index.php?title=SLD-résolution&oldid=91864 »


Contributeurs: Claude Coulombe, Imane Meziani, wiki