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.
A categorical approach to data fusion
Chemello Gaetano;Sossai Claudio
2006
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
