{"title":"数据融合的分类方法","authors":"G. Chemello, C. Sossai","doi":"10.1109/ICIF.2006.301816","DOIUrl":null,"url":null,"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","PeriodicalId":248061,"journal":{"name":"2006 9th International Conference on Information Fusion","volume":"211 1-2","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A Categorical Approach to Data Fusion\",\"authors\":\"G. Chemello, C. Sossai\",\"doi\":\"10.1109/ICIF.2006.301816\",\"DOIUrl\":null,\"url\":null,\"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\",\"PeriodicalId\":248061,\"journal\":{\"name\":\"2006 9th International Conference on Information Fusion\",\"volume\":\"211 1-2\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 9th International Conference on Information Fusion\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICIF.2006.301816\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 9th International Conference on Information Fusion","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIF.2006.301816","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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