当前位置:主页 > 科技论文 > 数学论文 >

模糊逻辑系统中的形式化证明

发布时间:2017-11-16 20:17

  本文关键词:模糊逻辑系统中的形式化证明


  更多相关文章: 模糊逻辑系统 形式证明 等价性 基本逻辑BL 完备性


【摘要】:众所周知,模糊逻辑是由经典逻辑和多值逻辑推广而来的.如今,模糊逻辑在现实生活中的各个领域获得了广泛的应用,尤其是在人工智能领域、自动控制以及聚类分析领域.这些突出的成就使得其在研究不确定性问题中成为了最重要的研究方法与手段.近年来,模糊逻辑系统中的形式化证明也成为了模糊逻辑的一个新的研究热点.在模糊逻辑的众多研究方向之中有两个最重要的研究方向,那就是语义学方向与语构学方向.不论国内还是国外在模糊逻辑的研究中关注的更多的是语义学方面的研究.例如证明真值函数的完备性、代数问题的研究等都是基于语义学方面的研究.虽然模糊逻辑取得了斐然的研究成果,但是在语构学方面的研究还是相对较少.本文尝试通过对模糊逻辑系统中的形式化证明,即模糊命题形式系统NM与Lw*的等价性证明来填补模糊逻辑在语构学方面研究较少的这一缺陷.本文的主要研究工作可分为以下三个部分:1.介绍了模糊逻辑系统中形式证明的构造论及其证明论,并且在此基础上对几种常见的形式系统之间的联系进行了分析.2.给出了IMTL系统中两个重要性质PCP与PP性质成立的语构证明,最后用形式化的证明方法解决了形式系统NM与形式系统Lw*的等价性证明这一问题.3.对于前人在BL系统的完备性证明方面所取得的成果进行了探讨,并尝试用形式化证明的方法来证明基本逻辑BL的完备性.
【学位授予单位】:浙江理工大学
【学位级别】:硕士
【学位授予年份】:2016
【分类号】:O159;O141

【相似文献】

中国期刊全文数据库 前10条

1 张小红;何华灿;徐扬;;基于Schweizer-Sklar T-范数的模糊逻辑系统[J];中国科学E辑:信息科学;2005年12期

2 孙昌安;模糊逻辑系统建模函数的数学描述[J];沈阳航空工业学院学报;1998年03期

3 邹丽;上下文相关模糊逻辑系统及其归结方法[J];辽宁师范大学学报(自然科学版);2002年03期

4 王文丽;单荣立;刘林;;基于模糊球的模糊逻辑系统及其逼近性质[J];模糊系统与数学;2008年03期

5 卞扣成;兰洁;王涛;;区间二型模糊逻辑系统在水位模糊控制中应用及仿真研究[J];辽宁工业大学学报(自然科学版);2010年06期

6 张兴芳;;命题模糊逻辑系统中公式的理论可证度[J];河北师范大学学报(自然科学版);2007年04期

7 高芹;张兴芳;王庆平;;命题模糊逻辑系统G銉d中公式的理论可证度[J];山东大学学报(理学版);2007年10期

8 史士英;李涛;张圣;尹义龙;;模糊逻辑系统的非线性组合预测方法与系统误差分析研究[J];计算机工程与科学;2008年11期

9 李学锋,黄万伟,,周凤岐;自适应模糊逻辑系统的聚类学习算法研究[J];控制与决策;1996年04期

10 孙多青,霍伟;线性多步法模糊逻辑系统(英文)[J];控制理论与应用;2001年06期

中国博士学位论文全文数据库 前3条

1 张耿;概率模糊逻辑系统的理论研究及在复杂过程建模中的应用[D];中南大学;2012年

2 王文庆;基于模糊逻辑系统的复杂系统分析与控制[D];西北工业大学;2003年

3 岳菊梅;面向后件集的模糊推理机制及在Type-1与Type-2模糊逻辑系统中的应用[D];南开大学;2013年

中国硕士学位论文全文数据库 前10条

1 郭小蕾;区间二型TSK模糊逻辑系统的混合学习算法的研究[D];辽宁工业大学;2016年

2 王晋芳;模糊逻辑系统中的形式化证明[D];浙江理工大学;2016年

3 王文丽;模糊球及其在模糊逻辑系统中的应用研究[D];西安建筑科技大学;2008年

4 李玉姣;新的无规则模糊逻辑系统构造及控制应用[D];广东工业大学;2014年

5 刘汇洋;若干广义t-模及相关模糊逻辑系统[D];宁波大学;2010年

6 王明辉;区间2型模糊逻辑系统的鲁棒性分析[D];东北大学;2011年

7 高子林;基于自适应模糊逻辑系统的非线性系统跟踪及同步控制[D];广东工业大学;2013年

8 闫鹏;二型模糊逻辑系统的降型与推理模型研究[D];大连海事大学;2010年

9 何义平;基于SS-三角模的模糊逻辑系统UL~*的若干问题研究[D];南昌大学;2007年

10 鲍成磊;区间二型TSK模糊逻辑系统的设计及应用研究[D];辽宁工业大学;2014年



本文编号:1193571

资料下载
论文发表

本文链接:https://www.wllwen.com/kejilunwen/yysx/1193571.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户37a22***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com