-
题名命题逻辑的随机真度理论及其应用
被引量：1
- 1
-
-
作者
刘晓玲
张家录
-
机构
湘南学院计算机科学系
湘南学院数学系
-
出处
《模式识别与人工智能》
EI
CSCD
北大核心
2013年第3期231-241,共11页
-
基金
湖南省重点建设学科项目
湖南省教育厅科学研究项目(No.11C1176)资助
-
文摘
引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机逻辑伪距离,证明在随机逻辑伪距离空间没有孤立点.指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用概率论中的积分收敛定理,证明一个关于真度的极限定理,该定理沟通了已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广到多值命题逻辑.在随机逻辑伪距离空间中提出两种不同类型的近似推理模式.
-
关键词
命题逻辑
随机真度
随机相似度
随机逻辑伪距离空间
近似推理
-
Keywords
Proposition Logic, Random Truth Degree, Random Similarity Degree, Random LogicPseudo-Metric Space, Approximate Reasoning
-
分类号
O141.1
[理学—数学]
TP18
[理学—基础数学]
-
