概率逻辑论文

命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论
论文摘要众所周知,数理逻辑的特点在于符号化和形式化,它和计算数学有着截然不同的风格。前者注重形式推理而后者注重数值计算;前者强调严格论证而后者允许近似求解。王国俊教授从基本概念...
基于泛逻辑学的概率逻辑及其算子的研究
论文摘要逻辑学是一门研究思维形式及思维规律的科学，它是人类进行判断，推理的基础，在人工智能的发展过程中发挥了巨大的作用。概率逻辑作为逻辑学的一个分支，它以概率论作为其理论基础，...
基于发生率计算的不确定性推理理论研究
论文摘要在现实世界中,能够进行精确描述的问题只占较少一部分,而大多数问题是非精确、非完备或者不确定的。对于这些问题,采用传统的推理显然是行不通的。为此,人工智能需要研究不确定性...