Classifieur déductif

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.