{"title":"证据框架的语义模型","authors":"D. Iourinski, The Burroughs","doi":"10.1109/SOFA.2007.4318321","DOIUrl":null,"url":null,"abstract":"We introduce a new interpretation of the Dempster-Shafer theory using Kripke models. The interpretation maps different frames of discernment into directed graphs. The parallelism is useful as it allows one to use graph theory results for analyzing an evidential setup. The proposed interpretation also translates Dempster-Shafer evidence combination rule into Kripke models. The interpretation serves as a starting point for the semantical analysis of the Dempster-Shafer theory and thus contributes to developing a logic for it.","PeriodicalId":205589,"journal":{"name":"2007 2nd International Workshop on Soft Computing Applications","volume":"89 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Semantical Models for Evidential Frameworks\",\"authors\":\"D. Iourinski, The Burroughs\",\"doi\":\"10.1109/SOFA.2007.4318321\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We introduce a new interpretation of the Dempster-Shafer theory using Kripke models. The interpretation maps different frames of discernment into directed graphs. The parallelism is useful as it allows one to use graph theory results for analyzing an evidential setup. The proposed interpretation also translates Dempster-Shafer evidence combination rule into Kripke models. The interpretation serves as a starting point for the semantical analysis of the Dempster-Shafer theory and thus contributes to developing a logic for it.\",\"PeriodicalId\":205589,\"journal\":{\"name\":\"2007 2nd International Workshop on Soft Computing Applications\",\"volume\":\"89 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-09-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 2nd International Workshop on Soft Computing Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SOFA.2007.4318321\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 2nd International Workshop on Soft Computing Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SOFA.2007.4318321","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We introduce a new interpretation of the Dempster-Shafer theory using Kripke models. The interpretation maps different frames of discernment into directed graphs. The parallelism is useful as it allows one to use graph theory results for analyzing an evidential setup. The proposed interpretation also translates Dempster-Shafer evidence combination rule into Kripke models. The interpretation serves as a starting point for the semantical analysis of the Dempster-Shafer theory and thus contributes to developing a logic for it.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
