Criteres de comparaison et de construction de theories axiomatiques pour la representation de la connaissance : ontologies de l'espace et du temps

• Auteur / Autrice : CLAUDIO MASOLO
• Direction : Luis Fariñas del Cerro
• Type : Thèse de doctorat
• Discipline(s) : Chimie
• Date : Soutenance en 2000
• Etablissement(s) : Toulouse 3

Résumé

Ce travail se situe dans le cadre du developpement et de la comparaison de theories axiomatiques du premier ordre pour la representation des connaissances qualitatives. Il propose une methodologie generale qui permet d'une part, de classifier et comparer les theories logiques existantes des points de vue formel et ontologique, et d'autre part de developper constructivement des theories basees sur un domaine et des relations primitives ontologiquement appropries a un objectif donne. L'analyse systematique des proprietes intrinseques des theories (proprietes formelles - syntaxiques et semantiques - qui rendent explicites leurs dependances, incompatibilites et pouvoir expressif) et de leurs proprietes extrinseques (adequation relativement aux applications, en particulier, adequation ontologique des primitives considerees) conduit a la construction d'un reseau de theories qui constitue un outil pour : (i) aider l'utilisateur a choisir une theorie adequate vis-a-vis de ses exigences ; (ii) aider l'utilisateur a developper des theories basees sur des entites et relations primitives differentes de celles des theories existantes ; (iii) rendre plus facile la communication et l'integration de systemes bases sur des theories differentes. On a analyse l'utilite de cette methodologie pour les domaines de l'espace et du temps. En ce qui concerne les aspects comparatifs de la methodologie, on a analyse la constitution de ces domaines. L'etude du reseau des mereotopologies a permis de mettre en evidence les limites et la compatibilite des differentes mereotopologies vis-a-vis de l'hypothese d'atomicite du domaine, particulierement pertinente en informatique. En ce qui concerne les aspects constructifs, on a considere la possibilite d'etendre les mereotopologies avec des concepts geometriques. On a axiomatise la primitive de congruence dans le domaine unidimensionnel du temps et dans les domaines spatiaux bases sur des entites de forme specifique (parallelepipedes et spheres).