统计缺省扩充的两种算法

讨论统计缺省理论的扩充,它是经典缺省逻辑(R e iter缺省)的推广,它借助错误参数ε,允许我们在标准的推理统计中模型化普遍的推理模式。由于统计缺省扩充不具备封闭性,在其对应的R e iter扩充存在时,它的扩充可能不存在;甚至可能出现正规的统计缺省理论没有扩充的情形。但是如果给出一定的限制条件,就可以克服这一缺陷。本文给出了在这种限制条件下,统计缺省理论扩充的两种计算方法。

正规统计缺省扩充的证明

讨论了带有误差参数的统计缺省理论.引入了闭正规统计缺省概念,指出存在正规统计缺省理论没有在ε内的统计扩充,但在添加封闭性后每个正规闭统计缺省理论都有扩充.证明了半单调性和正交性等基本性质,对闭正规统计缺省理论的证明作了研究,论证了在一定条件下序列的存在性蕴涵统计扩充的存在性,给出了相容正规缺省理论扩充存在的充要条件.