当前位置: X-MOL 学术J. Braz. Comput. Soc. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On the logic of theory change: iteration of expansion
Journal of the Brazilian Computer Society Pub Date : 2018-07-05 , DOI: 10.1186/s13173-018-0072-4
Eduardo Fermé , Renata Wassermann

Constructing models that allow for iterated changes is one of the most studied problems in the literature on belief change. However, up to now, iteration of expansion was only studied as a special case of consistent revision and, as far we know, there is no work in the literature that deals with expansions into inconsistency in a supraclassical framework.In this paper, we provide a semantics for iterated expansion, as well as its axiomatic characterization. We extend the model to two well-known families of iterated belief change (natural and lexicographic). Iteration of expansion can be combined with existent models of iteration of revision and contraction. Since we are able to accommodate different inconsistent belief states, iteration of expansion allows us to define new belief change functions that are currently only defined for belief bases: semi-revision, external revision, as well as consolidation.

中文翻译:

论理论变迁的逻辑:扩张的迭代

构建允许迭代变化的模型是关于信念变化的文献中研究最多的问题之一。然而,到目前为止,扩展的迭代仅作为一致性修订的一个特例进行研究,据我们所知,在超经典框架中处理扩展为不一致性的文献中没有工作。 在本文中,我们提供迭代扩展的语义及其公理表征。我们将模型扩展到两个著名的迭代信念变化系列(自然和词典)。扩展迭代可以与现有的修订和收缩迭代模型相结合。由于我们能够适应不同的不一致信念状态,因此扩展迭代允许我们定义新的信念变化函数,这些函数目前只为信念基础定义:
更新日期:2018-07-05
down
wechat
bug