« Clause de Horn » : différence entre les versions
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle ») |
m (Isaline a déplacé la page Horn clause vers Clause de Horn) |
(Aucune différence)
| |
Version du 10 mars 2021 à 12:16
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
