模糊逻辑系统中公式的积分真度和伪距离

发布时间：2017-09-17 05:02

  本文关键词：模糊逻辑系统中公式的积分真度和伪距离

  更多相关文章： 逻辑系统■~* 公式 积分真度 伪距离

【摘要】：在赋值格为[0,1]的模糊逻辑系统L~*中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重积分的复杂计算;研究结果不仅可以用于公式的积分真度和伪距离的简化计算或合理估值,而且拓宽了逻辑度量空间理论的发散度与相容度以及近似推理的研究思路。
【作者单位】： 盐城师范学院数学科学学院;
【关键词】： 逻辑系统■~* 公式 积分真度 伪距离
【基金】：江苏省高校自然科学基础研究项目(08KJD110008)~~
【分类号】：O141.1
【正文快照】： 1引言计量逻辑学理论11一4]的基本内容是在命题逻辑系统中引进公式的真度理论，并在此基础上提出公式间的相似度和伪距离概念，进而研究逻辑度量空间的基本性质、逻辑理论的发散度与相容度及近似推理的模式。所以公式的真度及公式间的伪距离是计量逻辑学研究的主要问题之一[l

【参考文献】

中国期刊全文数据库 前4条

1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

3 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期

4 崔美华;徐罗山;周纯阳;;逻辑系统′Luk中命题积分真度的若干等式与不等式[J];模糊系统与数学;2009年05期

【共引文献】

中国期刊全文数据库 前10条

1 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期

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

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

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

5 段景瑶;王国俊;;Boole代数的等价刻画[J];宝鸡文理学院学报(自然科学版);2007年03期

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

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

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

9 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

10 孟艳平;;基于相似度的信息权重模糊推理方法[J];北京师范大学学报(自然科学版);2008年01期

中国重要会议论文全文数据库 前10条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

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

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

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

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

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

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

8 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

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

10 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

中国博士学位论文全文数据库 前10条

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

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

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

4 刘学生;基于粗集的不确定多属性决策排序法的研究[D];大连理工大学;2009年

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

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

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

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

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

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

中国硕士学位论文全文数据库 前10条

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

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

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

4 宋佳;区间值模糊集与直觉模糊离散事件系统[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年

【二级参考文献】

中国期刊全文数据库 前10条

1 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

3 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

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

5 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑:技术科学;2002年01期

6 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期

7 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑:技术科学;2002年02期

8 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑:技术科学;2003年04期

9 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期

10 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

【相似文献】

中国期刊全文数据库 前10条

1 杨小荟;杨涛;李冬霞;;土力学课程的教学方法探讨[J];山西建筑;2010年02期

2 朱庆峰;;局部Lipschitz条件下的带跳倒向重随机微分方程[J];烟台大学学报(自然科学与工程版);2010年01期

3 惠小静;;三值R_0命题逻辑系统中理论的随机发散度[J];应用数学学报;2010年01期

4 于西昌;谭桂梅;张兴芳;;命题逻辑系统中公式的概率真度理论[J];计算机工程与应用;2010年05期

5 杨春宇;彭礼红;;旅游地游客量预测模型新方法初探——以贵州省为例[J];技术经济与管理研究;2010年01期

6 ;征稿简则[J];力学与实践;2010年01期

7 孙昊月;王清;林坚民;叶永红;;双曲线法和指数曲线法推算软土地基沉降量的准确性比较[J];煤炭技术;2010年01期

8 王铁利;施为兵;;利用密度测井计算孔隙度[J];煤炭技术;2010年02期

9 饶连周;郑晓霞;肖波齐;;聚焦部分相干涡旋光束作用在介质球上的光阱力(英文)[J];强激光与粒子束;2010年01期

10 高传昌;陈萍;;基于灰色理论的黄河主河槽平均高程变化预测[J];人民黄河;2010年01期

中国重要会议论文全文数据库 前10条

1 沈光林;温东奇;施文庄;孔浩辉;黄菲;张心颖;;抽吸参数对卷烟焦油、烟碱和CO释放量的影响研究[A];中国烟草学会2009年年会论文集[C];2009年

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

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

4 刘兴国;;备件储备定额的自动计算和改进模式[A];十三省区市机械工程学会第五届科技论坛论文集[C];2009年

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

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

7 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

8 刁彦华;樊洪明;赵耀华;;流体力学课程中公式的讲授方法探讨[A];土木建筑教育改革理论与实践[C];2008年

9 王学元;;两步法设定粗纱成形齿轮的经验公式[A];2008全国现代纺纱技术研讨会论文集[C];2008年

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

中国重要报纸全文数据库 前10条

1 刘名;汉王放弃“i-phone”商标与苹果和解[N];中国贸易报;2010年

2 本报记者 常晓虹;王立冬教授的民族院校教学管理探索之路[N];中国民族报;2010年

3 林白芹;做王彦生那样的老实人正派人[N];中国人事报;2010年

4 湖北省杂文学会副会长 教授 符号;“可以……可以……也可以”[N];北京日报;2010年

5 本报实习记者 赵小英;春节消费 防骗有术之 商场促销“猫腻”五花八门[N];山西经济日报;2010年

6 木木;左晓蕾的困惑 经济学的困境[N];证券时报;2010年

7 记者孔祥福、通讯员魏祖华、秦海波;南漳籍华裔教授陈刚获选美国国家工程学院院士[N];湖北日报;2010年

8 本报记者 马子雷;“被畅销”图书：眼球经济下的视觉暴力[N];中国文化报;2010年

9 特约撰稿 佟彤;想得太多易上火[N];健康时报;2010年

10 本报记者 孙自豪;社区服务功能建设待加强[N];洛阳日报;2010年

中国博士学位论文全文数据库 前10条

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

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

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

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

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

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

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

8 富海鹰;地铁隧道非降水法施工引起的地表沉降的研究[D];西南交通大学;2006年

9 夏世芬;基于Petri网模型的归结自动推理研究[D];西南交通大学;2006年

10 张新房;大型风力发电机组的智能控制研究[D];华北电力大学（北京）;2005年

中国硕士学位论文全文数据库 前10条

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

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

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

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

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

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

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

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

9 赵琳霖;蒸压粉煤灰砖砌体干燥收缩性能试验研究[D];郑州大学;2009年

10 王继伟;模糊逻辑信号强度识别算法的设计与验证[D];哈尔滨工业大学;2009年

，

本文编号：867395