Skip to Main content Skip to Navigation
Journal articles

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
CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France, UP11 - Université Paris-Sud - Paris 11, LRI - Laboratoire de Recherche en Informatique
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.
Complete list of metadatas
Contributor : Jamal Atif <>
Submitted on : Tuesday, September 17, 2013 - 9:42:01 AM
Last modification on : Monday, October 12, 2020 - 6:40:59 PM



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, Institute of Electrical and Electronics Engineers, 2013, pp.1--19. ⟨10.1109/TSMC.2013.2280440⟩. ⟨hal-00862563⟩



Record views