Classificateur déductif
en construction
Définition
Un classificateur déductif est un type de moteur d'inférence d'intelligence artificielle. Il prend en entrée un ensemble de déclarations dans un langage de cadre sur un domaine tel que la recherche médicale ou la biologie moléculaire. Par exemple, les noms des classes, sous-classes, propriétés et restrictions sur les valeurs autorisées. Le classificateur détermine si les différentes déclarations sont logiquement cohérentes et sinon, mettra en évidence les déclarations incohérentes spécifiques et les incohérences entre elles. Si les déclarations sont cohérentes, le classificateur peut alors affirmer des informations supplémentaires sur la base de l'entrée.
Français
Classificateur déductif loc. nominale. masc.
Classifieur déductif loc. nominale. masc.
Anglais
Deductive classifier
Contributeurs: Jacques Barolet, wiki
