×

可重复的AGM功能。 (英语) Zbl 1014.03018号

威廉姆斯(Williams)、玛丽·安妮(Mary-Anne)(编辑)等,《信仰修正的前沿》。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。22, 261-277 (2001).
假设(K)是一组数据(我们称之为理论),(α)是一条信息,那么AGM模型描述了三种不同类型的理论变化:扩展((K+α),其中信息简单地添加到理论中,修订((K astα),信息不断地添加到该理论中,和收缩((K-\alpha)),其中信息从理论中消除。本文的目的是为AGM定义最简单的迭代方案(上述每个操作的迭代方案):可迭代函数是二进制函数,其行为是针对任何理论(K)和公式(α)指定的。
有关整个系列,请参见[Zbl 0982.00012号].

MSC公司:

03B42号 知识和信念的逻辑(包括信念变化)
PDF格式BibTeX公司 XML格式引用