Explanatory reasoning for image understanding using formal concept analysis and description logics

Jamal Atif 1, 2 Céline Hudelot 3 Isabelle Bloch 4
1 TAO - Machine Learning and Optimisation
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : In this paper, we propose an original way of enriching description logics with abduction reasoning services. Under the aegis of set and lattice theories, we put together ingredients from mathematical morphology, description logics, and formal concept analysis. We propose computing the best explanations of an observation through algebraic erosion over the concept lattice of a background theory that is efficiently constructed using tools from formal concept analysis. We show that the defined operators are sound and complete and satisfy important rationality postulates of abductive reasoning. As a typical illustration, we consider a scene understanding problem. In fact, scene understanding can benefit from prior structural knowledge represented as an ontology and the reasoning tools of description logics. We formulate model based scene understanding as an abductive reasoning process. A scene is viewed as an observation and the interpretation is defined as the best explanation, considering the terminological knowledge part of a description logic about the scene context. This explanation is obtained from morphological operators applied on the corresponding concept lattice.
Type de document :
Article dans une revue
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans: Systems and Humans, 2013, pp.1--19. 〈10.1109/TSMC.2013.2280440〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00862563
Contributeur : Jamal Atif <>
Soumis le : mardi 17 septembre 2013 - 09:42:01
Dernière modification le : mercredi 20 février 2019 - 14:38:55

Identifiants

Citation

Jamal Atif, Céline Hudelot, Isabelle Bloch. Explanatory reasoning for image understanding using formal concept analysis and description logics. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans: Systems and Humans, 2013, pp.1--19. 〈10.1109/TSMC.2013.2280440〉. 〈hal-00862563〉

Partager

Métriques

Consultations de la notice

642