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


m (Jacques a déplacé la page Classifieur déductif vers Classificateur déductif)
Aucun résumé des modifications
Ligne 7 : Ligne 7 :


==Définition==
==Définition==
Un classifieur déductif est un type de moteur d'inférence en intelligence artificielle. Il prend en entrée un ensemble de déclarations - dans un langage cadre sur un domaine tel que la recherche médicale ou la biologie moléculaire.
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.
------------
Par exemple, les noms de classes, sous-classes, propriétés et restrictions relatives aux valeurs autorisées. Le classificateur détermine si les diverses déclarations sont logiquement cohérentes et sinon mettront en évidence les déclarations incohérentes spécifiques et les i ncons istencies entre eux. Si les déclarations sont cohérentes, le classifieur peut alors revendiquer des informations supplémentaires en fonction de l'entrée. Par exemple, il peut ajouter des informations sur les classes existantes, créer des classes supplémentaires, etc. Ceci diffère de traditiona l inf moteurs qui déclenchent rence des conditions IF-THEN dans les règles. Classificateurs sont également semblables à démonstrateurs en ce sens qu'ils prennent comme entrée et produ CE OU tput via First Order Logic . Les classificateurs ont été créés avec les langages KL-ONE Frame .


Ils sont de plus en plus importants maintenant qu’ils font partie de la technologie habilitante du Web sémantique. Les serveurs modernes exploitent le langage d'ontologie Web . Les modèles qu’ils analysent et génèrent sont appelés ontologies
<br />
-----------
==Français==
==Français==
'''Classificateur déductif'''    <small> loc. nominale. masc. </small>
'''Classifieur déductif'''    <small> loc. nominale. masc. </small>
'''Classifieur déductif'''    <small> loc. nominale. masc. </small>
<br />
   
   
==Anglais==
==Anglais==
Ligne 23 : Ligne 24 :
<small>
<small>


[https://www.24pm.com/117-definitions/329-classifieur-deductif     Source : 24pm academie]
[https://www.24pm.com/117-definitions/329-classifieur-deductif Source : 24pm academie]


[https://en.wikipedia.org/wiki/Deductive_classifier Source : Wikipedia ]
[https://en.wikipedia.org/wiki/Deductive_classifier Source : Wikipedia]

Version du 2 avril 2020 à 15:00

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


Source : 24pm academie

Source : Wikipedia

Contributeurs: Jacques Barolet, wiki