论文部分内容阅读
本文对非线性信念修正的若干问题进行了讨论,取得的主要结果如下: (1) 建立了基于部分交构造的由非线性序选择机制决定的满足某种完备性条件的一类收缩算子的表示定理。 (2) 以一个较弱的逻辑平台为起点,引入一种类似EE序的非线性序—LEE序,探讨了LEE序的性质和收缩算子公理假设之间的对应性。建立了基于LEE序的收缩函数的基本表示定理,然后在基本表示定理的基础上逐一建立了基于几类特殊LEE序的收缩算子的表示定理。 (3) 提出REE序概念,系统讨论了REE序与LEE序之间的关系,并以此为基础阐述了非线性LEE序的存在性。初步讨论了非线性LEE序的分段线性表示问题。