推理树概率逻辑公式集有效赋值列数计算  

Calculation the Number of Valid Assignments of the Formula Set in Probabilistic Logic

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

机构地区：[1]国防科技大学计算机系,长沙410073 [2]北京空军指挥学院,北京100081

出　　处：《国防科技大学学报》1997年第5期35-39,共5页Journal of National University of Defense Technology

摘　　要：本文通过对概率逻辑推理树知识结构模型的研究，得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法，给出了树推理模型的有效赋值列数的一般计算方法。This paper, based on the simple tree inference structure, has developed therelationship between some of the formulas. Since the inference tree has both of the featuresof the single clique and multiple cliques, a unique formula has given to calculate the numberof valid assignments of formula set.

关 键 词：概率逻辑 线性规划 树推理 公式集 赋值列数 

分 类 号：O221.1[理学—运筹学与控制论]