Classificateur déductif


Révision datée du 11 mars 2020 à 10:14 par Pitpitt (discussion | contributions) (Page créée avec « ==en construction== Catégorie:Vocabulaire Catégorie:Intelligence artificielle Catégorie:24pm ==Définition== Un classifieur déductif est un type de moteu... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

en construction


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.

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

Français

Classifieur déductif loc. nominale. masc.

Anglais

XXXXXXX


Source : 24pm academie



Contributeurs: Jacques Barolet, wiki