典型文献
基于迭代分解的特征化概率论辩语义求解方法
文献摘要：
抽象概率论辩是用于建模不完备、不确定信息推理的一种重要逻辑工具.关于概率论辩语义的求解,现有的基于特征化子图的方法可以在很大程度上提高算法的计算效率,但在枚举特征子图时仍存在一定的盲目性.针对该问题,本文在现有方法的基础上提出了一种基于迭代分解的改进方法,通过对概率论辩框架进行迭代分解,减小了枚举域的大小,降低了计算量.实验结果表明,改进方法在计算速度上较原算法有所提高,提升幅度约为2个数量级.
文献关键词：
抽象论辩;概率论辩;特征子图;语义计算
中图分类号：
作者姓名：
陈东恒;廖备水
作者机构：
浙江大学逻辑与认知研究所
文献出处：
引用格式：
[1]陈东恒;廖备水-.基于迭代分解的特征化概率论辩语义求解方法)[J].逻辑学研究,2022(01):1-13
A类：
概率论辩,特征子图,抽象论辩
B类：
求解方法,不确定信息,化子,计算效率,枚举,盲目性,改进方法,论辩框架,计算量,计算速度,升幅,数量级,语义计算
AB值：
0.217322
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
