| 摘要: |
| 文章讨论概率性逻辑异构分解模式的相容性问题.对于不同结构的分解模式,只要两两之间满足单边缘一致性,则可互相结合，构成异构的分解模式,并且由此设计的分解算法所形成的推理系统保持相对于原Nilsson推理系统的可靠性与完备性. |
| 关键词: 概率性逻辑自动推理,不确定性推理,分解算法. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
|
| The Compatibility of the Different-structured Decomposition-patterns for Probabilistic Logic |
|
ZHANG Chen-dong,XU Guang,CHEN Huo-wang,WANG Bing-shan
|
| Abstract: |
| In this paper, the compatibility of the different-structured decomposition-patterns for probabilistic logic is discussed. If the single marginal probability consistence remain between each pair of the different-structured decomposition-patterns, the combination of them will form a multi-pattern decomposition structure. In addition, the inference system based on the given decomposition method keeps its validity and completeness to the original Nilsson's system. |
| Key words: Probabilistic-logic-automatic-reasoning, uncertainty-reasoning, decomposition-algorithm. |
