« Classificateur déductif » : différence entre les versions


Aucun résumé des modifications
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
==en construction==
[[Catégorie:Vocabulaire]]
[[Catégorie:Vocabulaire]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Intelligence artificielle]]
Ligne 7 : Ligne 6 :


==Définition==
==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''.
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.


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.
<br />
==Français==
==Français==
'''Classificateur déductif'''    <small> loc. nominale. masc. </small>
'''Classificateur déductif'''    <small> loc. nominale. masc. </small>
Ligne 39 : Ligne 25 :


[https://en.wikipedia.org/wiki/Deductive_classifier Source : Wikipedia, ''Deductive cassifier''.]
[https://en.wikipedia.org/wiki/Deductive_classifier Source : Wikipedia, ''Deductive cassifier''.]
[https://deepai.org/machine-learning-glossary-and-terms/deductive-classifier  Source: DeepAi Glossary, ''Deductive cassifier''.]

Version du 2 avril 2020 à 15:19


Définition

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


Source : 24pm academie

Source : Wikipedia, Deductive cassifier.

Source: DeepAi Glossary, Deductive cassifier.

Contributeurs: Jacques Barolet, wiki