导读:本文包含了扰动模糊命题逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:重言,逻辑,命题,模糊,广义,算法,代数。
扰动模糊命题逻辑论文文献综述
陈图云,孟艳平,吴凤干[1](2005)在《扰动模糊命题逻辑系统中的广义重言式》一文中研究指出通过定义二维R0-蕴涵算子,将王国俊教授在逻辑系统W-中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统D-中,证明了这一系统中(μ,δ)-重言式就是某个(,λ1-λ)-重言式,最终获得与一维线性赋值格上完全相应的广义重言式分类。(本文来源于《模糊系统与数学》期刊2005年04期)
韩莹,陈森发[2](2005)在《扰动模糊命题逻辑的代数结构及其广义重言式性质》一文中研究指出着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.(本文来源于《高校应用数学学报A辑(中文版)》期刊2005年04期)
韩莹,陈森发[3](2005)在《有限扰动模糊命题逻辑系统的Σ-广义矛盾式》一文中研究指出为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.(本文来源于《东南大学学报(自然科学版)》期刊2005年05期)
孟艳平[4](2005)在《扰动模糊命题逻辑系统的语义》一文中研究指出扰动模糊命题逻辑系统的产生源于实际问题的需要,但在该系统中对王国俊教授关于一维逻辑系统W|-中广义重言式理论到二维逻辑系统的推广工作进行得并不顺利. 本文通过修改二维蕴涵算子,建立一个新的扰动模糊命题逻辑系统D|-,将王国俊教授关于一维逻辑系统W|-中广义重言式理论推广到二维相应的扰动模糊命题逻辑系统中,得到与之类似的结果. 首先,本文给出了逻辑系统D|-, D中的广义重言式的分类,对偶地,也讨论了逻辑系统D|-, D中的广义矛盾式的分类. 其次,不仅给出了无限值逻辑系统D|-, D中的升值算法,还讨论了有限扰动模糊逻辑系统D_k中的公式分类及升级算法. 最后,讨论了该系统中的广义语义MP 规则和广义语义HS 规则. 本文表明在某些特殊的二维赋值格上,王教授关于一维赋值格的理论完全可以推广.(本文来源于《辽宁师范大学》期刊2005-05-01)
韩莹[5](2003)在《扰动模糊命题逻辑及其广义重言式》一文中研究指出本文提出了扰动模糊命题的概念,定义了扰动模糊命题运算。首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发,讨论其逻辑代数及广义重言式的性质。进而将蕴涵算子修改为蕴涵算子,找到扰动模糊命题逻辑一个最大子代数,并将王国俊教授在逻辑系统中的广义重言式理论推广到中,讨论了其广义重言式的性质及分类,得到与王教授类似的结果。在此基础上给出局部赋值的广义重言式定义,在其中讨论重言式的升级算法。最后证明了有限值扰动模糊逻辑系统中广义重言式的重言式表示定理。本文表明王教授关于一维赋值格的理论需要加一定的限制条件才能推广到二维赋值格上去,而这一限制条件有着显而易见的实际背景,说明这样的限制是十分必要和不可避免的。(本文来源于《辽宁师范大学》期刊2003-01-01)
扰动模糊命题逻辑论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
扰动模糊命题逻辑论文参考文献
[1].陈图云,孟艳平,吴凤干.扰动模糊命题逻辑系统中的广义重言式[J].模糊系统与数学.2005
[2].韩莹,陈森发.扰动模糊命题逻辑的代数结构及其广义重言式性质[J].高校应用数学学报A辑(中文版).2005
[3].韩莹,陈森发.有限扰动模糊命题逻辑系统的Σ-广义矛盾式[J].东南大学学报(自然科学版).2005
[4].孟艳平.扰动模糊命题逻辑系统的语义[D].辽宁师范大学.2005
[5].韩莹.扰动模糊命题逻辑及其广义重言式[D].辽宁师范大学.2003