概率逻辑相关论文
在现实世界中,能够进行精确描述的问题只占较少一部分,而大多数问题是非精确、非完备或者不确定的。对于这些问题,采用传统的推理......
计算机科学的发展是与逻辑学紧密相连的。标准逻辑在人工智能早期的发展中扮演了重要的角色，根据数理逻辑，将人类的推理过程分解成一......
逻辑学是一门研究思维形式及思维规律的科学，它是人类进行判断，推理的基础，在人工智能的发展过程中发挥了巨大的作用。概率逻辑作为逻......
模型检测是一种自动化程度非常高的有限状态系统验证技术，目前已经在计算机硬件、通信与安全协议、软件可靠性的验证方面获得了较大......
以模糊观念为前提而建立的模糊逻辑是当代哲学逻辑的重要发展。模糊逻辑自提出以后,特别是在人工智能和控制等领域得到较好地应用......
原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只......
