基于迭代分解的特征化概率论辩语义求解方法

逻辑学研究 2022 年第 1 期，1–13   文章编号：1674-3202(2022)-01-0001-13

作者：陈东恒 廖备水

摘 要：抽象概率论辩是用于建模不完备、不确定信息推理的一种重要逻辑工具。关

于概率论辩语义的求解，现有的基于特征化子图的方法可以在很大程度上提高算法的

计算效率，但在枚举特征子图时仍存在一定的盲目性。针对该问题，本文在现有方法的

基础上提出了一种基于迭代分解的改进方法，通过对概率论辩框架进行迭代分解，减小

了枚举域的大小，降低了计算量。实验结果表明，改进方法在计算速度上较原算法有所

提高，提升幅度约为 2 个数量级。

关键词：抽象论辩；概率论辩；特征子图；语义计算

中图分类号：B81

文献标识码：A