【摘 要】
：
众所周知，模糊逻辑是由经典逻辑和多值逻辑推广而来的.如今，模糊逻辑在现实生活中的各个领域获得了广泛的应用，尤其是在人工智能领域、自动控制以及聚类分析领域.这些突出的成就
论文部分内容阅读
众所周知，模糊逻辑是由经典逻辑和多值逻辑推广而来的.如今，模糊逻辑在现实生活中的各个领域获得了广泛的应用，尤其是在人工智能领域、自动控制以及聚类分析领域.这些突出的成就使得其在研究不确定性问题中成为了最重要的研究方法与手段.近年来，模糊逻辑系统中的形式化证明也成为了模糊逻辑的一个新的研究热点. 在模糊逻辑的众多研究方向之中有两个最重要的研究方向，那就是语义学方向与语构学方向.不论国内还是国外在模糊逻辑的研究中关注的更多的是语义学方面的研究.例如证明真值函数的完备性、代数问题的研究等都是基于语义学方面的研究.虽然模糊逻辑取得了斐然的研究成果，但是在语构学方面的研究还是相对较少.本文尝试通过对模糊逻辑系统中的形式化证明，即模糊命题形式系统的等价性证明来填补模糊逻辑在语构学方面研究较少的这一缺陷. 本文的主要研究工作可分为以下三个部分： 1.介绍了模糊逻辑系统中形式证明的构造论及其证明论，并且在此基础上对几种常见的形式系统之间的联系进行了分析. 2.给出了IMTL系统中两个重要性质PCP与PP性质成立的语构证明，最后用形式化的证明方法解决了系统的等价性证明这一问题. 3.对于前人在BL系统的完备性证明方面所取得的成果进行了探讨，并尝试用形式化证明的方法来证明基本逻辑BL的完备性.
其他文献
本文主要讨论了具有Ⅳ类功能反应的离散非自治捕食模型(1)和时滞影响的离散非自治捕食系统(2),公式略。
分别获得了系统(1)和系统(2)的永久持续生存性，利用Brouwer不动点
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
现代信息技术的高速发展,网络已经走进了人们的生活,初中学生的生活世界中也多了一个丰富多彩的网络世界。QQ、微博、微信、个人空间等,都走进了学生的世界,很多学校曾经杜绝
信息技术课程有着较强的实践性与综合性,内容也丰富多彩,根据这些特点,教学方式应动态开放、灵活多变,给学生更多自主探索与实践的空间。但在当前的信息技术教学中,教学模式
书法艺术是我国独有的传统艺术形式,书法教育在我国古代就非常重视.现代书法教育主要目的在于加强素质教育,继承与弘扬中华民族优秀文化.中国的文化艺术有“不离生活日用”的
2015年8月到2016年5月,国培计划走进了东丰县的课堂教学之中,我们所有基层教师有幸领略了的名师专家的精彩纷呈的教学策略和课堂教学能力.在为期近一年的学习时间里,我的感悟
探究性实验是高中生物实验课程中的重要组成部分,教师应借助有效的教学策略让探究性实验更好地开展。本文将从实例出发,具体谈谈高中生物探究实验的有效教学策略。一、探究性
教师的专业程度和发展水平,直接决定教育教学质量和学校办学层次.成为打造学校核心竞争力的核心标杆.
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
摘要：桩基础是一种历史悠久而应用广泛的深基础形式。桩基础工程为地下隐蔽工程，工程质量是百年大计，为确保桩基工程的质量，应对桩基进行必要的检测，验证能否满足设计要求，保证桩基的正常使用。 关键词：桩基；水下混凝土灌注；施工 中图分类号：TU473.1文献标识码：A文章编号： 前言 桩基础是桥梁的根，桩基础的质量直接影响到大桥是否能够屹立于大江大河中，经狂风大浪而不到，变天堑为通途。灌注桥