河南省教育厅自然科学基金(2011A110012)
- 作品数：17 被引量：21H指数：4
- 相关作者：左卫兵娄妍叶晓枫程伟丽谢蕾蕾更多>>
- 相关机构：华北水利水电学院中原工学院更多>>
- 发文基金：河南省教育厅自然科学基金河南省自然科学基金河南省高等学校青年骨干教师资助计划项目更多>>
- 相关领域：理学更多>>
- 逻辑系统G_3中命题的D3-随机真度理论
- 2011年
- 通过引入随机向量序列对赋值集进行随机化,在逻辑系统G3中提出了公式的D3-随机真度的概念,证明了全体公式的D3-随机真度之集在[0,1]中没有孤立点;提出了D3-相似度和D3-伪距离,证明了在D3-逻辑度量空间中没有孤立点;在D3-逻辑度量空间中提出3种不同类型的近似推理模式;引入公式间的相容与独立的概念,研究了其关系。为进一步研究随机推理奠定了基础。
- 左卫兵程伟丽孟永胜
- 关键词：独立性
- 四值非线性格值逻辑中公式的概率真度
- 2012年
- 王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.
- 左卫兵
- 关键词：命题逻辑概率真度伪距离逻辑度量空间
- 模糊命题逻辑L*中公式的条件随机真度被引量：5
- 2012年
- 在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。
- 左卫兵
- Boole语义的程度化方法被引量：4
- 2012年
- 基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.
- 左卫兵
- 有限Boole语义中基于前提信息的随机真度
- 2013年
- 本文研究了有限Boole语义中基于前提信息的随机化问题.利用赋值集的随机化方法,提出了公式的基于前提信息Γ的Γ-随机真度,得到了Γ-随机真度的MP规则,HS规则和交推理规则.通过引入公式间的Γ-随机相似度和Γ-伪距离,建立了Γ-随机逻辑度量空间,在有限Boole语义上推广了基于前提信息的近似推理理论.
- 左卫兵
- 四值非全序逻辑系统中公式的条件随机真度被引量：1
- 2012年
- 基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论.
- 左卫兵原胜利
- 有限Boole语义的随机化被引量：3
- 2012年
- 基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.
- 左卫兵叶晓枫
- 关键词：逻辑度量空间
- 随机利率下的一种家庭联合保险模型
- 2012年
- 研究一种家庭联合保险模型,对利率采用反射Bromn运动和Poisson过程联合的随机利率,在此模型下推导出趸缴纯保费和期缴纯保费的计算公式.并且在死亡力恒定的假设条件下,给出趸缴纯保费简洁的计算公式.
- 程伟丽于志云
- 关键词：精算现值随机利率寿险年金POISSON过程
- 四值非全序R_0命题逻辑上的随机伪度量
- 2012年
- 通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.
- 左卫兵
- 关键词：命题逻辑
- 一种五元格值逻辑上命题真度的分布
- 2011年
- 利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式真度的表达通式,为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。
- 左卫兵张嘎
- 关键词：格值逻辑真度稠密性
