格值

作品数：227被引量：428H指数：11
导出分析报告
相关领域：理学天文地球更多>>
相关作者：徐扬张家锋秦克云宋振明李永明更多>>
相关机构：西南交通大学陕西师范大学中国科学院四川大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金贵州省科学技术基金陕西省教育厅科研计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
格值逻辑命题逻辑(L_n×L_2)P(X)中广义文字的α-归结性
《计算机工程与应用》2015年第24期8-11,共4页张家锋 曹发生 
国家自然科学基金(No.61175055;No.61305074);贵州省科学技术基金项目(No.LKB[2012]02);贵州民族大学引进人才项目(No.15XRY006)
由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵代数L_n×L_2的格值命题逻辑系统(L_n×L_2)P(X)中0-IESF与其他广...
关键词：自动推理 归结域 格值逻辑 格蕴涵代数 
格值命题逻辑系统中广义文字的正规性
《计算机工程与应用》2012年第10期43-46,127,共5页何星星 徐扬 李莹芳 张家锋 
国家自然科学基金(No.60875034);西南交通大学博士生创新基金
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。...
关键词：格值命题逻辑 α-归结原理 广义文字 正规性 语义性质 
四值非线性格值逻辑上公式的真度理论
《计算机工程与应用》2011年第30期50-52,共3页左卫兵 王俊芳 
河南省教育厅自然科学基金
王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构。在四值非线性格值逻辑系统上提出推广的真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑系统...
关键词：非线性格 命题逻辑 真度 逻辑度量空间 
一种五元格值逻辑上命题真度的分布
《计算机工程与应用》2011年第22期35-36,47,共3页左卫兵 张嘎 
河南省自然科学基金(No.112300410040);河南省教育厅自然科学基金(No.2011A110012)
利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式真度的表达通式,为在五元格值逻辑系统中建立近似推理理论提...
关键词：格值逻辑 真度 推理规则 稠密性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部