« Clause de Horn » : différence entre les versions

Dernière version du 30 août 2024 à 17:49

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

@@ Ligne 1 : / Ligne 1 : @@
+== Définition ==
+Expression conditionnelle utilisée en programmation logique et comportant une seule conclusion.
-== en construction ==
+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.
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas]]
-== Définition ==
-xxxxxxx
 == Français ==
-xxxxxxx
+'''clause de Horn'''
 == Anglais ==
 '''Horn clause'''
+==Sources==
+[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8374012  Source : Le grand dictionnaire terminologique ]
-a logical formula that is a disjunction (OR) of literals and has at most one positive literal. Viewed as a rule, a Horn clause is a rule from a conjunction (AND) of positive literals to a single positive conclusion literal.
+[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
-<small>
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

« Clause de Horn » : différence entre les versions