一种弱BL形式演绎系统及其代数理论

来源 :昆明理工大学 | 被引量 : 0次 | 上传用户:myevanlee
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自1965年L.A.Zadeh提出了模糊集合<[1]>的概念以来,关于模糊系统的研究得到迅猛发展,这种研究在理论与应用方面都取得了丰硕的成果.特别是模糊控制技术被广泛应用于工业控制与家电产品的制造中,并取得令人瞩目的进步.Peter Hajek于1998年提出了基于连续三角模的basic logic(简称BL)以及BL代数的概念<[2]>,Esko Tumner在文献[3]中系统地研究了BL代数,傅丽在文献[4]中降低了BL以及BL-代数的条件研究了次BL代数的推理系统.本文基于他们的的研究,提出了弱BL及弱BL代数的概念.全文共分为四章,第一章是绪论,简单介绍了模糊逻辑发展史以及目前的概况;第二章是预备知识,给出了阅读本文须了解的有关知识;第三章是命题逻辑,提出强合取是左连续T-三角模以及合取是普通意义下的弱BL及弱BL代数的概念.详细研究了弱BL中经常用到的定理,并研究了一种同余关系极其商代数的代数问题.初次提出了商代数中的模糊滤子概念,研究了模糊滤子的有限交.有限并问题以及模糊滤子的λ截集与逻辑滤子的关系.在WBL的语意理论中把商代数中的相应结果推广到赋值集中来,讨论了[0,1]上的滤子问题,与滤子有关的同余关系问题及其商代数的性质定理;第四章是基于弱BL的谓词逻辑;提出了基于弱BL的谓词逻辑的概念,并研究了在可证等价关系下的可证等价定理及其语意理论.
其他文献
我们建立了离散的多项分布风险模型,并重点研究了离散的三项分布风险模型.该模型可以在各种风险机构的风险管理中得到广泛的应用.在第一章中,首先概述了风险理论研究的背景以
网购的渗透率从去年的19%上升至35%,而其方便比价和可以送货上门的便利性,对消费者的说服力更是无可匹敌。卖场超市的确该好好盘点自己的优劣所在了。近日,尼尔森研究发现,随
城市公共交通网络作为交通运输网络的一部分,在人们的日常生活中具有重要的作用和影响。本文基于复杂网络理论,以L空间网络方法构建了昆明市公交站点网络。分析了昆明市公交网
社会工业的飞速发展与科技的进步,带动了新材料、新元器件、新工艺技术的发展。例如,具有高导磁系数的高质量导磁材料的使用;具有高性能的半导、超导二极管、晶闸管的出现;计算机技术与数值计算方法的结合以及电力整流逆变技术的灵活应用等。电力工业的飞速发展,对电力系统的三大指标:电压、无功、谐波的要求越来越高,而伴随而来的大功率冲击性负荷的广泛使用会导致系统的电网电压发生波动、闪变、波形畸变等危害,严重影响电
随着经济的进步和科学技术的飞速发展,城市化的进程在不断的推进,城市的拥有大量的先进资源吸引着各地方的民众涌入城市。这就为城市规划及其管理提出来更高的要求,既要与城
我国特殊的自然地理条件以及对森林和植被的不合理利用,使我国成为了世界上水土流失最严重的国家之一。水土保持监控是进行水土流失治理的关键步骤。水保自动监测设备能够24
随着Internet/Intranet的迅猛发展,目录系统作为一种有效的资源管理工具,应用越来越广泛。目前,大型的现代企事业、政府机关和研究机构纷纷在局域网构建本地目录服务系统,管理内部
随着信息技术的发展、网络带宽的不断增加,基于宽带网络的各种应用中包含越来越多的语音、图像、视频等多媒体数据。从而,为用户提供方便存取、易于操作、灵活性强的网络多媒体
某仓库为传统仓库,当前主要问题是业务激增、总量大而单品少的配送现状、货位总量不足却货位浪费严重。随机存储具有非规范化、非优化、不确定性的特征,仓库作业时依赖客户的提
初中物理教学是一种知识基础性学习,其重要性不言而喻。初中物理教学观念和教学方法一直受到各界广泛的关注和重视。物理学科的特点决定了其在教学过程中需要培养学生的科学素