%0 Journal Article
%T 基于命题逻辑概率赋值的近似推理模式*
%A 张家录
%A 陈雪刚
%A 吴霞
%J 模式识别与人工智能
%P 769-780
%D 2015
%R 10.16451/j.cnki.issn1003-6059.201509001
%X 将命题逻辑的赋值域由二值{0，1}推广到给定的概率空间，引进命题公式的概率赋值，概率赋值是经典命题逻辑赋值及各种真度概念的推广.利用概率赋值引入命题公式的概率真度、不可靠度、基于独立事件赋值集的概率真度等概念，通过讨论概率真度的性质，表明概率真度在全体命题公式集F(S)上满足Kolmogorov公理.证明全部命题公式基于独立事件赋值集的真度之集在[0，1]中无孤立点，以及在命题逻辑形式推演中，一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和等结论.在概率赋值的基础上，引进命题公式集的a.e.结论、依概率结论、依概率真度结论等概念，讨论这些概念之间的联系，并提出两个不同类型的近似推理模式.
%K 概率逻辑
%K 概率赋值
%K 概率真度
%K 不可靠度
%K 近似推理
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract10439.shtml