模糊命题演算系统的一个新的等价形式

发布时间：2017-12-26 20:10

  本文关键词：模糊命题演算系统的一个新的等价形式　出处：《工程数学学报》2010年05期 　论文类型：期刊论文

  更多相关文章： 模糊逻辑 命题演算 系统(?)~* 等价形式

【摘要】：在模糊逻辑系统L~*中,P∧Q是嗀(嗀P∨嗀Q)的简写,连接词∧与连接词嗀,∨,→的关系应由L~*中的公理体系决定。本文通过在L~*中增加适当公理使得连接词∧与嗀,∨,→具备所需的特殊关系,得到的主要结论是:在L~*中增加公理L~*9_b:(((A→C)∨(B→C))→(A∧B→C)),同时放弃约定"P∧Q是嗀(嗀P∨嗀Q)的简写",所得的系统L_0~*与L~*等价。
[Abstract]:In the fuzzy logic system L~*, a P Q is (P V Q) shorthand, and a conjunction connectives, V, decided to the relationship by the axiom system in L~*. In this paper, by adding appropriate axioms in L~* makes the connection and a word, V, and the special relationship is required, the main conclusion is: the increase in L~* (axiom L~*9_b: ((A, C) V (B, C) - (A) ^ B, C)), and agreed to give up "P is a Q (P V Q) - the" system of L_0~* and L~* equivalent income.
【作者单位】： 西安文理学院数学系;陕西师范大学数学与信息科学学院;
【基金】：国家自然科学基金(10871121) 西安文理学院2008年中青年专业技术人员科研资助项目(kyc200819)~~
【分类号】：O141.1
【正文快照】： 1引言模糊推理是模糊逻辑在工程技术中的成功应用，而模糊推理的基础是模糊命题演算系统民刁。在文献【lJ中，，王国俊教授以，，v，*为基本连结词建立了模糊命题演算系统￡*，该系统乙*在模糊命题演算系统中具有独特而重要的地位。此后系统户经过文献[3，4」的简化，其公理体

【参考文献】

相关期刊论文 前3条

1 何颖俞,王国俊;L~*-Lindenbaum代数的结构与L~*公理系统的简化形式[J];工程数学学报;1998年01期

2 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

3 吴洪博,王小敏,韩诚;L~*系统中的模糊演绎定理的改进形式[J];四川大学学报(自然科学版);2005年01期

【共引文献】

相关期刊论文 前10条

1 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

2 郑亚林;Fuzzy逻辑新进展[J];宝鸡文理学院学报(自然科学版);2000年01期

3 郑亚林,白永成,黄宏科,黄德隆;基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑[J];宝鸡文理学院学报(自然科学版);2000年02期

4 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

5 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

6 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期

7 焦烨;马晓珏;;基于max-R_0复合意义下的模糊矩阵幂序列的收敛性[J];宝鸡文理学院学报(自然科学版);2006年04期

8 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期

9 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

10 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

相关会议论文 前8条

1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

5 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

6 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

7 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

8 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

相关博士学位论文 前10条

1 权义宁;基于L-模糊集的P2P信任模型及应用研究[D];西安电子科技大学;2009年

2 王一飞;离心式冷水机组智能故障诊断系统的研究与开发[D];天津大学;2010年

3 高欣;不确定测度及其应用[D];清华大学;2009年

4 焦晓佑;智能工程推理机制研究及其在电力供需平衡复杂性分析中的应用[D];北京交通大学;2009年

5 林立新;SS7E电力机车电气系统的故障诊断技术研究[D];中南大学;2008年

6 李小申;三维模糊集[D];大连理工大学;2009年

7 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年

8 常之艳;基于格值一阶逻辑系统的不确定性推理及其应用研究[D];西南交通大学;2010年

9 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年

10 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

相关硕士学位论文 前10条

1 王晓宁;两类模糊集的表现定理及其应用[D];辽宁师范大学;2009年

2 胡江山;几种逻辑系统中命题真度的研究[D];山东大学;2009年

3 隋云云;非线性序集逻辑系统中命题的真度理论及近似推理理论[D];山东大学;2009年

4 张琼;BL_△~*形式系统与NM（?）形式系统的研究[D];陕西师范大学;2010年

5 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年

6 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

7 江欢;模糊推理中CRI算法与全蕴涵三I算法的等价性研究[D];西南大学;2009年

8 刘贤江;Loomis-Sikorski表现定理及IMTL代数上的素布尔滤子格[D];湖南师范大学;2008年

9 周纯阳;半群上的拓扑、偏序和相关Domain[D];扬州大学;2009年

10 朱芳芳;正则剩余格的*-理想及其性质[D];扬州大学;2009年

【二级参考文献】

相关期刊论文 前8条

1 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

2 应明生;允许修改推理规则的开放逻辑[J];科学通报;1996年11期

3 王国俊,李永明;拓扑分子格范畴与相关范畴的关系[J];科学通报;1997年04期

4 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

5 吴望名;关于模糊逻辑的—场争论[J];模糊系统与数学;1995年02期

6 吴洪博,文秋梅;L~*系统中的模糊演绎定理[J];陕西师范大学学报(自然科学版);2001年01期

7 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

8 吴洪博;基础R_0-代数的性质及在L~*系统中的应用[J];数学研究与评论;2003年03期

【相似文献】

相关期刊论文 前10条

1 杨必成;;一个实齐次核的Hilbert型不等式[J];西南师范大学学报(自然科学版);2010年01期

2 何宇翔;肖辉;吕达仁;;利用极化雷达分析层状云中水凝物粒子性状分布[J];大气科学;2010年01期

3 陈钢;宋晓宇;顾明;;COQ定理证明器辅助PLC程序验证和分析[J];北京大学学报(自然科学版);2010年01期

4 彭家寅;;直觉模糊集相似度限定推理方法[J];内江师范学院学报;2010年02期

5 杨必成;;一个零齐次核的Hilbert型积分不等式[J];山东大学学报(理学版);2010年02期

6 黄臻晓;;一个逆向Hilbert型积分不等式的最佳推广[J];山东大学学报(理学版);2010年02期

7 陈华友;张倩;王晓;;基于可信性测度的模糊线性不等式组的确定性等价[J];大学数学;2010年01期

8 赵德勤;殷明;;一个有趣不等式的新证明方法及推论[J];大学数学;2010年01期

9 陈阳;王涛;;二型模糊集模糊推理方法的单调性[J];辽宁工业大学学报(自然科学版);2010年01期

10 陈莹;师建国;李静;;托卡马克装置三次系统的Lyapunov量计算[J];扬州大学学报(自然科学版);2010年01期

相关会议论文 前10条

1 郑亚琴;刘艳军;佟绍成;;具有监督控制功能的非线性系统的直接自适应模糊控制[A];2009中国控制与决策会议论文集（1）[C];2009年

2 贺乃宝;高倩;龚成龙;冯源;姜长生;;近空间飞行器模糊自适应滑模控制[A];2009中国控制与决策会议论文集（3）[C];2009年

3 胡世祯;;使用价值是商品的自然属性[A];全国高等财经院校《资本论》研究会2009年度（第26届）学术年会论文集[C];2009年

4 叶渊杰;刘玉洁;陈光大;陈坚;;基于模糊推理和神经网络的水泵机组故障诊断方法研究[A];2009全国大型泵站更新改造研讨暨新技术、新产品交流大会论文集[C];2009年

5 陈莹;李静;;托卡马克装置三次系统的Lyapunov量计算[A];第十二届全国非线性振动暨第九届全国非线性动力学和运动稳定性学术会议论文集[C];2009年

6 贺乃宝;高倩;龚成龙;姜长生;;近空间飞行器模糊自适应滑模控制[A];2009年中国智能自动化会议论文集（第一分册）[C];2009年

7 刘敬生;周长银;;求解一类两阶段随机凸二次规划问题的水平方法[A];中国企业运筹学学术交流大会论文集[C];2008年

8 马殿同;;模糊控制在烧结混合加水上的应用[A];中国计量协会冶金分会2008年会论文集[C];2008年

9 欧阳宏志;陈洪云;;模拟电路故障诊断的现状与发展[A];第二十届电工理论学术年会论文集[C];2008年

10 李姚矿;张晓伟;;模糊现金流折现模型在企业资产价值评估中的应用[A];中国会计学会高等工科院校分会2008年学术年会（第十五届年会）暨中央在鄂集团企业财务管理研讨会论文集（上册）[C];2008年

相关重要报纸文章 前2条

1 宁莉娜;从非日常思维的价值维度看逻辑方法的走向[N];光明日报;2004年

2 复旦大学 姚慕生;线性代数备考策略[N];中国教育报;2003年

相关博士学位论文 前10条

1 林雷;机器人模糊控制策略研究[D];燕山大学;2009年

2 康强;不确定非线性系统的自适应模糊控制[D];大连理工大学;2009年

3 高永;分拆恒等式的组合证明[D];南开大学;2009年

4 张应奇;量化反馈镇定与有限时间控制[D];郑州大学;2009年

5 武星星;模糊系统和ANFIS的改进及其在加工参数智能选择中的应用研究[D];吉林大学;2007年

6 陈刚;不确定非线性系统的鲁棒自适应控制研究[D];浙江大学;2006年

7 彭兴璇;三角剖分上的多元有理样条及其应用[D];大连理工大学;2006年

8 张晓宇;非线性系统智能自适应滑模控制及其应用研究[D];浙江大学;2006年

9 李秀红;粗糙集的模糊刻画与知识颗粒特征研究[D];山东大学;2006年

10 孙海蓉;模糊神经网络的研究及其应用[D];华北电力大学（河北）;2006年

相关硕士学位论文 前10条

1 孙焱平;模糊逻辑中蕴涵算子的构造[D];南昌大学;2010年

2 李宝智;高精高速数控机床直接驱动系统鲁棒抑振控制策略研究[D];沈阳工业大学;2010年

3 雷阳;关于Hilbert空间上的算子不等式及相关问题的研究[D];东华大学;2010年

4 何如海;模糊逻辑系统在企业知识管理绩效评价中的运用[D];北京交通大学;2009年

5 陈霞;基于模糊逻辑的软件开发项目风险评估研究[D];扬州大学;2009年

6 李卓;非线性大系统的非脆弱模糊控制研究[D];燕山大学;2009年

7 张彦柳;基于改进模糊聚类的模糊建模方法及其应用研究[D];燕山大学;2009年

8 王双霞;不确定性机器人的几种智能控制研究[D];燕山大学;2009年

9 田学静;X-Y数控平台模型辨识及力/位置控制研究[D];燕山大学;2009年

10 邢迪;基于模糊系统稳定性的设计方法[D];江苏大学;2009年

本文编号：1338670