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


Aucun résumé des modifications
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
== Domaine ==
== Domaine ==
[[Category:Vocabulary]]<br/>
[[Category:Intelligence artificielle]]
[[Category:Intelligence artificielle]]Intelligence artificielle<br/>
[[Category:Coulombe]]
[[Category:Coulombe]]Coulombe<br/>


== 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. La SLD-résolution est mieux connue par son extension, SLDNF (NF signifiant negation as failure, la négation par l'échec), qui est l'algorithme de résolution employé par le langage Prolog.
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. La SLD-résolution est mieux connue par son extension, SLDNF (NF signifiant negation as failure, la négation par l'échec), qui est l'algorithme de résolution employé par le langage Prolog.


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


https://fr.wikipedia.org/wiki/SLD-r%C3%A9solution
Choisissez parmi ces termes proposés :
* SDL-résolution
* résolution SLD


== Français ==
'''Discussion'''
<poll>
Choisissez parmi ces termes proposés :
SDL-résolution
résolution SLD
</poll>
<h3>Discussion:</h3>
Pour le moment, le terme privilégié est «SDL-résolution».
Pour le moment, le terme privilégié est «SDL-résolution».
<br/>


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


=== 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/>
[https://fr.wikipedia.org/wiki/SLD-r%C3%A9solution  Source:Wikipedia ]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

Version du 29 juin 2019 à 12:03

Domaine

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. La SLD-résolution est mieux connue par son extension, SLDNF (NF signifiant negation as failure, la négation par l'échec), qui est l'algorithme de résolution employé par le langage Prolog.

Français

SDL-résolution

Choisissez parmi ces termes proposés :

  • SDL-résolution
  • résolution SLD

Discussion Pour le moment, le terme privilégié est «SDL-résolution».

Anglais

SLD resolution


Source:Wikipedia

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


Contributeurs: Claude Coulombe, Imane Meziani, wiki