论文标题

迭代的信念变化,计算

Iterated Belief Change, Computationally

论文作者

Sauerwald, Kai, Beierle, Christoph

论文摘要

迭代的信念变化是研究领域的研究领域,该研究领域正在研究(可能是无限的)随后的信念变化(可能是无限的)信念动态的原则。在本文中,我们演示了迭代的信念变化如何与计算有关。特别是,我们表明迭代信念修订是完整的,即使在诸如Darwiche-pearl诸如迭代修订持有之类的广泛接受原则的条件下也是如此。

Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes. In this paper, we demonstrate how iterated belief change is connected to computation. In particular, we show that iterative belief revision is Turing complete, even under the condition that broadly accepted principles like the Darwiche-Pearl postulates for iterated revision hold.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源