Spatial information fusion: Coping with uncertainty in conceptual structures

Florence Dupin de Saint-Cyr (1, 2) , Robert Jeansoulin (3) , Henri Prade (1, 4)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 UT3 - Université Toulouse III - Paul Sabatier
3 LIGM - Laboratoire d'Informatique Gaspard-Monge
4 CNRS - Centre National de la Recherche Scientifique

A logical formalism associating properties to space parcels in so-called attribute formulas, is proposed. Properties are related through the axioms of a taxonomy graph, and parcels through a partonomy graph. Attributive formulas establish relations between parcels and properties, and we use them to align different taxonomies, over a compatible partonomy, using Formal Concept Analysis. We discuss uncertainty in attributive formulas, which we extend in a possibilistic logic manner, including two modalities: true everywhere in the parcel, or at least true somewhere. Then, we discuss how our formalism can perform a possibilistic fusion on attributive formulas originating from independent sources, based on the aligned taxonomy. The issues may come from (a) the uncertainty of sources, (b) the possible inconsistency of fusion results, (c) the use of dif- ferent partonomies that may not explicit the somewhere or everywhere reading associated to the information.

Domaines: Intelligence artificielle [cs.AI]

Florence Dupin de Saint-Cyr, Robert Jeansoulin, Henri Prade. Spatial information fusion: Coping with uncertainty in conceptual structures. 16th International Conference on Conceptual Structures (ICCS 2008), Jul 2008, Toulouse, France. pp.66-74. ⟨hal-03358846⟩