逻辑系统Luk中公式间的伪距离

发布时间：2018-01-25 08:51

  本文关键词： 逻辑系统Luk 真度 伪距离 赋值函数　出处：《模糊系统与数学》2010年04期 　论文类型：期刊论文

【摘要】：在逻辑系统Lukasiewicz中,利用序结构知识和赋值函数的性质来研究公式间的伪距离,避开了n重积分的复杂计算,推出了积分真度与伪距离之间以及伪距离相互之间的若干等式与不等式,特别是得到了伪距离关于运算"崴""懔"的若干新性质,从而给出了在伪距离空间中运算"■""→""∨""∧""崴""懔"关于伪距离均连续这一重要定理的简洁证明。
[Abstract]:In the logic system Lukasiewicz, the pseudo-distance between formulas is studied by using the knowledge of order structure and the properties of assignment function, and the complex calculation of n-fold integral is avoided. Some equations and inequalities between the true degree of integral and pseudo-distance and between pseudo-distance are derived. In particular, some new properties of pseudo-distance about the operation "Wei" and "apocalypse" are obtained. Thus, the operation "" "in pseudo-distance space is given. 鈫払rief proof of the important Theorem of the continuity of Pseudo-distance.
【作者单位】： 盐城师范学院数学科学学院;
【基金】：江苏省高校自然科学基础研究项目(08KJD110008)
【分类号】：O141.1
【正文快照】： 1引言如何将数值计算的思想融入到数理逻辑中来,将数理逻辑的符号化与计算数学的数值计算、近似求解联系起来,使形式化的数理逻辑具有灵活性并扩大其应用范围,这是长期以来许多学者探讨的问题[1-8]。计量逻辑学[9]的建立,使命题逻辑系统的程度化思想得以实现,架起了形式逻辑

【参考文献】

相关期刊论文 前3条

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

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

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

【共引文献】

相关期刊论文 前10条

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

2 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期

3 亓正坤;王廷明;丁洁玉;;二值命题逻辑中限制逻辑等价关系及其应用[J];东北师大学报(自然科学版);2012年02期

4 王廷明;;二值命题逻辑中Г-的蕴涵距离和近似推理[J];德州学院学报;2008年06期

5 袁彦莉;张兴芳;;G_n命题逻辑系统中绝对真度的理论研究[J];德州学院学报;2009年04期

6 王廷明;;二值命题逻辑中有限理论的相对偏差及其应用[J];德州学院学报;2010年02期

7 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

8 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期

9 李璧镜;王国俊;;正则蕴涵算子所对应的逻辑伪度量空间[J];电子学报;2010年03期

10 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

相关会议论文 前3条

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

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

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

相关博士学位论文 前10条

1 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

3 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

4 周斌;焦化炉对环境污染的优化控制研究[D];吉林大学;2006年

5 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

6 曾晓松;面向个性化定制的控制类柜体机电产品设计知识重用方法研究[D];重庆大学;2007年

7 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年

8 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

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

10 李明泉;模糊描述逻辑F-SHIQ公理体系及其推理机制的研究[D];天津大学;2008年

相关硕士学位论文 前10条

1 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

2 董美霞;基于语义网模糊本体的知识推理研究[D];大连海事大学;2011年

3 王玲玲;一种基于需求上下文和推荐的Web服务信任评估模型研究[D];西南大学;2011年

4 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

5 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

6 刘汇洋;若干广义t-模及相关模糊逻辑系统[D];宁波大学;2010年

7 高建兵;基于遗传算法的模糊推理控制系统的参数优化研究[D];辽宁工程技术大学;2011年

8 邹伟伟;中医儿童性早熟智能诊断算法研究[D];东华大学;2012年

9 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

10 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

【二级参考文献】

相关期刊论文 前10条

1 裴道武;模糊逻辑中的自然演绎系统[J];工程数学学报;2002年03期

2 裴道武,王三民;形式系统L~*(n)的完备性[J];高校应用数学学报A辑(中文版);2001年03期

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

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

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

