导读:本文包含了格值逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,代数,蕴涵,语义,剩余,上下文,完备。
格值逻辑论文文献综述
彭家寅[1]（2019）在《基于完备剩余格值逻辑的伪BCI-代数的不分明化理想》一文中研究指出通过完备剩余格值逻辑中一元模糊谓词演算,将伪BCI-代数中的经典模糊理想、模糊p-理想、模糊结合理想、模糊q-理想和模糊a-理想进行重新刻画,引入了BCI-代数的l-值模糊理想、l-值模糊p-理想、l-值模糊结合理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这几种l-值模糊理想的性质及关系。提供了l-值模糊理想成为l-值模糊p-理想(l-值模糊q-理想)的条件,研究了这些l-值模糊理想在交、同态映射和笛卡尔积运算下的不变性,推广了经典模糊情形下相应的现有结论。(本文来源于《模糊系统与数学》期刊2019年05期）
彭家寅[2]（2019）在《基于完备剩余格值逻辑的下推自动机与上下文无关文法》一文中研究指出引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。(本文来源于《山东大学学报(理学版)》期刊2019年05期）
洪智勇,刘熠,秦克云[3]（2017）在《分层格值命题逻辑系统中几类推理规则的讨论》一文中研究指出在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性。(本文来源于《计算机工程与应用》期刊2017年24期）
左卫兵[4]（2017）在《基于剩余格语义的格值逻辑系统的程度化方法》一文中研究指出基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余格语义的概率计量化提供了一种可行的方法.(本文来源于《电子学报》期刊2017年08期）
贾海瑞[5]（2017）在《基于格值逻辑的α-多元线性归结自动推理研究》一文中研究指出人工智能领域中的一个极具有挑战性的研究方面是自动推理(定理机器证明),归结自动推理是自动推理的重要研究方向之一,其研究成果已被应用到很多重要领域,如人工智能、逻辑编程、问题求解、软件模型检测与测试、安全协议、程序自动验证、应答系统等方面。现实世界中经常遇到一些由于其多因素而产生不可比较性的问题,这类带有不可比较性信息的问题往往很复杂。基于格蕴涵代数的格值逻辑系统的归结自动推理是解决这类问题的有效方法之一。本文在其他学者的工作基础上,依据经典逻辑的归结推理方法,对基于格蕴涵代数的格值逻辑系统的α-多元线性归结自动推理的理论、方法、算法、程序展开研究。取得的研究成果主要有以下五个方面:第一部分,在基于Lukαsiewicz蕴涵代数Ln的格值命题逻辑系统LnP(X)中,得到了一类3阶不可分极简式(3-IESF)所有可能的形式,针对其中一类特别重要的3-IESF,给出了它与n-IESF(0≤n≤3)之间的α -可归结性。第二部分,在基于格值逻辑系统的α-多元归结原理的基础上,针对广义文字所有分类的分界广义文字,给出了它们之间任意叁个广义文字的α-可归结性,进一步得到了格值逻辑系统中的α-多元归结域的一些性质。第叁部分,进一步在基于格值命题逻辑系统LP(X)的α-多元归结原理基础之上,提出了基于格值命题逻辑系统LP(X)的α-多元极小归结原理,建立了 LP(X)中的α-多元极小归结原理的可靠性和完备性。然后,基于LP(X)的α-多元极小归结原理,建立了基于LP(X)的α-多元有序线性极小归结方法,并建立了基于LP(X)的α-多元有序线性极小归结方法的可靠性和条件完备性定理,分析了基于LP(X)的α-多元有序线性极小归结方法的有效性。进一步,构造了基于LP(X)的α-多元有序线性极小归结自动推理算法,为了提升该算法的归结效率,给出了广义子句集预处理的方法和选取广义文字及判定时的六个策略,然后证明了 α-多元有序线性极小归结自动推理算法的可靠性和完备性,对该自动推理算法的时间复杂度进行了分析,给出了一个例子进行阐述算法的有效性,设计了基于LP(X)的α-多元有序线性极小归结自动推理程序。第四部分,提出了基于格值一阶逻辑系统LF(X)的α-多元极小归结原理,得到相应的提升引理,并证明了基于LF(X)的α-多元极小归结原理是可靠和完备的,进而得到了α-多元极小归结原理的等价转换定理。然后,基于LF(X)的α-多元极小归结原理,建立了基于LF(X)的α-多元有序线性极小归结方法,并建立了基于LF(X)的α-多元有序线性极小归结方法的可靠性和条件完备性定理,得到了 α-多元有序线性极小归结方法的等价转换定理,分析了基于LF(X)的α-多元有序线性极小归结方法的有效性。进一步,构造了基于LF(X)的α-多元有序线性极小归结自动推理算法,证明了该算法是可靠且完备的,并给出了一个例子进行阐述α-多元有序线性极小归结算法的有效性。第五部分,为了进一步提高α-归结能力和归结效率,针对广义文字归结的α-多元极小归结进一步提升,提出了基于格值命题逻辑系统LP(X)的非子句α-多元极小广义归结原理,并证明了该广义归结原理是可靠和完备的。提出了基于LP(X)的非子句α-多元有序线性广义归结方法,得到其可靠性和条件完备性。然后,基于非子句α-多元有序线性广义归结方法,构造了 LP(X)中的一个非子句α-多元有序线性广义归结算法。进一步,将基于格值命题逻辑系统LP(X)的非子句α-多元极小广义归结原理推广到LF(X)中,提出了基于格值一阶逻辑系统LF(X)的非子句α -多元极小广义归结原理,给出了相应的提升引理和等价转换定理,证明了该广义归结原理是可靠和完备的。接下来,提出了基于LF(X)的非子句α-多元有序线性广义归结方法,得到了其可靠性和条件完备性。最后,基于非子句α-多元有序线性广义归结方法,构造了 LF(X)中的一个非子句α -多元有序线性广义归结算法。(本文来源于《西南交通大学》期刊2017-05-31）
张家锋,徐扬,曹发生[6]（2016）在《格值一阶逻辑中α-语义归结方法的相容性》一文中研究指出为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给出了带有删除策略的α-语义归结的完备性;接着,给出了带有删除策略的α-语义归结算法,并证明了该算法的可靠性和完备性;通过实例说明了该算法的可行性.(本文来源于《辽宁工程技术大学学报(自然科学版)》期刊2016年11期）
张家锋,徐扬,曹发生[7]（2016）在《格值一阶逻辑LF(X)中α-广义语义归结方法的相容性》一文中研究指出自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于格值逻辑的α-广义归结原理的效率,将删除策略应用于α-广义语义归结方法,研究了格值逻辑中删除策略和α-广义语义归结的相容性。首先证明了带有删除策略的α-广义语义归结的完备性;接着,给出了带有删除策略的α-广义语义归结算法,并证明了该算法的可靠性和完备性。(本文来源于《模糊系统与数学》期刊2016年01期）
张家锋,曹发生[8]（2015）在《格值逻辑命题逻辑(L_n×L_2)P(X)中广义文字的α-归结性》一文中研究指出由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵代数L_n×L_2的格值命题逻辑系统(L_n×L_2)P(X)中0-IESF与其他广义文字之间的α-归结性,得到了两个广义文字可进行α-归结的条件。(本文来源于《计算机工程与应用》期刊2015年24期）
肖蕾[9]（2015）在《基于格值逻辑的模糊代数研究》一文中研究指出模糊逻辑研究的一个重要方向是研究其逻辑代数系统.逻辑代数系统中一般以偏序集和一些运算为模型来建立逻辑与代数的桥梁,用代数方法解决逻辑问题.剩余格是一类比较重要的代数系统.本文探讨了剩余格上的t-滤子、I-滤子、EIMTL-滤子等滤子的性质,给出剩余格上n-维模糊滤子、n-维模糊EIMTL-滤子、n-维模糊t-滤子、n-维模糊同余关系的定义,还研究了它们的性质.取得的主要结果概括如下：在第二章中,讨论了t-滤子和I-滤子的关系.将EIMTL-滤子和associative滤子的定义推广到剩余格并研究了它们的性质,讨论了在什么条件下,EIMTL-滤子一定是t-滤子.证明了每个剩余格都有真EIMTL-滤子.另外,还讨论了剩余格满足什么条件有真associative滤子.最后将EIMTL-滤子定义推广到非可换剩余格,并研究了它的性质.在第叁章中,将剩余格上一维模糊模糊滤子概念进行推广给出了n-维模糊滤子的概念,并讨论了它的等价刻画,讨论了n-维模糊滤子与其上截集的关系.给出了n-维模糊EIMTL-滤子的概念,并讨论了它的等价刻画,也讨论了n-维模糊EIMTL-滤子与其上截集的关系.给出了n-维模糊t-滤子的概念,并研究了它的性质,运用n-维模糊t-滤子,得到n-维模糊divisible滤子和n-维模糊strong滤子的定义及其刻画.在第四章中,给出剩余格上n-维模糊同余关系定义,并研究它的一些性质.引入n-维模糊关系的上截集定义,并且讨论它与n-维模糊同余关系的关系.给出剩余格上n-维模糊滤子和n-维模糊同余关系的一一对应.还讨论了n-维模糊等价关系与其α-水平关系的关系.(本文来源于《江南大学》期刊2015-12-01）
张家锋,徐扬,陈琴[10]（2015）在《语言真值格值命题逻辑中的α-语义归结方法》一文中研究指出语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。(本文来源于《计算机科学》期刊2015年11期）
格值逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
格值逻辑论文参考文献
[1].彭家寅.基于完备剩余格值逻辑的伪BCI-代数的不分明化理想[J].模糊系统与数学.2019
[2].彭家寅.基于完备剩余格值逻辑的下推自动机与上下文无关文法[J].山东大学学报(理学版).2019
[3].洪智勇,刘熠,秦克云.分层格值命题逻辑系统中几类推理规则的讨论[J].计算机工程与应用.2017
[4].左卫兵.基于剩余格语义的格值逻辑系统的程度化方法[J].电子学报.2017
[5].贾海瑞.基于格值逻辑的α-多元线性归结自动推理研究[D].西南交通大学.2017
[6].张家锋,徐扬,曹发生.格值一阶逻辑中α-语义归结方法的相容性[J].辽宁工程技术大学学报(自然科学版).2016
[7].张家锋,徐扬,曹发生.格值一阶逻辑LF(X)中α-广义语义归结方法的相容性[J].模糊系统与数学.2016
[8].张家锋,曹发生.格值逻辑命题逻辑(L_n×L_2)P(X)中广义文字的α-归结性[J].计算机工程与应用.2015
[9].肖蕾.基于格值逻辑的模糊代数研究[D].江南大学.2015
[10].张家锋,徐扬,陈琴.语言真值格值命题逻辑中的α-语义归结方法[J].计算机科学.2015
论文知识图
