Clause de Horn

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

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

Sources

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary