| 摘要: |
| 针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性. |
| 关键词: 概率逻辑,不确定性推理,分解算法. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
|
| The Completeness of the Super-tree-like Decomposition Model for Probabilistic Logic |
|
ZHANG Chen-dong,CHEN Huo-wang,WANG Bing-shan,XU Guang
|
| Abstract: |
| 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. |
| Key words: Probabilistic logic, reasoning in uncertainty, decomposition algorithm. |
