AGM理论与条件句逻辑及思考

作者：牛慧雅

来源：其他, 云南师范大学, 2014.

• AGM理论
• 安全收缩
• 迭代函数 the AGM theory
• safe contraction
• iterable function

信念修正理论大约产生于20世纪70年代，其中最引人注目要数由阿尔罗若（Alchourrón）、加登福斯（G rdenfors）和梅金森（Makinson）共同建立的信念修正理论，简称AGM理论。本文主要通过一系列论述与证明，诠释了AGM理论系统。 全文分为四章。第一章是对AGM理论的概述。信念修正的AGM理论具有两个来源。加登福斯（G rdenfors）提供的大卫·刘易斯（Lewis)用信念修正模型表达逻辑条件句的语义。阿尔罗若（Alchourrón）和梅金森（Makinson）研究的规范系统的动态形式。它一共包含八条假设，分别是闭包，成功，包含，空虚，相容性，外延性，超扩充和子扩充。 ...

• 出版日期2014
• 单位云南师范大学