赖家俊

作品数：11被引量：21H指数：3
导出分析报告
供职机构：西南交通大学更多>>
发文主题：格蕴涵代数F(X)VNPL更多>>
发文领域：理学自动化与计算机技术社会学经济管理更多>>
发文期刊：《模糊系统与数学》《系统科学与数学》《中国高校科技》《电子学报》更多>>
所获基金：国家自然科学基金国家教育部博士点基金四川省科技支撑计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
语言真值格蕴涵代数的蕴涵不可约元
《电子学报》2014年第10期1998-2003,共6页赖家俊 徐扬 
国家自然科学基金(No.60875034;No.61175055;No.11171308);四川省科技支撑计划(No.2011FZ0051)
本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义,并研究了它们的结构特征,证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成.
关键词：语言真值格蕴涵代数 蕴涵不可约元 有限蕴涵分解元 有限蕴涵分解不可约元 
基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中程度化公式的一些注记被引量：2
《系统科学与数学》2013年第10期1256-1262,共7页赖家俊 徐扬 
国家自然科学基金(60875034;61175055;11171308);四川省科技支撑计划项目(2011FZ0051)资助课题
引入了语言真值格值一阶逻辑系统L_(v(n×2))F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真的一些推演性质,得到了程度化公式偏真和恒真的一些语义与语法特征.
关键词：语言真值格值一阶逻辑 形式推演 逻辑公式 程度化公式 
基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中两种模型的不确定性推理被引量：2
《模糊系统与数学》2013年第4期28-35,共8页赖家俊 徐扬 
国家自然科学基金资助项目(60875034;61175055);四川省科技支撑计划项目(2011FZ0051)
在语言真值格值一阶逻辑系统的框架下,讨论了两种推理模型中的不确定性推理理论与方法,并针对不同的推理规则得到了推理算法,其推理算法既有合理的语义解释又有严密的语法论证。
关键词：语言真值格值一阶逻辑 不确定性推理 推理模型 推理规则 
基于语言真值格值一阶逻辑的不确定性推理的语法被引量：4
《模糊系统与数学》2011年第2期1-6,共6页赖家俊 徐扬 
国家自然科学基金资助项目(60875034);教育部博士点专项基金资助项目(20060613007)
讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的闭性和可靠性,证明了推理规则在α≤∧θ∈Ln×L2(θ→θ′)(θ≠(an,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要条件。
关键词：语言真值格蕴涵代数 语言真值格值一阶逻辑 语法 不确定性推理 
基于赋范格H蕴涵代数的性质被引量：2
《数学物理学报（A辑）》2010年第6期1465-1473,共9页赖家俊 徐扬 秦克云 
国家自然科学基金(60474022;60875034);高等学校博士学科点专项科研基金(20060613007)资助
首先,在范数的条件下将格H蕴涵代数进行了扩充(即赋范格H蕴涵代数),并讨论了它的性质.其次,在赋范格H蕴涵代数中定义了蕴涵距离d→,∨-距离d_∨,∧-距离d_∧,讨论了它们之间的性质,并通过两个赋范格H蕴涵代数L_1和L_2定义了赋范蕴涵满...
关键词：赋范格H蕴涵代数 蕴涵距离 赋范蕴涵同态 赋范同构 有界性 
基于语言真值格蕴涵代数中对偶分子的推理性质被引量：4
《模糊系统与数学》2010年第2期1-6,共6页赖家俊 徐扬 
国家自然科学基金资助项目(60875034);教育部博士点专项基金资助项目(20060613007)
众所周知,代数结构已成功应用于经典与非经典逻辑中。沿袭这种思想,徐扬教授为语言真值格值命题逻辑的代数语义解释找到了一个语言真值格蕴涵代数(L-LIA)的方法。本文进一步研究L-LIA中对偶分子的推理性质,证明了对偶分子在一定程度上...
关键词：语言真值蕴涵代数 对偶分子 推理性质 闭性 
赋范格H蕴涵代数和模糊格H蕴涵代数被引量：5
《计算机科学》2008年第11期156-159,共4页赖家俊 徐扬 乔全喜 
国家自然科学基金资助项目(60474022);教育部博士点专项基金资助项目(20060613007)
在范数的条件下扩充了格H蕴涵代数的概念,即赋范格H蕴涵代数,并讨论一些性质。然后将模糊集合论运用于赋范格H蕴涵代数,给出了模糊赋范格H蕴涵代数的定义,得到了一些基本性质。通过使用两个赋范格H蕴涵代数之间的映射定义了赋范格H蕴涵...
关键词：赋范格H蕴涵代数 模糊赋范格H蕴涵代数 赋范格H蕴涵代数同态 数列 
基于语言真值格值命题逻辑系统l_(νpl)的推理规则被引量：8
《计算机科学》2008年第9期230-232,共3页赖家俊 徐扬 
国家自然科学基金资助项目(编号:60474022);教育部博士点专项基金资助项目(编号:20060613007)
一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。
关键词：语言真值蕴涵代数 语言真值命题逻辑 推理规则 闭性 
伪格蕴涵代数
《江南大学学报（自然科学版）》2008年第2期248-252,共5页赖家俊 徐扬 
国家自然科学基金项目(60474022);教育部博士点基金项目(20060613007)
为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数...
关键词：格蕴涵代数 伪格蕴涵代数 伪子格蕴涵代数 
格蕴涵代数不等式被引量：8
《江南大学学报（自然科学版）》2007年第3期366-370,共5页赖家俊 徐扬 
国家自然科学基金项目(60474022);教育部博士点基金项目(20060613007)
针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.
关键词：格蕴涵代数 格蕴涵代数不等式 解集 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部