Classificateur déductif
en construction
Définition
Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs.
Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances.
Les moteurs d'inférences peuvent implémenter :
- une logique formelle d'ordre 0 (logique des propositions), d'ordre 0+, d'ordre 1 (logique des prédicats) ou d'ordre 2 avec
- une gestion d'hypothèses monotone ou non monotone,
- un chaînage avant, chaînage arrière ou mixte,
- une complétude déductive ou non.
Un classificateur déductif est une forme adaptative de moteur d'inférence utilisé pour améliorer la précision d'une étiquette de classification. 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
