导读:本文包含了模糊演绎系统论文开题报告文献综述及选题提纲参考文献，主要关键词:HS-代数,模糊演绎系统,落影理论
模糊演绎系统论文文献综述
杨永伟,王伟[1]（2015）在《HS-代数的(落影)模糊演绎系统》一文中研究指出定义了HS-代数的模糊演绎系统,由模糊积和模糊上集给出了模糊演绎系统的一个新刻画,讨论了模糊演绎系统的像和逆像的性质.使用落影理论讨论了HS-代数的演绎系统,并研究了落影模糊演绎系统和模糊演绎系统的关系.(本文来源于《浙江大学学报(理学版)》期刊2015年06期）
张胜礼[2]（2014）在《带有不同否定的模糊命题逻辑的形式演绎系统》一文中研究指出对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom(fuzzy sets with contradictory negation,opposite negation and medium negation),随后建立了一种改进的模糊集IFScom(improved FScom)。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。(本文来源于《计算机科学与探索》期刊2014年04期）
徐伟栋,刘伟,厉力华,马莉,邵国良[3]（2010）在《一种基于小波域检测与自适应神经网络模糊演绎系统的微钙化检测新算法》一文中研究指出目的基于乳腺癌微钙化的重要早期征象,研究乳腺X线图像计算机辅助诊断的检测与算法。方法提出了一种新的微钙化自动检测技术:它采用离散小波变换分解图像的高频分量,在小波域中对疑似的微钙化进行检测,并使用自适应神经网络模糊演绎系统(ANFIS)进行自适应调节;然后使用基于多层感知器(MLP)的分类器对疑似的微钙化进行筛选,以降低检测的假阳性率。结果在使用FROC曲线中段的参数组进行实际检测时,本算法的真阳性检出率达到了96.9%,每张图像的假阳性个数为0.2个。结论由于拥有自适应调节能力,本算法与传统的微钙化检测算法相比,具有了更高的检测精度和稳定性。(本文来源于《航天医学与医学工程》期刊2010年02期）
秦学成,刘春辉[4]（2010）在《基于HFI代数的模糊命题演算的形式演绎系统》一文中研究指出建立了一个基于HFI代数的模糊命题演算形式系统H*,研究了这个系统的基本特征.并讨论了该系统关于建立在HFI代数上语义的完备性.(本文来源于《赤峰学院学报(自然科学版)》期刊2010年01期）
王小敏[5]（2007）在《L～*系统中的模糊演绎定理与R_0代数性质的新探索》一文中研究指出随着人工智能与信息科学研究的不断深入，模糊逻辑的研究也已成为了一大热点，而模糊逻辑的研究与逻辑代数密不可分。历史上，早期的逻辑代数研究始于Leibniz，他用符号表示命题，建立了二值逻辑演算理论。到了20世纪现代经典数理逻辑已经形成，其特点在于对任何命题均作“真”与“假”的二值判断。但是，科学技术是不断在进步和发展的，经典二值逻辑不能满足各种新型推理的需要，在现实生活中，无法以绝对真与绝对假的二值逻辑来处理的现象也比比皆是。因此，必须将经典二值逻辑加以改进和推广才能满足新型推理和现实生活的需要，改进和推广的方法之一就是扩充经典二值逻辑的赋值域，这就形成了多值逻辑系统和模糊逻辑系统，这方面着名的系统有Lukasiewicz逻辑系统，Godel逻辑系统，Gainse-Resche逻辑系统，基础逻辑系统BL，模糊命题演算的形式演绎系统L~*…等等。模糊逻辑是模糊推理的数学基础，同时也是人工智能界关注的热点，许多基于不同实际背景的模糊逻辑的形式演绎系统被提出。模糊命题演算的形式演绎系统L~*是王国俊教授于1997年提出的，该系统集中了其他几个系统的优点特别是该系统中公理L10的提出，使得该系统较之其它系统有了更良好的性质，与此同时，与模糊逻辑的形式演绎系统相对应的代数语义方面的研究也硕果累累，其中基于连续t-模的BL代数和基于左连续t-模的MTL代数的提出尤为引人注目。2003年，裴道武教授证明了MTL代数的一个重要扩张—NM代数与R_0代数等价，这就使得国内关于R_0代数的众多研究成果和方法可以被移植到NM代数中去，进而丰富和完善MTL代数理论。R_0代数是在语义上与模糊命题演算的形式演绎系统L~*相匹配的代数系统，也是王国俊教授为适应L~*系统研究的需要而提出的，因此，有必要对R_0代数作进一步的讨论与研究，这样也有助于加深对L~*系统的认识。本文共分为叁部分：第一部分：作为预备知识，给出了L~*系统及与其相应的代数结构，并给出了本文要用到的关于此逻辑系统的若干主要定理以及相应代数结构的若干基本性质。第二部分：对模糊命题演算的形式演绎系统L~*中的演绎定理进行了详细地讨论，得到了在一定条件下的L~*系统中的演绎定理：设A，B∈F(S)，p，q∈S，若(?)(q→(?)p∨p)∨q→A，Γ(?)F(S)，则Γ(?)A→B当且仅当Γ∪{A}(?)B。将L~*系统中的模糊演绎定理进行了改进，进一步说明了L~*系统所具有的良好性质。第叁部分：讨论了R_0代数与基础R_0代数其中的一些基本性质及R_0代数与基础R_0代数的区别与联系，在(a→b)∨((a→b)→(?)a∨b)=1条件下基础R_0代数就是R_0代数，并且得到了R_0代数的一类等价系统及R_0代数与MV代数、BCK代数等代数系统的关系。(本文来源于《陕西师范大学》期刊2007-04-01）
吴洪博,王小敏,韩诚[6]（2005）在《L~*系统中的模糊演绎定理的改进形式》一文中研究指出研究了模糊命题演算的形式演绎系统L .对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B.将L 系统中的模糊演绎定理进行了改进,进一步说明了L 系统所具有的良好性质.同时,在本文定理的证明中进一步体现了L 系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.(本文来源于《四川大学学报(自然科学版)》期刊2005年01期）
裴道武[7]（2002）在《模糊逻辑中的自然演绎系统》一文中研究指出讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。基于着名的形式演绎系统L ,建立起对应的自然演绎系统L ND,并且证明了这个系统的完备性。由于一系列新的推理规则的引入 ,模糊逻辑的推理能力得到明显增强。(本文来源于《工程数学学报》期刊2002年03期）
杨晓斌[8]（2001）在《初等模糊一阶逻辑的准形式演绎系统》一文中研究指出本文在模糊命题逻辑演绎系统的基础上，引入了模糊意义下的一阶逻辑的相关概念，建立了模糊一阶（谓词）逻辑的准形式演绎系统 .并且证明了相应的可靠性定理 .(本文来源于《淄博学院学报(自然科学与工程版)》期刊2001年01期）
吴洪博,文秋梅[9]（2001）在《L~*系统中的模糊演绎定理》一文中研究指出研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) .(本文来源于《陕西师范大学学报(自然科学版)》期刊2001年01期）
王国俊[10]（1997）在《模糊命题演算的一种形式演绎系统》一文中研究指出Elkan1993年7月在美国第11届人工智能年会上作题为“模糊逻辑的似是而非的成功”的报告起了一场轩然大波,随即有15位从事人工智能与模糊系统研究的专家对其进行了反驳,最后Elkan又以“关于模糊逻辑的似是而非的争论”作答.吴望名教授就此作了专门分析.这一事实表明就模糊命题演算而言还没有一个严格的逻辑基础.本文首先指出,在模糊命题演算的范围内,希望保持所有的经典定理为重言式是不可能的;然后在放弃了个别经典公理的基础上引入了模糊命题演算的一种形式演绎系统,证明了相应的可靠性定理.1 模糊公式及其赋值定义1 设S是非空集,其元素称为原子命题或原子公式,“(?)”,“∨”,“→”是连接词,“(”与“)”是括号.规定(本文来源于《科学通报》期刊1997年10期）
模糊演绎系统论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom(fuzzy sets with contradictory negation,opposite negation and medium negation),随后建立了一种改进的模糊集IFScom(improved FScom)。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模糊演绎系统论文参考文献
[1].杨永伟,王伟.HS-代数的(落影)模糊演绎系统[J].浙江大学学报(理学版).2015
[2].张胜礼.带有不同否定的模糊命题逻辑的形式演绎系统[J].计算机科学与探索.2014
[3].徐伟栋,刘伟,厉力华,马莉,邵国良.一种基于小波域检测与自适应神经网络模糊演绎系统的微钙化检测新算法[J].航天医学与医学工程.2010
[4].秦学成,刘春辉.基于HFI代数的模糊命题演算的形式演绎系统[J].赤峰学院学报(自然科学版).2010
[5].王小敏.L～*系统中的模糊演绎定理与R_0代数性质的新探索[D].陕西师范大学.2007
[6].吴洪博,王小敏,韩诚.L~*系统中的模糊演绎定理的改进形式[J].四川大学学报(自然科学版).2005
[7].裴道武.模糊逻辑中的自然演绎系统[J].工程数学学报.2002
[8].杨晓斌.初等模糊一阶逻辑的准形式演绎系统[J].淄博学院学报(自然科学与工程版).2001
[9].吴洪博,文秋梅.L~*系统中的模糊演绎定理[J].陕西师范大学学报(自然科学版).2001
[10].王国俊.模糊命题演算的一种形式演绎系统[J].科学通报.1997