clause de Horn
- Domaines
-
- informatiqueprogrammation informatique
- intelligence artificielle
- Dernière mise à jour
Définition :
Expression conditionnelle utilisée en programmation logique et comportant une seule conclusion.
Notes :
Les clauses de Horn sont ainsi nommées d'après le nom du logicien Alfred Horn qui, le premier, les a étudiées.
Le langage Prolog est basé sur l'utilisation de clauses de Horn. Ces dernières se divisent en trois types : les faits, les contraintes d'intégrité et les règles.
Les clauses de Horn servent à garantir l'intégrité entre les requêtes et les bases de données ou de connaissances dans les systèmes évolués.
Terme privilégié :
- clause de Horn n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- Horn clause
- Horn disjunction
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- clàusula de Horn n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- cláusula de Horn s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: linguagens e ferramentas de IA (PROLOG).
Terme :
- cláusula de Horn s. f.