« Clause de Horn » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 2 : | Ligne 2 : | ||
Expression conditionnelle utilisée en programmation logique et comportant une seule conclusion. | Expression conditionnelle utilisée en programmation logique et comportant une seule conclusion. | ||
Les clauses de Horn sont ainsi nommées | Les clauses de Horn sont ainsi nommées d’après le nom du logicien Alfred Horn qui est le premier à les avoir é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 == | ||
| Ligne 16 : | Ligne 16 : | ||
[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: | [[Catégorie:publication]] | ||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:UTexas]] | [[Catégorie:UTexas]] | ||
Version du 11 mars 2021 à 18:48
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 est le premier à les avoir é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
