« Clause de Horn » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence Artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle ») |
||
| Ligne 2 : | Ligne 2 : | ||
== en construction == | == en construction == | ||
[[Catégorie:Vocabulary]] | [[Catégorie:Vocabulary]] | ||
[[Catégorie:Intelligence | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:UTexas]] | [[Catégorie:UTexas]] | ||
Version du 13 septembre 2019 à 22:31
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
Horn clause
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.
Contributeurs: Imane Meziani, Isaline Hodecent, wiki
