搜索到204篇“ 格值逻辑“的相关文章
- 基于完备剩余格值逻辑的BCI-代数的三种模糊理想
- 2023年
- 通过完备剩余格值逻辑中一元模糊谓词,将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画,引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这三种l-值模糊理想的性质及关系,推广了经典模糊情形下相应的现有结论。
- 彭家寅刘淼汤建钢
- 关键词：BCI-代数
- 基于L^(*)-格值逻辑上的直觉I-fuzzy凸集
- 2022年
- 基于L^(*)-格值逻辑语义,给出了该语义框架下的直觉I-fuzzy凸集的定义,推广了L;-格值逻辑上的直觉不分明化凸集的结果,研究了直觉I-fuzzy凸集的代数性质。
- 杨帆王瑞英
- 关键词：LUKASIEWICZ蕴涵算子
- 基于广义语言真值格值逻辑的不确定性推理方法
- 随着人工智能的发展，人们的生活越来越智能化，日常生活中在客观评价和推理时，会有很多不确定性的信息。人类在表达不确定信息时习惯用语言值，语言真值格蕴涵代数的提出不仅能够很好地处理既具有可比性又具有不可比性的语言值信息问题，...
- 高蕴慧
- 关键词：人工智能格值逻辑
- 文献传递
- 基于完备剩余格值逻辑的下推自动机与上下文无关文法被引量：1
- 2019年
- 引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。
- 彭家寅
- 基于完备剩余格值逻辑的伪BCI-代数的不分明化理想
- 2019年
- 通过完备剩余格值逻辑中一元模糊谓词演算,将伪BCI-代数中的经典模糊理想、模糊p-理想、模糊结合理想、模糊q-理想和模糊a-理想进行重新刻画,引入了BCI-代数的l-值模糊理想、l-值模糊p-理想、l-值模糊结合理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这几种l-值模糊理想的性质及关系。提供了l-值模糊理想成为l-值模糊p-理想(l-值模糊q-理想)的条件,研究了这些l-值模糊理想在交、同态映射和笛卡尔积运算下的不变性,推广了经典模糊情形下相应的现有结论。
- 彭家寅
- 基于格值逻辑的α-多元线性归结自动推理研究
- 人工智能领域中的一个极具有挑战性的研究方面是自动推理（定理机器证明），归结自动推理是自动推理的重要研究方向之一，其研究成果已被应用到很多重要领域，如人工智能、逻辑编程、问题求解、软件模型检测与测试、安全协议、程序自动验证...
- 贾海瑞
- 关键词：格值逻辑格蕴涵代数
- 基于剩余格语义的格值逻辑系统的程度化方法被引量：3
- 2017年
- 基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余格语义的概率计量化提供了一种可行的方法.
- 左卫兵
- 关键词：剩余格概率真度
- 基于格值逻辑的模糊代数研究
- 模糊逻辑研究的一个重要方向是研究其逻辑代数系统.逻辑代数系统中一般以偏序集和一些运算为模型来建立逻辑与代数的桥梁,用代数方法解决逻辑问题.剩余格是一类比较重要的代数系统.本文探讨了剩余格上的t-滤子、I-滤子、EIMTL...
- 肖蕾
- 文献传递
- 格值逻辑命题逻辑(L_n×L_2)P(X)中广义文字的α-归结性
- 2015年
- 由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵代数L_n×L_2的格值命题逻辑系统(L_n×L_2)P(X)中0-IESF与其他广义文字之间的α-归结性,得到了两个广义文字可进行α-归结的条件。
- 张家锋曹发生
- 关键词：格值逻辑格蕴涵代数
- 基于L*-格值逻辑上的直觉I-fuzzy拓扑空间闭包及网收敛理论被引量：2
- 2015年
- 以L*-格值上Lukasiewicz蕴含算子为工具,给出直觉I-fuzzy拓扑空间中闭包的概念,并讨论了它们的性质,最后研究了直觉I-fuzzy拓扑空间的网及其收敛性.
- 张春芝王瑞英姚尧
- 关键词：闭包网收敛
相关作者
- 徐扬
- 作品数：280被引量：1,121H指数：15
- 供职机构：西南交通大学数学学院
- 研究主题：格蕴涵代数 格值命题逻辑 滤子 子句 命题逻辑
- 张家锋
- 作品数：26被引量：25H指数：3
- 供职机构：贵州民族大学理学院
- 研究主题：格值逻辑 格蕴涵代数 格值命题逻辑 X 粗糙集
- 宋振明
- 作品数：54被引量：155H指数：7
- 供职机构：西南交通大学数学学院
- 研究主题：格蕴涵代数 格值逻辑 概念格 子句 滤子
- 王瑞英
- 作品数：49被引量：39H指数：3
- 供职机构：内蒙古师范大学数学科学学院
- 研究主题：I FUZZY拓扑空间 FUZZY拓扑 FUZZY 连续值逻辑
- 刘春辉
- 作品数：101被引量：200H指数：10
- 供职机构：赤峰学院
- 研究主题：模糊逻辑 Q 剩余格 MP滤子 滤子
