Raisonnement abductif en logique de description exploitant les domaines concrets spatiaux pour l'inteprétation d'images

Résumé : L’interprétation d’images a pour objectif non seulement de détecter et reconnaître des objets dans une scène mais aussi de fournir une description sémantique tenant compte des in- formations contextuelles dans toute la scène. Le problème de l’interprétation d’images peut être formalisé comme un problème de raisonnement abductif, c’est-à-dire comme la recherche de la meilleure explication en utilisant une base de connaissances. Dans ce travail, nous présentons une nouvelle approche utilisant une méthode par tableau pour la génération et la sélection d’explications possibles d’une image donnée lorsque les connaissances, exprimées dans une logique de description, comportent des concepts décrivant les objets mais aussi les relations spatiales entre ces objets. La meilleure explication est sélectionnée en exploitant les domaines concrets pour évaluer le degré de satisfaction des relations spatiales entre les objets.