论文标题
根据条件进行修订：从钩到箭头
Revision by Conditionals: From Hook to Arrow
论文作者
论文摘要
信念修订文献主要集中在如何根据有关事实问题的信息来修改信念的问题。在这里，我们转向一个重要但相对被忽视的问题：如何将修订运营商扩展以处理条件作为输入？我们解决这个“有条件修订”问题的方法是与众不同的，因为它从如何通过事实句子修改的有争议的细节中抽象出来。我们引入了一种“插件”方法，用于将任何迭代的信念修订操作员唯一地扩展到条件案例。我们的方法的灵活性是通过由Ramsey测试条件（“箭头”）进行有条件修订的结果来实现的，由其相应的材料条件（“挂钩”）确定的纯修订（“箭头”）。证明它可以满足许多具有独立利益的新约束。
The belief revision literature has largely focussed on the issue of how to revise one's beliefs in the light of information regarding matters of fact. Here we turn to an important but comparatively neglected issue: How might one extend a revision operator to handle conditionals as input? Our approach to this question of 'conditional revision' is distinctive insofar as it abstracts from the controversial details of how to revise by factual sentences. We introduce a 'plug and play' method for uniquely extending any iterated belief revision operator to the conditional case. The flexibility of our approach is achieved by having the result of a conditional revision by a Ramsey Test conditional ('arrow') determined by that of a plain revision by its corresponding material conditional ('hook'). It is shown to satisfy a number of new constraints that are of independent interest.
