河南省自然科学基金(112300410040)
- 作品数：19 被引量：23H指数：4
- 相关作者：左卫兵娄妍叶晓枫谢蕾蕾原胜利更多>>
- 相关机构：华北水利水电学院华北水利水电大学更多>>
- 发文基金：河南省自然科学基金河南省教育厅自然科学基金河南省高等学校青年骨干教师资助计划项目更多>>
- 相关领域：理学更多>>
- 有限Boole语义中基于前提信息的随机真度
- 2013年
- 本文研究了有限Boole语义中基于前提信息的随机化问题.利用赋值集的随机化方法,提出了公式的基于前提信息Γ的Γ-随机真度,得到了Γ-随机真度的MP规则,HS规则和交推理规则.通过引入公式间的Γ-随机相似度和Γ-伪距离,建立了Γ-随机逻辑度量空间,在有限Boole语义上推广了基于前提信息的近似推理理论.
- 左卫兵
- 四值非线性序集逻辑系统中理论的随机发散度
- 2012年
- 在四值非线性序集逻辑系统L24中,给出了随机相似度和随机逻辑伪距离的基本性质。然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的四值概率分布序列。
- 左卫兵
- 关键词：非线性序集随机真度随机逻辑度量空间
- 一种五元格值逻辑上命题真度的分布
- 2011年
- 利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式真度的表达通式,为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。
- 左卫兵张嘎
- 关键词：格值逻辑真度稠密性
- 基于MV代数语义的格值逻辑的程度化方法被引量：4
- 2013年
- 基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法.
- 左卫兵
- 关键词：MV代数格值逻辑概率真度
- 四值非全序逻辑系统中公式的条件随机真度被引量：1
- 2012年
- 基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论.
- 左卫兵原胜利
- 有限Boole语义的随机化被引量：3
- 2012年
- 基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.
- 左卫兵叶晓枫
- 关键词：逻辑度量空间
- 四值非线性格值逻辑中公式的概率真度
- 2012年
- 王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.
- 左卫兵
- 关键词：命题逻辑概率真度伪距离逻辑度量空间
- 模糊命题逻辑L*中公式的条件随机真度被引量：5
- 2012年
- 在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。
- 左卫兵
- Boole语义的程度化方法被引量：4
- 2012年
- 基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.
- 左卫兵
- 四值非全序R_0命题逻辑上的随机伪度量
- 2012年
- 通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.
- 左卫兵
- 关键词：命题逻辑
