多重修正的拓扑表征

2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2015-11-01 DOI:10.1109/ISKE.2015.19

Hua Meng, Tianrui Li

{"title":"多重修正的拓扑表征","authors":"Hua Meng, Tianrui Li","doi":"10.1109/ISKE.2015.19","DOIUrl":null,"url":null,"abstract":"Multiple revision is a straightforward generalization of traditional belief revision. Peppas (2004) showed a multiple revision operator can be characterized by well-ranked system of spheres. A well-ranked system of spheres is a system of spheres (given by Grove) which satisfies extra conditions (SM) and (SD). An open problem is whether or not (SD) is necessary to derive a multiple revision operator. Peppas has mentioned this problem in Handbook of Knowledge Representation. In this paper, we will discuss this problem by using topological tools and give an answer. Moreover, we show a new model of multiple revision by using total preorder on worlds.","PeriodicalId":312629,"journal":{"name":"2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Topological Characterization of Multiple Revision\",\"authors\":\"Hua Meng, Tianrui Li\",\"doi\":\"10.1109/ISKE.2015.19\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Multiple revision is a straightforward generalization of traditional belief revision. Peppas (2004) showed a multiple revision operator can be characterized by well-ranked system of spheres. A well-ranked system of spheres is a system of spheres (given by Grove) which satisfies extra conditions (SM) and (SD). An open problem is whether or not (SD) is necessary to derive a multiple revision operator. Peppas has mentioned this problem in Handbook of Knowledge Representation. In this paper, we will discuss this problem by using topological tools and give an answer. Moreover, we show a new model of multiple revision by using total preorder on worlds.\",\"PeriodicalId\":312629,\"journal\":{\"name\":\"2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)\",\"volume\":\"20 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISKE.2015.19\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISKE.2015.19","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

多重修正是传统信念修正的直接推广。Peppas(2004)证明了多重修正算子可以被表征为有序的球系统。良序球系是由Grove给出的满足附加条件(SM)和(SD)的球系。一个悬而未决的问题是是否需要派生多个修订操作符(SD)。Peppas在《Handbook of Knowledge Representation》中提到了这个问题。在本文中，我们将利用拓扑工具来讨论这个问题并给出答案。此外，我们还利用世界上的总预订量给出了一个新的多重修正模型。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Topological Characterization of Multiple Revision

Multiple revision is a straightforward generalization of traditional belief revision. Peppas (2004) showed a multiple revision operator can be characterized by well-ranked system of spheres. A well-ranked system of spheres is a system of spheres (given by Grove) which satisfies extra conditions (SM) and (SD). An open problem is whether or not (SD) is necessary to derive a multiple revision operator. Peppas has mentioned this problem in Handbook of Knowledge Representation. In this paper, we will discuss this problem by using topological tools and give an answer. Moreover, we show a new model of multiple revision by using total preorder on worlds.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)

自引率

0.00%

发文量