导读:本文包含了广义重言式论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:重言,广义,代数,逻辑,系统,语义,规则。
广义重言式论文文献综述
李顺琴,惠小静[1]（2015）在《Gainse-Rescher系统基于子代数的广义重言式》一文中研究指出将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集F(S)的一个分划。(本文来源于《计算机工程与应用》期刊2015年19期）
李顺琴,惠小静[2]（2015）在《修正的RDP逻辑系统中的广义重言式理论》一文中研究指出提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。(本文来源于《济南大学学报(自然科学版)》期刊2015年04期）
李顺琴,惠小静[3]（2015）在《修正的RDP逻辑系统中子代数的广义重言式理论》一文中研究指出讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F(S)关于~同余的一个分划。(本文来源于《计算机工程与应用》期刊2015年12期）
惠小静,郝国平[4]（2014）在《逻辑系统RDP中广义重言式的语义MP、HS规则》一文中研究指出将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立。(本文来源于《模糊系统与数学》期刊2014年04期）
张凤霞[5]（2014）在《基于一元算子的模糊蕴涵和余蕴涵及其广义重言式研究》一文中研究指出模糊蕴涵作为经典二值逻辑中蕴涵算子在模糊逻辑中的推广,近年来已成功应用于模糊控制、近似推理、词计算、模糊图像处理等诸多领域,因而该算子引起了学者们的广泛关注.其中,模糊蕴涵算子的构造方式以及与蕴涵算子相关的广义重言式已经成为当前研究的热点.模糊余蕴涵作为模糊蕴涵的对偶算子,却很少引起学术界的重视.目前,人们逐渐意识到余蕴涵算子在模糊逻辑的理论及应用中发挥着重要作用.然而,有关余蕴涵的研究工作仍然仅限于剩余蕴涵,S-蕴涵和QL-蕴涵的对偶情况,对于其它类型的余蕴涵却鲜有文献报道.此外,与模糊余蕴涵有关的广义重言式研究至今在国内外仍未见相关报道.本文基于几类一元算子构造系列模糊蕴涵和余蕴涵,并研究这些算子所对应的广义重言式.本文的研究将丰富模糊逻辑算子理论,同时为工程技术人员提供更大的算子选择空间.全文主要内容如下：第一章为绪论部分,主要介绍模糊蕴涵和余蕴涵的概念、研究现状以及本文的主要工作.第二章借助于连续阿基米德叁角模的加法生成子f,引入u-算子的概念,并利用f和u-算子构造模糊蕴涵,我们称之为(f,u)-蕴涵.本章将具体分析(f,u)-蕴涵满足左单位元性、置换性、同一原则、序性质与后边界性等性质的条件,同时针对(f,u)-蕴涵研究叁类广义重言式,即弱输入法则、换质位对称性和各类分配性方程,并给出(f,u)-蕴涵满足以上广义重言式的条件.这些工作将有助于人们根据具体的应用环境选择合适的f-生成子和u-算子,进而得到理想的模糊蕴涵.第叁章利用连续阿基米德叁角模的加法生成子f构造一类模糊蕴涵,即(f,L)-蕴涵.指出该类模糊蕴涵满足左单位元性和置换性,并给出其满足同一原则和序性质的条件.同时,分析(f,L)-蕴涵的连续性,指出该蕴涵不同于R-、(S,N)-、QL-、Yager的f-和g-蕴涵.最后,研究(f,L)-蕴涵满足输入法则、换质位对称性和分配性方程的条件.特别地,我们给出特定条件下满足分配性方程的非平凡叁角(余)模的解.第四章借助于连续阿基米德叁角余模的加法生成子g,引入U-算子的概念,并利用g和U-算子构造出一类模糊蕴涵,称之为(g,U)-蕴涵.我们分析该类蕴涵的性质,并刻画这类蕴涵,指出其与边界蕴涵的等价性.另外,我们给出满足分配性方程的(g,U)-蕴涵解.特别地,当T和S分别为连续阿基米德叁角模和取大叁角余模SM时,我们给出满足分配性方程的(9,U)-蕴涵解.针对Yager的g-蕴涵,找出满足分配性方程的异于TM的叁角模解.这将有助于人们在近似推理或模糊控制等领域中更为有效的选择模糊蕴涵算子.第五章利用连续阿基米德叁角余模的加法生成子9构造一类模糊蕴涵,称之为(g,L)-蕴涵.我们分析(g,L)-蕴涵的性质,指出其满足左单位元性和置换性,但不满足序性质,给出该蕴涵满足同一原则的条件.同时,讨论(g,L)-蕴涵与R-、(S,N)-、QL-、Yager的f-与g-蕴涵之间的关系,指出(9,L)-蕴涵不同于上述几类蕴涵.最后,研究(g,L)的输入法则,换质位对称性和各类分配性方程.第六章中,利用可表示一致模的广义加法生成子以及模糊补构造一类新的模糊余蕴涵,即(h,N)-余蕴涵,指出文[50]所提出的h-蕴涵的对偶余蕴涵是(h,N)-余蕴涵的一个子类.然后,讨论(h,N)-余蕴涵的相关性质,指出(h,N)-余蕴涵满足左单位元性质、置换性和后边界性,并给出(h,N)-余蕴涵满足同一原则和序性质的条件.此外,我们还将分析该类余蕴涵的连续性.最后,研究(h,N)-余蕴涵的叁类广义重言式,给出(h,N)-余蕴涵满足输入法则,换质位对称性和各类分配性方程的条件.全文创新点如下：1.借助于连续阿基米德叁角模和叁角余模的加法生成子f与9,分别提出u-算子和U-算子的概念,利用上述算子分别得到(f,u)-、(g,U)-蕴涵,并研究这两类蕴涵的性质及满足各类广义重言式的条件.2.利用连续阿基米德叁角模和叁角余模的加法生成子f与g,提出(f,L)-和(9,L)-蕴涵.分别讨论上述蕴涵与已有的R-、(S,N)-、QL-、Yager的f-和g-蕴涵之间的关系,并研究这两类蕴涵的性质及满足各类广义重言式的条件.3.利用可表示一致模的广义加法生成子和模糊补算子构造一类新的模糊余蕴涵,称之为(h,N)-余蕴涵.讨论该类余蕴涵的性质,并给出满足各类广义重言式的条件.(本文来源于《山东大学》期刊2014-03-20）
李修清,魏海新[6]（2011）在《R_G-代数的子代数与广义重言式理论》一文中研究指出对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。(本文来源于《计算机工程与应用》期刊2011年29期）
于鸿丽,吴洪博[7]（2011）在《逻辑系统RDP中子代数的广义重言式理论》一文中研究指出将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念,并讨论其序稠密子代数的广义重言式理论(本文来源于《计算机工程与应用》期刊2011年32期）
李修清[8]（2011）在《Gdel逻辑系统中1/2-子代数上的广义重言式理论》一文中研究指出将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的叁类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的叁类子代数中给出F(S)关于同余的一个分划。(本文来源于《计算机工程与应用》期刊2011年05期）
魏海新[9]（2010）在《Gdel系统中一类子代数上的广义重言式理论》一文中研究指出将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。(本文来源于《计算机工程与应用》期刊2010年29期）
黄阿敏,裴道武[10]（2010）在《系统RDP中的广义重言式理论》一文中研究指出研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有叁种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可达0-重言式和可达(1/2)-重言式分别提升为可达(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式。这表明对非重言式有限次利用升级算法未必能得到重言式。(本文来源于《模糊系统与数学》期刊2010年04期）
广义重言式论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
广义重言式论文参考文献
[1].李顺琴,惠小静.Gainse-Rescher系统基于子代数的广义重言式[J].计算机工程与应用.2015
[2].李顺琴,惠小静.修正的RDP逻辑系统中的广义重言式理论[J].济南大学学报(自然科学版).2015
[3].李顺琴,惠小静.修正的RDP逻辑系统中子代数的广义重言式理论[J].计算机工程与应用.2015
[4].惠小静,郝国平.逻辑系统RDP中广义重言式的语义MP、HS规则[J].模糊系统与数学.2014
[5].张凤霞.基于一元算子的模糊蕴涵和余蕴涵及其广义重言式研究[D].山东大学.2014
[6].李修清,魏海新.R_G-代数的子代数与广义重言式理论[J].计算机工程与应用.2011
[7].于鸿丽,吴洪博.逻辑系统RDP中子代数的广义重言式理论[J].计算机工程与应用.2011
[8].李修清.Gdel逻辑系统中1/2-子代数上的广义重言式理论[J].计算机工程与应用.2011
[9].魏海新.Gdel系统中一类子代数上的广义重言式理论[J].计算机工程与应用.2010
[10].黄阿敏,裴道武.系统RDP中的广义重言式理论[J].模糊系统与数学.2010
论文知识图
