摘要:通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数p^-的有限逻辑理论相容度概念,是δ-相容度的推广
关键词:不可靠度 生成状态集 生成概率 自然合并概率 计量逻辑学
单位:陕西师范大学数学研究所; 陕西西安710062; 西安交通大学基础科学研究中心; 陕西西安710049; 延安大学数学与计算机科学学院; 陕西延安716000
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社