%0 Journal Article %T 概率逻辑类超树结构分解计算模型的完备性 %A 张晨东 %A 徐 光 %A 王兵山 %A 陈火旺 %J - %D 1998 %X 针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性 %K 概率逻辑 %K 不确定性推理 %K 分解算法. %U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19980407&flag=1