陕西省教育厅科研计划项目(2010JK567)

作品数:7被引量:6H指数:2
导出分析报告
相关作者:马盈仓何华灿张美崔美英更多>>
相关机构:西安工程大学西北工业大学更多>>
相关期刊:《计算机工程与应用》《计算机应用研究》《小型微型计算机系统》《广西师范大学学报(自然科学版)》更多>>
相关主题:泛逻辑模糊逻辑系统真度理论FRANK可靠性更多>>
相关领域:自动化与计算机技术理学哲学宗教自然科学总论更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-7
视图:
排序:
一种S-蕴涵模糊逻辑系统的真度理论被引量:2
《山西大学学报(自然科学版)》2011年第4期524-527,共4页张美 马盈仓 刘凤仙 
国家自然科学基金(60775038);陕西省教育厅专项科研计划项目(2010JK567)
利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其相应S-蕴涵的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,建立一种S-模糊逻...
关键词:积分真度 推理规则 S-蕴涵 
基于零级泛与运算的谓词形式系统及其完备性被引量:1
《小型微型计算机系统》2011年第10期2105-2108,共4页马盈仓 何华灿 
国家自然科学基金项目(60273087,60575034)资助;陕西省教育厅专项科研计划项目(2010JK567)资助;西北工业大学基础研究基金项目(W018101)资助
泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词...
关键词:泛逻辑 谓词演算形式系统 泛与运算 
Frank三角范数的三值模糊逻辑系统的真度理论
《广西师范大学学报(自然科学版)》2011年第3期84-88,共5页马盈仓 张美 崔美英 
国家自然科学基金资助项目(60273087;60775038);陕西省教育厅专项科研计划项目(2010JK567)
本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系统下的真度推理规则。同时,利用真度定义公式间的相似度和伪距离,给出相似度和伪距离的性质,为Frank三角...
关键词:真度 相似度 伪距离 
谓词形式系统UL_h^-∈[0.75,1]及其可靠性
《计算机科学》2011年第5期178-180,223,共4页马盈仓 何华灿 
国家自然科学基金(60273087;60575034);陕西省教育厅专项科研计划项目(2010JK567);西北工业大学基础研究基金(W018101)资助
对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。
关键词:泛逻辑 谓词演算形式系统 泛与运算 
基于零级泛与运算的谓词形式系统及其可靠性被引量:2
《计算机应用研究》2011年第1期84-86,101,共4页马盈仓 何华灿 
国家自然科学基金资助项目(60273087;60575034);陕西省教育厅专项科研计划资助项目(2010JK567);西北工业大学基础研究基金资助项目(W018101)
对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保...
关键词:泛逻辑 谓词演算形式系统 泛与运算 
Frank三角范数的一类模糊逻辑系统的真度理论被引量:2
《计算机工程与应用》2011年第2期32-34,45,共4页张美 马盈仓 
陕西省教育厅科研计划项目(No.2010JK567)
在一类基于Frank三角范数的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,并利用积分真度定义公式间的相似度和伪距离,讨论相似度和伪距离性质。
关键词:积分真度 相似度 伪距离 
谓词形式系统UL_(hε[0.75,1])^-及其完备性
《计算机工程与应用》2010年第34期17-20,共4页马盈仓 何华灿 
国家自然科学基金(No.60273087;No.60575034);陕西省教育厅专项科研计划项目(No.2010JK567);西北工业大学基础研究基金(No.W018101)~~
主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh-?[0.751]的语...
关键词:泛逻辑 谓词演算形式系统 泛与运算 
检索报告 对象比较 聚类工具 使用帮助 返回顶部