Distance semantics for belief revision
Distance semantics for belief revision
复制标题
用于信念修正的距离语义
DOI：
10.2307/2694923
复制
发表时间：
1996
影响因子：
0.6
通讯作者：
K. Schlechta
中科院分区：
文献类型：
--
作者：
D. Lehmann;M. Magidor;K. Schlechta
摘要 定义了一个庞大而有趣的信念修正自然语义家族。假设任意两个模型之间的距离为 d。然后，我们可以通过公式 α 将理论 K 的修正定义为由所有最接近的 α 模型的集合（d）定义的理论。到 K 的模型集。该系列的特征是一组扩展了 AGM 假设的理性假设。新假设描述了迭代修订的属性。
Abstract A vast and interesting family of natural semantics lor belief revision is defined. Suppose one is given a distance d between any two models. One may then define the revision of a theory K by a formula α as the theory defined by the set of all those models of α that are closest, by d. to the set of models of K. This family is characterized by a set of rationality postulates that extends the AGM postulates. The new postulates describe properties of iterated revisions.