Title :
A Categorical Approach to Data Fusion
Author :
Chemello, G. ; Sossai, C.
Author_Institution :
ISIB, CNR, Padova
Abstract :
Using suitable topoi of presheaves, a categorical definition of measure is given. When the general definition is specialized to particular categories made of sets of possibility, probability or imprecise probability measures, the internal language of the corresponding topos gives a valid and complete proof system for the corresponding semantics. An application of this method to data fusion in mobile robotics is presented
Keywords :
mobile robots; probability; sensor fusion; categorical approach; data fusion; imprecise probability; mobile robotics; presheaves topoi; proof system; semantics; Data analysis; Fuses; Measurement uncertainty; Mobile robots; Particle measurements; Possibility theory; Probabilistic logic; Prototypes; category theory; data fusion; reasoning under uncertainty; sheaf theory; topos theory;
Conference_Titel :
Information Fusion, 2006 9th International Conference on
Conference_Location :
Florence
Print_ISBN :
1-4244-0953-5
Electronic_ISBN :
0-9721844-6-5
DOI :
10.1109/ICIF.2006.301816
