收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

刘新  
【摘要】:自1965年L.A.Zadeh提出了模糊集合的概念以来,关于模糊系统的研究得 到迅猛发展,这种研究在理论与应用方面都取得了丰硕的成果。特别是模糊控制 技术被广泛应用于工业控制与家电产品的制造中,并取得令人瞩目的进步。 Peter Hajek于1998年提出了基于连续三角模的basic logic(简称BL)以及 BL代数的概念,Esko Turnner在文献[3] 中系统地研究了BL代数,傅丽在文献 [4] 中降低了BL以及BL-代数的条件研究了次BL代数的推理系统。本文基于他 们的的研究,提出了弱BL及弱BL代数的概念。 全文共分为四章,第一章是绪论,简单介绍了模糊逻辑发展史以及目前的概 况;第二章是预备知识,给出了阅读本文须了解的有关知识;第三章是命题逻辑, 提出强合取是左连续T-三角模以及合取是普通意义下的弱BL及弱BL代数的概 念。详细研究了弱BL中经常用到的定理,并研究了一种同余关系极其商代数的 代数问题。初次提出了商代数中的模糊滤子概念,研究了模糊滤子的有限交.有限 并问题以及模糊滤子的λ截集与逻辑滤子的关系。在WBL的语意理论中把商代 数中的相应结果推广到赋值集中来,讨论了[0,1] 上的滤子问题,与滤子有关的同余 关系问题及其商代数的性质定理;第四章是基于弱BL的谓词逻辑;提出了基于弱 BL的谓词逻辑的概念,并研究了在可证等价关系下的可证等价定理及其语意理 论。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郑红梅;;N(2,2,0)代数的一个同余分解[J];喀什师范学院学报;2010年06期
2 刘新;张振良;赵晓燕;;一种弱BL形式演绎系统及其商代数理论[J];山东科技大学学报(自然科学版);2005年04期
3 王尊全;;MS-代数的同余核[J];三峡大学学报(自然科学版);2007年05期
4 黄万徽;分划、等价、商集和商代数[J];高等函授学报(自然科学版);1994年01期
5 杜晓红;常世琏;;SD代数的积代数和商代数[J];沈阳理工大学学报;1992年04期
6 秦学成;刘春辉;;正则剩余格的fuzzy⊙理想[J];山东大学学报(理学版);2010年10期
7 李金龙;广义结合BCI-代数的商代数[J];汉中师范学院学报;2001年03期
8 李旭东;由N(2,2,0)代数的幂零元集生成的一个商代数[J];汉中师范学院学报;2004年03期
9 罗清君;雷向辰;;R_0代数的一种新型商代数[J];宝鸡文理学院学报(自然科学版);2007年04期
10 刘春辉;徐罗山;;关于剩余格的理想[J];山东大学学报(理学版);2010年04期
11 李旭东;N(2,2,0)代数的两类同余分解[J];兰州大学学报(自然科学版);2005年05期
12 温巧燕;;拟可换BCI—代数上的同余[J];陕西师范大学学报(自然科学版);1992年04期
13 刘静;郭继东;;粗糙群及粗糙商群的部分性质探讨[J];白城师范学院学报;2008年03期
14 朱怡权;;可解BCI—代数的结构[J];曲阜师范大学学报(自然科学版);1991年02期
15 罗从文;De Morgan 代数的刻划与同余关系[J];武汉水利电力大学学报;1998年04期
16 任芳;R_0-代数上的同余关系[J];工程数学学报;2001年01期
17 刘蔚萍,贾武;Fuzzy格的中心核中理想与同余关系[J];数学杂志;2003年03期
18 唐剑;谢祥云;;粗糙半群的进一步研究[J];安徽师范大学学报(自然科学版);2011年01期
19 赵萃魁;吴润衡;;分配格上的素理想与同余关系[J];内蒙古大学学报(自然科学版);1989年01期
20 陈汉藻;朱怡权;;关于BCI-代数的商代数的几点注记[J];黄冈师范学院学报;1989年04期
中国重要会议论文全文数据库 前8条
1 张富林;;BCI-代数的一类P-半单商代数[A];数学及其应用文集——中南模糊数学和系统分会第三届年会论文集(上卷)[C];1995年
2 曾恺平;;正规子半模与商半模[A];数学·物理·力学·高新技术研究进展(一九九六·第六期)——中国数学力学物理学高新技术交叉研究会第6届学术研讨会论文集[C];1996年
3 颜锋;陈韬略;韩婷婷;吕建;;Pi演算的一种变例及其开互模拟[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 余扬;;粗糙集的提升分析[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年
5 张瑞莲;赵惠溥;;一种新的密码体制——剩余码密码体制[A];第二次计算机安全技术交流会论文集[C];1987年
6 姜豪;张小红;;BCI—代数的P-理想[A];数学·物理·力学·高新技术研究进展(一九九六·第六期)——中国数学力学物理学高新技术交叉研究会第6届学术研讨会论文集[C];1996年
7 李彦平;徐心和;;代数同态理论在离散事件动态系统分析中的应用[A];1992年中国控制与决策学术年会论文集[C];1992年
8 武彦平;;通信距离受限的进程代数研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 孙中举;Ockham代数及其同余关系[D];汕头大学;2010年
2 伏文清;L-坡代数[D];陕西师范大学;2010年
3 龙飞;Quantale的子结构及其性质[D];湖南大学;2007年
4 郝景;偏序幺半群作用和模糊粗糙集研究[D];湖南大学;2012年
5 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
6 魏常果;A(?)-代数和AT-代数扩张代数的分类[D];华东师范大学;2006年
7 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年
8 王丽;非本原复反射群[D];华东师范大学;2006年
9 王顺钦;Quantic格与Quantale中若干问题的研究[D];陕西师范大学;2007年
10 龙环;灰箱演算的操作语义及表达能力研究[D];上海交通大学;2009年
中国硕士学位论文全文数据库 前10条
1 刘新;一种弱BL形式演绎系统及其代数理论[D];昆明理工大学;2003年
2 刘婷娟;基于超模糊运算的模糊群的研究[D];成都理工大学;2008年
3 陈雪梨;Griss-代数的若干研究[D];浙江大学;2005年
4 肖滢;对合Quantale及其范畴性质[D];陕西师范大学;2005年
5 毕吉成;RDS型李代数[D];青岛大学;2005年
6 彭西芹;~#-富足半群的性质及其应用[D];曲阜师范大学;2007年
7 柴日升;双重Ockham代数的相关子代数[D];汕头大学;2008年
8 付晓雄;一类项链李代数的性质与同态[D];湖南师范大学;2009年
9 裴凤;Lie color代数的商代数和交叉模[D];东南大学;2005年
10 段海婷;半环中的粗糙集[D];西北大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978