收藏本站
《科学通报》 1997年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

模糊命题演算的一种形式演绎系统

王国俊  
【摘要】:正Elkan1993年7月在美国第11届人工智能年会上作题为“模糊逻辑的似是而非的成功”的报告起了一场轩然大波,随即有15位从事人工智能与模糊系统研究的专家对其进行了反驳,最后Elkan又以“关于模糊逻辑的似是而非的争论”作答.吴望名教授就此作了专门分析.这一事实表明就模糊命题演算而言还没有一个严格的逻辑基础.本文首先指出,在模糊命题演算的范围内,希望保持所有的经典定理为重言式是不可能的;然后在放弃了个别经典公理的基础上引入了模糊命题演算的一种形式演绎系统,证明了相应的可靠性定理.1 模糊公式及其赋值定义1 设S是非空集,其元素称为原子命题或原子公式,“(?)”,“∨”,“→”是连接词,“(”与“)”是括号.规定
【作者单位】陕西师范大学数学研究所!西安710062
【分类号】:O159

知网文化
【引证文献】
中国期刊全文数据库 前10条
1 郑亚林;Fuzzy逻辑新进展[J];宝鸡文理学院学报(自然科学版);2000年01期
2 郑亚林,白永成,黄宏科,黄德隆;基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑[J];宝鸡文理学院学报(自然科学版);2000年02期
3 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期
4 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期
5 焦烨;马晓珏;;基于max-R_0复合意义下的模糊矩阵幂序列的收敛性[J];宝鸡文理学院学报(自然科学版);2006年04期
6 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期
7 佟伟玲,李全有,吴洪博;R_0-代数中一种混合运算的性质及L~*系统的完备性[J];纯粹数学与应用数学;2002年03期
8 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期
9 张家录;形式演绎系统L~*的运算与弱演绎定理[J];湘南学院学报;2004年02期
10 邓安生,孙铁利;形式布尔算子的命题逻辑[J];东北师大学报(自然科学版);2000年03期
中国重要会议论文全文数据库 前2条
1 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年
2 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
中国博士学位论文全文数据库 前10条
1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
2 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
3 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
4 岳立柱;模糊结构元理论拓展及其决策应用[D];辽宁工程技术大学;2011年
5 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年
6 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
7 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
8 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
9 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
10 徐蔚鸿;模糊智能系统中模糊推理研究[D];南京理工大学;2004年
中国硕士学位论文全文数据库 前10条
1 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
2 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
3 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年
4 段伦倩;模糊语义链网络模型研究与应用[D];西南大学;2011年
5 陈冬青;BR_0-代数与WBR_0-代数的研究[D];陕西师范大学;2011年
6 王志明;WBR_0代数的研究[D];陕西师范大学;2011年
7 张懿;推理闭包系统的确定[D];陕西师范大学;2011年
8 高李红;QBL代数与IMTL代数及系统的研究[D];陕西师范大学;2011年
9 刘杰;正则剩余格上的模糊理想基的研究[D];陕西师范大学;2011年
10 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
【参考文献】
中国期刊全文数据库 前1条
1 吴望名;关于模糊逻辑的—场争论[J];模糊系统与数学;1995年02期
【共引文献】
中国期刊全文数据库 前10条
1 王国俊;关于模糊推理的若干基本问题[J];工程数学学报;2000年S1期
2 裴道武;模糊逻辑中的自然演绎系统[J];工程数学学报;2002年03期
3 杨晓斌,张文修;模糊命题逻辑系统中的代换定理[J];工程数学学报;2003年06期
4 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期
5 阎满富,吴洪溥;修正的Kleene系统中的一种降级算法及其性质[J];工程数学学报;2004年04期
6 裴道武;关于形式系统L~*的强完备性[J];工程数学学报;2005年01期
7 张毅,张师超;不确定环境下的因果关系估计[J];广西师范大学学报(自然科学版);1996年01期
8 张师超,张毅;一种模糊推理模型[J];广西师范大学学报(自然科学版);1996年02期
9 裴道武,王三民;形式系统L~*(n)的完备性[J];高校应用数学学报A辑(中文版);2001年03期
10 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期
中国重要会议论文全文数据库 前3条
1 陈世权;;模糊性与数学[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
2 李仁骏;;论模糊逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
3 陆秋君;吴望名;;区间值模糊推理在多判据决策中的应用[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
中国博士学位论文全文数据库 前10条
1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
2 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
3 郑爱红;80MN钛合金锻造液压机的建模与控制[D];天津大学;2012年
4 岳立柱;模糊结构元理论拓展及其决策应用[D];辽宁工程技术大学;2011年
5 袁华;肺癌介入治疗的图象处理和模拟实验研究[D];四川大学;2001年
6 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年
7 张持健;商空间下模糊系统与模糊控制的问题求解[D];安徽大学;2005年
8 张钊;模糊系统的推理及其稳定性分析[D];天津大学;2004年
9 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
10 薛占熬;柔性区间逻辑及推理研究[D];西北工业大学;2006年
中国硕士学位论文全文数据库 前10条
1 李静;基于B样条隶属函数的模糊推理算法研究[D];合肥工业大学;2011年
2 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年
3 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年
4 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年
5 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年
6 王龙春;L~*系统中的一类广义重言式与L~*系统的一种扩张[D];陕西师范大学;2003年
7 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年
8 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年
9 陈文丽;修正的Atanassov命题逻辑及其广义重言式[D];辽宁师范大学;2003年
10 张宇卓;区间值模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年
【同被引文献】
中国期刊全文数据库 前10条
1 周北海;从卡尔纳普的逻辑真概念到奎因的两个教条批判[J];北京大学学报(哲学社会科学版);1991年01期
2 周北海;从模态矩阵到模态代数[J];北京大学学报(哲学社会科学版);1993年01期
3 夏少云,查建中,李志辉,唐晓君;Vague集之间相似度量的分析与研究[J];北方交通大学学报;2004年01期
4 于剑,程乾生;模糊划分的一个新定义及其应用[J];北京大学学报(自然科学版);2000年05期
5 王捍贫,谢惠扬;(Q)格值模型的省略型定理[J];北京大学学报(自然科学版);1999年03期
6 孙多青,霍伟;基于分层模糊系统的间接自适应控制[J];北京航空航天大学学报;2003年04期
7 侯福均,吴祈宗;模糊数互补判断矩阵的加性一致性[J];北京理工大学学报;2004年04期
8 郑亚林;;拓扑分子格的远域系公理和远域基公理[J];宝鸡师院学报(哲学社会科学版);1992年01期
9 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期
10 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期
中国重要会议论文全文数据库 前3条
1 李志伟;李桂华;;Fuzzy蕴涵代数的若干性质[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
2 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
3 尚云;李永明;;一些量子结构的构造和Fuzzy有效空间[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
3 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
4 范九伦;模糊聚类新算法与聚类有效性问题研究[D];西安电子科技大学;1998年
5 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年
6 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
7 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
8 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
9 周皓峰;关联规则挖掘的拓展性研究[D];复旦大学;2003年
10 汤永川;关于不确定性推理理论与知识发现的研究[D];西南交通大学;2002年
中国硕士学位论文全文数据库 前10条
1 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
2 吴明慧;关于格蕴涵代数及其子结构的研究[D];西南交通大学;2011年
3 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年
4 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年
5 邓景毅;事务间数值型关联规则的数据挖掘[D];暨南大学;2003年
6 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年
7 费春国;模糊自调整控制器的研究及应用[D];天津科技大学;2003年
8 吕红丽;典型模糊控制器的结构分析[D];曲阜师范大学;2003年
9 李裕梅;完备Brouwerian格上@-Fuzzy关系方程的极大解存在的一些条件[D];四川师范大学;2003年
10 苏忍锁;剩余格与基于剩余格的几类代数系统的关系[D];陕西师范大学;2004年
【二级引证文献】
中国期刊全文数据库 前10条
1 马征杰;大学生思想品德定量评价体系设计与程序[J];安康师专学报;2001年04期
2 张红杰;吴洪博;;BR_0代数中的滤子与理想[J];安康学院学报;2007年01期
3 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期
4 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(上)[J];安康学院学报;2011年02期
5 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(下)[J];安康学院学报;2011年03期
6 闫鹏,李晋宏;预焙铝电解槽模糊控制中智能策略的研究[J];北方工业大学学报;2002年03期
7 任永平,李圣怡;模糊控制曲面的参数设计和曲面估算[J];兵工自动化;2005年03期
8 白晶;尹怡欣;郝智红;孙和平;;基于变论域的变步长LMS算法[J];北京科技大学学报;2009年01期
9 李志伟;李桂华;;模糊广义正则蕴涵代数[J];毕节学院学报;2008年04期
10 曹发生;张家锋;;R_0-代数的对偶核的性质[J];毕节学院学报;2008年04期
中国重要会议论文全文数据库 前10条
1 赵加祥;陈增强;徐旭林;;基于变论域模糊H~∞控制器的迟滞非线性系统的跟踪控制[A];第二十七届中国控制会议论文集[C];2008年
2 孙兆豪;李昂;刘坤起;解建军;;论代数、逻辑和智能系统之间的对应关系[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 杨昔阳;于福生;许小瑞;;双容水箱液位的分层变论域模糊控制[A];2009中国控制与决策会议论文集(1)[C];2009年
4 宋士吉;冯纯伯;费树岷;孙长银;;模糊推理的Zadeh型全蕴涵三Ⅰ算法[A];第十九届中国控制会议论文集(一)[C];2000年
5 成科扬;;基于集对分析的模糊逻辑及其推理方法研究[A];第二十三届中国控制会议论文集(下册)[C];2004年
6 王迎春;吴宏鑫;耿长福;;一种自适应模糊控制器的研究与应用[A];第二十届中国控制会议论文集(下)[C];2001年
7 霍书全;鞠实儿;;SLO的代数结构[A];开放类逻辑论文集[C];2004年
8 白晶;郝智红;孙和平;;变论域变步长LMS自适应滤波算法在系统辨识中的应用研究[A];第十届全国电工数学学术年会论文集[C];2005年
9 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年
10 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 王龙金;零/低航速减摇鳍升力模型及系统控制策略研究[D];哈尔滨工程大学;2009年
2 汤亮;基于综合效益评价的陶瓷产品全生命周期理论研究及应用[D];武汉理工大学;2010年
3 刘颖明;永磁式直驱风电机组控制技术研究[D];沈阳工业大学;2011年
4 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
5 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
6 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
7 于宏波;阳痿肾阳虚证症状规律及其转录组特征研究[D];成都中医药大学;2011年
8 曾水玲;训练模式的不确定性对模糊系统的影响[D];南京理工大学;2011年
9 龙祖强;变论域模糊控制器的若干重要问题研究[D];中南大学;2011年
10 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
中国硕士学位论文全文数据库 前10条
1 郑洪波;虚拟倒立摆系统的控制研究[D];山东科技大学;2010年
2 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年
3 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
4 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
5 王振琛;饱和气体发生器低温制冷系统研究[D];哈尔滨工程大学;2010年
6 李建朋;水下机器人浮力调节系统及其深度控制技术研究[D];哈尔滨工程大学;2010年
7 肖云博;板球系统的定位控制和轨迹跟踪[D];大连理工大学;2010年
8 王岱荣;空间多级倒立摆控制系统研究[D];大连理工大学;2010年
9 李玉山;基于反应釜的实时仿真控制平台设计与开发[D];大连理工大学;2010年
10 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期
2 王国俊;一类代数上的逻辑学(Ⅱ)[J];陕西师范大学学报(自然科学版);1997年03期
3 何颖俞,王国俊;L~*-Lindenbaum代数的结构与L~*公理系统的简化形式[J];工程数学学报;1998年01期
4 朱怡权;泛蕴涵代数与FI-代数[J];数学杂志;2004年04期
5 王明胜;;新的蕴涵算子Rzh及其应用[J];黄冈职业技术学院学报;2007年02期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026