Horn clause : Différence entre versions


De DataFranca
(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 source 2017
(Aucune différence)

Version du 13 septembre 2019 à 20:46

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.


Source : UTexas Artificial Intelligence Vocabulary

Contributeurs : admin
Vous devez demander un compte pour contribuer à cette page.