logique des clauses de Horn
- Domaine
-
- informatiqueapplication de l'informatique
Définition :
Sous-ensemble de la logique des prédicats permettant la description et la résolution de problèmes sous formes clausale, c'est-à-dire sous forme de propositions.
Note :
Le langage de programmation logique Prolog, le langage le plus utilisé en intelligence artificielle après Lisp, est basé sur la logique des prédicats du premier ordre restreinte aux clauses de Horn.
Terme :
- logique des clauses de Horn n. f.
Traductions
-
anglais
Auteur : Université Laval,Termes :
- Horn-clause logic
- Horn clause logic