卡洛斯·阿雷塞斯;维罗尼卡·贝彻 可重复的AGM功能。 (英语) Zbl 1014.03018号 威廉姆斯(Williams)、玛丽·安妮(Mary-Anne)(编辑)等,《信仰修正的前沿》。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。22, 261-277 (2001). 假设(K)是一组数据(我们称之为理论),(α)是一条信息,那么AGM模型描述了三种不同类型的理论变化:扩展((K+α),其中信息简单地添加到理论中,修订((K astα),信息不断地添加到该理论中,和收缩((K-\alpha)),其中信息从理论中消除。本文的目的是为AGM定义最简单的迭代方案(上述每个操作的迭代方案):可迭代函数是二进制函数,其行为是针对任何理论(K)和公式(α)指定的。有关整个系列,请参见[Zbl 0982.00012号].审核人:达马斯·格鲁斯卡(布拉迪斯拉发) 引用于1审查引用于7文件 MSC公司: 03B42号 知识和信念的逻辑(包括信念变化) 关键词:AGM模型;信念动力学;变化论逻辑;迭代 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{V.Becher},应用。日志。序列号。22261--277(2001;Zbl 1014.03018)