一种基于命题逻辑概率赋值的近似推理模式算法

摘要

本发明公开了一种基于命题逻辑概率赋值的近似推理模式算法，与现有技术相比，本发明将经典命题逻辑的赋值域由二值{0,1}推广到给定的概率空间，引进命题公式的概率赋值，概率赋值是经典命题逻辑二值赋值及各种真度概念的推广。利用概率赋值引入命题公式的概率真度、不可靠度、基于独立事件赋值集的概率真度等概念，通过讨论概率真度的性质，证明全部命题公式基于独立事件赋值集的真度之集在[0,1]中没有孤立点，在命题逻辑形式推演中一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。在概率赋值基础上，引进命题公式集的a.e.结论、依概率结论、依概率真度结论等概念，讨论这些概念之间的联系，提出两个不同类型的近似推理模式。