论文部分内容阅读
首先给出全信念收缩运算的一个反例，证明全收缩运算之附加假设与基本假设不协调，从而说明全收缩假设系统的不协调性，其次通过地全收缩运算假设系统的修改，消除了导致原系统不协调的直接因素，证明若一个全收缩函数满足修改后的各条假设，则该函数一定为最大选择收缩函数，并证明了在非平衡的情形下其假设系统仍不协调；最后给出了满足基本假设的广义收缩函数与全收缩函数之间的互可定义性，说明可以用广义收缩函数部分代替全收缩