14.9.06

081 - Ontologie formelle

Au sens philosophique, l'ontologie est l'étude des catégories d'entités abstraites et concrètes qui existent ou peuvent exister... C'est une taxinomie, mais une taxinomie des formes possibles, pas seulement des fomes existantes.

D'un point de vue sémiologique, une ontologie est une théorie du contenu sur les sortes d'objets, les propriétés de ces objets et leurs relations possibles dans un domaine spécifié de connaissances. C'est un modèle conceptuel.

Une ontologie formelle est donc l'incarnation d'une ontologie, d'un modèle du monde, dans un système formel, basé sur des axiomes. A quoi ça sert ? L'avantage d'un système formel, c'est qu'on peut le manipuler avec des algorithmes... Construire une ontologie formelle, c'est essayer d'expliquer le monde aux machines. En construire une qui fonctionne, c'est le but ultime de tous les chercheurs en intellligence artificielle !

Dr. Douglas Lenat : Computers versus Common Sense
Web Sémantique : Ontologie

Voir aussi : 054 - Argument cynologique

Aucun commentaire: