(3n+1)值逻辑系统Ro(L)中公式的真度性质 The Properties of Truth Degrees of Formulas in (3n + 1)-Valued Logic System R0（L）.pdfVIP

下载本文档

1
0
约4.83千字
约 6页
2017-08-03 发布于上海
举报
版权申诉

(3n+1)值逻辑系统Ro(L)中公式的真度性质 The Properties of Truth Degrees of Formulas in (3n + 1)-Valued Logic System R0（L）.pdf

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

(3n+1)值逻辑系统Ro(L)中公式的真度性质吴洪博周建仁张琼陕西师范大学数学与信息科学学院,陕西西安 710062 摘要:基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0(L)中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统Ro(L)中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0(L)中建立近似推理理论提供了一种可能的框架, 计量逻辑学;R0(L)系统;真度;相似度;伪距离 O141.1 A 0372-2112(2011) 10-2230-05 ThePropertiesofTruthDegreesofFormulasin(3n+1)-Valued LogicSystemR0（L） WUHong-bo,ZHOUJian-ren,ZHANGQiong :2010-06-30; :2010-11-24 :国家自然科学基金资助项目(No ‰)是 1 为了证合(i)可知 @@[1]GJWang,HJZhou.IntroductiontoMathematicsLogicand ResolutionPrenciple[M].Beijing:SciencePress,2009. @@[2]GJWang,HJZhou.Quantitativelogic[J].Informationand Science,2009,179(3):226-247. @@[3]WUHongbo.Thegeneralizedtruthdegreeofquantitaivelogic inthelogicsystemLn*[J].ComputresandApplications,2010 (59):2587-2596. @@[4]王国俊,宋建设.命题逻辑中的程度化方法[J].电子学报,2006,34(2):252-257. WangGuojun,SONGJianshe.Gradedmethodinpropositional logic[J].ActaElectronicSinica,2006,34(2):252-257.(in Chinese) 吴洪博男,1959年6月生于陕西省成阳市.2001年7月获四川大学数学学院理学博士学位,现任陕西师范大学数学与信息科学学院教授,主要研究方向为格上拓扑与非经典逻辑已发表学术论文100余篇,在由科学技术文献出版社出版的《2009年版中国期刊高被引指数》数学学科高被引作者中排名第八. E-mail:whbshanxi@ JiaXiang-dong,LiFan,etal.Beamfomingschemeforsmart PerformanceofSmartAntennaReceivessImplemntedinDif antennabyusingbase-bandamplitudeweighingandperfor ferentFrequendes[A].Procof2009IETInternationalCom manceanalysisinCDMA[J].ChineseJournalofRadioSci municationConfere.nceonWireless,MobileandComputing ence,2010,25(3):505-551.(inChinese) Proceedings[C].Shanghai:CCWMC,2009.622-625. @@[18]HaiyangFu,Xi