6 王国俊;三I方法与区间值模糊推理[J];中国科学E辑:技术科学;2000年04期

7 王国俊;适用于多种蕴涵算子的赋值空间上的测度与积分理论[J];中国科学E辑:技术科学;2001年01期

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

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

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

相关会议论文 前1条

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

【相似文献】

相关期刊论文 前10条

1 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

2 李骏,黎锁平,夏亚峰;Lukasiewicz n值命题逻辑中命题的真度理论[J];数学学报;2004年04期

3 李骏,兰倩,黎锁平;Lukasiewicz三值命题逻辑中命题的真度理论[J];模糊系统与数学;2004年04期

4 刘艳,郑慕聪;Lukasiewicz多值逻辑系统中的相似度及伪距离[J];西安科技大学学报;2005年02期

5 马盈仓;张美;崔美英;;Frank三角范数的三值模糊逻辑系统的真度理论[J];广西师范大学学报(自然科学版);2011年03期

6 李骏;夏亚峰;兰倩;;n值标准序列逻辑系统中的近似推理理论[J];兰州理工大学学报;2006年02期

7 王廷明;王爱青;;二值命题逻辑中伪距离的真度表示及其应用[J];青岛理工大学学报;2008年03期

8 王廷明;严文海;;二值命题逻辑中基于前提信息的近似推理理论[J];模糊系统与数学;2009年02期

9 王廷明;王爱青;;二值命题逻辑中的伪距离不等式与近似推理[J];青岛理工大学学报;2009年03期

10 王爱青;王廷明;;二值命题逻辑中有限理论数值特征的真度研究[J];大学数学;2009年05期

相关会议论文 前10条

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

2 陈栋梁;王浩;姚宏亮;;一种支持向量机大规模数据集训练算法[A];中国仪器仪表学会第九届青年学术会议论文集[C];2007年

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

4 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

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

6 赵钢;邹彬;张剑;;基于模糊规则集的入侵检测模型——网络与信息安全事件处理[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

7 邱小杉;何宁;董峰;魏长华;;基于模糊推理的法医人体骨骼个人识别专家系统:RLXES[A];1998年中国智能自动化学术会议论文集（上册）[C];1998年

8 李茂青;;MIS与DSS中的广义模糊检索及其实现[A];1993中国控制与决策学术年会论文集[C];1993年

9 刘志洪;顾宁;;制造业设计知识的模糊分类[A];全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集[C];2004年

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

相关重要报纸文章 前10条

1 王苏伊 王立嘉;想在北京买假名牌难了[N];市场报;2005年

2 小马;走近LCD[N];中国电脑教育报;2002年

3 金娜;皮装选购有诀窍[N];大众科技报;2000年

4 $$点评嘉宾 首都经贸大学经济研究所教授 $$吴少平 北大经济系教授 钟伟 $$本版采写 刘凌林;利润水分怎么挤？[N];中国企业报;2001年

5 吴挺;进军专业绘图市场[N];计算机世界;2003年

6 记者 齐中熙;会计五假太可怕[N];新华每日电讯;2001年

7 石小宏;信息化叫板传统教学[N];四川日报;2003年

8 中新;国产葡萄酒企业亮出质量牌[N];中国消费者报;2001年

9 周燕虎 本报特约通讯员 项志明;信息技术让火炮“走”进实验室[N];解放军报;2005年

10 黄璐;识别假火车票有绝招[N];山西经济日报;2004年

相关博士学位论文 前6条

1 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

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

3 王谷亮;DNA聚合酶β在烷化剂MNNG引起的非定标性突变中的作用[D];浙江大学;2002年

4 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

5 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

6 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

相关硕士学位论文 前10条

1 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

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

3 谢晶晶;L_n系统和L_n*系统中的真度理论[D];陕西师范大学;2012年

4 李海亚;n值SMTL系统中命题的∑-（[α，，β]-真度）理论[D];兰州理工大学;2012年

5 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

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

7 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

8 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

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

10 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

本文编号：1462500