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