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

• 作者: 张晨东 徐光 王兵山 陈火旺
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 概率逻辑 不确定性推理 分解算法
• 年，卷（期）: 1998,（4）
• 页码范围: 0
• 分类号: TP18
• 语种: 中文

摘要

针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈火旺	长沙工学院计算机系	3	66	2.0	3.0
2	徐光		2	6	1.0	2.0
3	张晨东	长沙工学院计算机系	1	0	0.0	0.0
4	王兵山	长沙工学院计算机系	1	0	0.0	0.0