陕西省教育厅科研计划项目(2010JK567)
- 作品数：7 被引量：5H指数：2
- 相关作者：马盈仓何华灿张美崔美英更多>>
- 相关机构：西安工程大学西北工业大学更多>>
- 发文基金：陕西省教育厅科研计划项目国家自然科学基金西北工业大学基础研究基金更多>>
- 相关领域：自动化与计算机技术理学哲学宗教自然科学总论更多>>
- 谓词形式系统UL_h^-∈[0.75,1]及其可靠性
- 2011年
- 对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。
- 马盈仓何华灿
- 关键词：泛逻辑
- 基于零级泛与运算的谓词形式系统及其完备性
- 2011年
- 泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],并证明其完备性定理.从而得到系统ULh∈(0,1]的语义和语构是和谐的.
- 马盈仓何华灿
- 关键词：泛逻辑
- 谓词形式系统UL_(hε[0.75,1])^-及其完备性
- 2010年
- 主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh-?[0.751]的语义和语构是和谐的。
- 马盈仓何华灿
- 关键词：泛逻辑
- Frank三角范数的三值模糊逻辑系统的真度理论
- 2011年
- 本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系统下的真度推理规则。同时,利用真度定义公式间的相似度和伪距离,给出相似度和伪距离的性质,为Frank三角范数命题逻辑系统中的近似推理提供了一种理论框架。
- 马盈仓张美崔美英
- 关键词：真度伪距离
- 基于零级泛与运算的谓词形式系统及其可靠性被引量：1
- 2011年
- 对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保证了推理的有效性。
- 马盈仓何华灿
- 关键词：泛逻辑
- Frank三角范数的一类模糊逻辑系统的真度理论被引量：2
- 2011年
- 在一类基于Frank三角范数的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,并利用积分真度定义公式间的相似度和伪距离,讨论相似度和伪距离性质。
- 张美马盈仓
- 关键词：相似度伪距离
