概率逻辑含多重原子交集分解模型的可靠性  

VALIDITY OF THE DECOMPOSITION MODEL WITH CONJUNCTION OF MULTI ATOMIC SETS FOR PROBABILISTIC LOGIC

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

机构地区：[1]空军指挥学院 [2]国防科技大学计算机科学系

出　　处：《计算机研究与发展》1998年第8期673-677,共5页Journal of Computer Research and Development

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

摘　　要：文中给出含多重原子公式交集的概率逻辑分解计算模型的可靠性证明．若概率逻辑公式集可被划分为含多重原子交集的子集，且交集的原子个数较少，则分解算法将明显地缩小概率逻辑自动推理线性规划模型的规模．The validity of the decomposition model with conjunction of multi atomic sets for probabilistic logic reasoning is proved in the paper.If the probabilistic logic formula set can be divided into several sub sets with the same conjunction atomic set that contains not many atomic formulas,the decomposition model is able to reduce the scale of the linear programming considerably and to simplify the algorithm.

关 键 词：概率逻辑 自动推理 不确定性推理 分解算法 

分 类 号：O141.3[理学—数学] TP18[理学—基础数学]