基于泛逻辑学的概率命题逻辑的研究与分析  

Research and Analysis of Probability Logic Based on Universal Logics

作　　者：王万森[1] 何华灿[1] 

机构地区：[1]西北工业大学计算机学院

出　　处：《计算机研究与发展》2005年第7期1204-1209,共6页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60273087);北京市自然科学基金项目(4032009)

摘　　要：概率逻辑是不确定推理的一个重要逻辑基础,但其目前还不太完善.泛逻辑学是何华灿教授在探索各种不确定性问题求解中建立起来的一种新的柔性逻辑体系.理论上,概率逻辑仅是泛逻辑学的一个特例.在对目前比较典型的几种概率逻辑模型进行分析的基础上,基于命题泛逻辑学的思想和方法,指出了概率命题逻辑中存在的一些主要问题,探讨了解决这些问题的思路与方法.Probability logic is an important foundation for uncertainty reasoning. However, there is a lot more to do to make it perfect. Universal logics is a new flexible logic system established in the study of various nondeterministic problems. It is an abstraction for building concrete logic systems. Theoretically, probability logic is a special example of universal logics. In this paper, several classical models are analyzed, problems in these models are pointed out, and new methods to solve them based on universal logics are presented.

关 键 词：泛逻辑学 概率逻辑 不确定推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]