« Clause de Horn » : différence entre les versions
m (Isaline a déplacé la page Horn clause vers Clause de Horn) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | |||
Expression conditionnelle utilisée en programmation logique et comportant une seule conclusion. | |||
Les clauses de Horn sont ainsi nommées d'après le nom du logicien Alfred Horn qui, le premier, les a étudiées. Elles servent à garantir l'intégrité entre les requêtes et les bases de données ou de connaissances dans les systèmes évolués | |||
== Français == | == Français == | ||
'''clause de Horn''' | |||
== Anglais == | == Anglais == | ||
'''Horn clause''' | '''Horn clause''' | ||
<small> | <small> | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8374012 Source : Le grand dictionnaire terminologique ] | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:Révision]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:UTexas]] | |||
Version du 10 mars 2021 à 13:19
Définition
Expression conditionnelle utilisée en programmation logique et comportant une seule conclusion.
Les clauses de Horn sont ainsi nommées d'après le nom du logicien Alfred Horn qui, le premier, les a étudiées. Elles servent à garantir l'intégrité entre les requêtes et les bases de données ou de connaissances dans les systèmes évolués
Français
clause de Horn
Anglais
Horn clause
Contributeurs: Imane Meziani, Isaline Hodecent, wiki
