概率逻辑类超树结构分解计算模型的完备性  

The Completeness of the Super tree like Decomposition Model for Probabilistic Logic

作　　者：张晨东[1,2] 陈火旺[1,2] 王兵山 徐光[1,2] 

机构地区：[1]长沙工学院计算机系 [2]空军指挥学院

出　　处：《软件学报》1998年第4期273-275,共3页Journal of Software

基　　金：国家自然科学基金;国家863高科技项目基金

摘　　要：针对Ｎｉｌｓｓｏｎ概率逻辑推理在计算规模方面存在的问题，本文给出了公式集按类超树结构分解的计算模型，并证明了分解算法的完备性．In order to reduce the complexity in the calculation model of Nilsson's probabilistic logic, the authors presented a new approach with the super tree like decomposition model in this paper, and proved the completeness theorem of the given method.

关 键 词：概率逻辑 不确定性推理 分解算法 类超树结构 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]