n值S-MTL系统中公式的矛盾度理论及理论的平均真度

【摘要】自从逻辑系统中的重言式与矛盾式概念被提出以后,许多专家学者对其作了深入的研究,并取得了一系列理论成果.那么对大多数既非重言式又非矛盾式的公式而言,如何去评价其真伪程度呢?已有文献是从一个公式在何种程度上接近重言式的角度来判定其真伪程度.本文考虑其对偶方面,从一个公式在何种程度上接近矛盾式的角度来评价其真伪程度,把计量逻辑学的基本方法推广到这种理论之中,并将上述思想和方法应用于基于强左连续三角模的逻辑系统(简记为S-MTL)中建立公式积分矛盾度的统一理论,使得已有的关于命题的积分矛盾度的研究成果都可纳入到本文更为宽泛的体系之下.为建立和研究一个理论的发散度与相容度提供了另一种途径.计量逻辑学中,除了对单个公式进行计量化研究之外,学者们对理论自身的性质也做了大量的研究.研究了理论Γ的相容性和发散性等性质,以此来区分不同理论相容程度的大小,进而区分不同理论好坏程度的目的.而且把公式的真度引入到理论中来,把理论的全体逻辑结论真度的下确界值作为理论Γ的真度,这种方法损失了理论Γ的结论中真度值较大的那些结论提供的信息,而且当理论Γ退化为只含一个公式时,在多值逻辑中,理论Γ的真度并不等于公式B的真度.所以为了将公式的真度理论完全推广到理论Γ中来,本文在多值Lukasiewicz命题逻辑系统中引入了有限理论的平均真度和偏差的概念,讨论了理论的平均真度和偏差各自的重要性质.研究表明,将理论的平均真度和偏差相结合可以对理论的可靠性进行全面且综合的评判.以下是本文所得到的主要结果：1.在n值S-MTL命题逻辑系统的统一框架之下,基于一般的概率测度建立了公式矛盾度的统一理论,并且讨论了公式矛盾度的重要性质,进而给出了这种统一框架下矛盾度的积分表示形式.2.用矛盾度定义了公式之间的差异度函数ρ*,证明了ρ*是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ*).3.在多值Lukasiewicz命题逻辑系统中引入了有限理论的平均真度和偏差的概念,讨论了理论的平均真度和偏差各自的重要性质.研究表明,将理论的平均真度和偏差相结合可以对理论的可靠性进行全面且综合的评判.
【作者】李小兵；
【导师】李骏；
【作者基本信息】兰州理工大学，运筹学与控制论，2014，硕士
【关键词】矛盾度；差异度；平均真度；理论的偏差；极限定理；

【参考文献】
[1]肖丽霞.金融管理体制的极左范例：贫下中农管理农村信用社研究[D].山东大学,中国近现代史,2013,硕士.
[2]李刚.反垄断执法和解制度研究[D].河北经贸大学,经济法,2013,硕士.
[3]孙立萍,徐卫国,臧廷利,孙玉龙.利用自动化技术提高双机架可逆冷轧机产能的实践[J].冶金自动化,2011,03:65-69.
[4]李晶.吉林省生态县基本公共服务均等化的财政政策研究[D].吉林财经大学,财政学,2014,硕士.
[5]李娟.P+~(90)Zr反应出射粒子的双微分截面的理论计算与分析[D].西北大学,理论物理,2014,硕士.
[6]张玉娟.西北地区大气水分特征及相关问题的初步研究[D].南京气象学院,气象学,2004,硕士.
[7]尹珊珊.卫星定位系统在冬季两项训练中的应用研究[D].辽宁师范大学,体育教育训练,2012,硕士.
[8]罗凯.内蒙古“建设—经营—移交”式公共设施Q项目建设中的政府行为研究[D].华中师范大学,公共管理,2014,硕士.
[9]邓红林.云南省山地城镇化耕地保护机制研究[D].南京农业大学,公共管理,2013,硕士.
[10]周凯.光电耦合器模拟信号传递电路及其在交流调速系统中的应用[J].冶金自动化,1988,03:29-32.
[11]田红.以铜电极为基础的电位型电化学生物传感器的研究[D].沈阳师范大学,分析化学,2013,硕士.
[12]张晓朋.基于4H-SiC的缓变基区BJT外延工艺研究[D].西安电子科技大学,微电子学与固体电子学,2012,硕士.
[13]陈卿卿.上海高新技术企业人才流动问题分析及研究[D].上海社会科学院,人口、资源与环境经济学,2012,硕士.
[14]李布白.舞台栅顶及上部构造的基本要求[J].演艺设备与科技.2004(03)
[15]万达.硕士研究生网络自主学习影响因素探究[D].南京邮电大学,教育技术学,2013,硕士.
[16]汤翠青.济泰片治疗阿片类急性及稽延性戒断综合征有效性和安全性的随机双盲对照研究[D].新乡医学院,精神病与精神卫生学,2012,硕士.
[17]封　紫１,徐必巨２,吴海兵１.论我国花卉产业发展瓶颈及应对措施[J].云南农业大学学报(社会科学版),2014,06:59-63.
[18]朱保健.多尺度小波模极大值法在位场边界检测中的应用研究[D].吉林大学,地球探测与信息技术,2013,硕士.
[19]张生昌,杨琳,张玉林,邓鸿英,马艺,王炤东.基于FLUENT的出口球阀内部流场动态数值模拟[J].液压气动与密封,2013,12:29-31.
[20]李春平.浙江乐清湾海岸带地区资源开发与产业布局[D].辽宁师范大学,人文地理,2003,硕士.
[21]王文静.基于量子点及其纳米复合物的光电化学生物传感器的研制[D].南京大学,分析化学,2013,硕士.
[22]赵培亮.石墨烯超晶格中电子带隙及输运特性研究[D].上海大学,无线电物理,2013,硕士.
[23]高祥涛.数据挖掘在水文相似年查找中的应用研究[D].河海大学,2004.
[24]成文凯.硼酸基功能化磁性纳米颗粒的制备、表征及应用[D].浙江大学,化学工程（专业学位）,2014,硕士.
[25]蔡丹丹.新时期在青年学生中推进马克思主义大众化研究[D].齐鲁工业大学,马克思主义中国化研究,2014,硕士.
[26]陈香.企业环境绩效审计体系的构建[D].首都经济贸易大学,会计学,2014,硕士.
[27]张鹏.聚苯胺基钴铁复合吸波材料的制备及吸波性能[D].哈尔滨工业大学,无机化学,2013,硕士.
[28]刘静.网络语言变异现象初探[D].广西大学,汉语言文字学,2004,硕士.
[29]郭小兵.大跨连续刚构桥变形分析[D].长安大学,建筑与土木工程（专业学位）,2013,硕士.
[30]郝丽娟.基于氧化石墨烯和硫化铅纳米颗粒的荧光生物传感器研究[D].湖南大学,2012.
[31]王刚.旅游业的思想政治功能问题探析[D].河北师范大学,思想政治教育,2012,硕士.
[32]徐大卫.不同因子对圆叶牵牛毛状根的生长及次生代谢产物的影响[D].吉林农业大学,中药学,2012,硕士.
[33]张艳妍.控制系统的鲁棒稳定性分析[D].华北电力大学（河北）,控制理论与控制工程,2004,硕士.
[34]李鹏.面向医疗器械行业的客户关系管理应用研究[D].天津工业大学,2004.
[35]张国方,金国栋.CRM(客户关系管理)的应用与理论研究综述[J].科技进步与对策,2003,03:176-179.
[36]赵婷婷.山西省三所高等师范院校体育教育专业学生就业能力影响因素的研究[D].山西师范大学,体育教育训练学,2013,硕士.
[37]左磊.高速铁路列车特殊振动对边坡稳定性影响的研究[D].西南交通大学,地质工程,2013,硕士.
[38]孙蕾.行政不作为国家赔偿责任问题研究[D].吉林大学,宪法学与行政法学,2013,硕士.
[39]王跃东.重庆嘉策实业有限公司发展战略研究[D].重庆大学,工商管理,2003,硕士.
[40]赵晓敏.马克思世界历史理论与当代全球化[D].安徽大学,马克思主义发展史,2014,硕士.
[41]颜承恩.芴类荧光染料掺杂DNA-CTMA薄膜的ASE及SERS特性研究[D].宁波大学,光学,2013,硕士.
[42]王建功,段书府,王天琦,金镇龙,雷明,郭波,方杰.贝尔凹陷潜山储层的地球物理响应特征及勘探方向[J].石油地球物理勘探,2010,05:731-736+792+621-622.
[43]王欢.水泥管理信息系统与水泥强度预测的研究[D].燕山大学,电路与系统,2003,硕士.
[44]王文.几种新型纳米复合酶膜的安培生物传感研究[D].湖南师范大学,分析化学,2014,硕士.
[45]张丽,任尊松,孙守光,杨光.构架弹性振动对疲劳寿命影响研究[J].铁道机车车辆,2015,02:115-119.
[46]郭昕嫔.智能电能表全自动校验系统设计与应用[D].大连理工大学,仪器仪表工程（专业学位）,2012,硕士.
[47]段英丽.基于非球面的折反射全景成像系统设计[D].西安电子科技大学,光学工程,2012,硕士.
[48]徐明君.银行信贷决策与企业盈余管理相关性研究[D].华东理工大学,会计（专业学位）,2014,硕士.
[49]马竹梧.钢铁工业信息及自动化推进中心2006年年会在攀钢举行[J].冶金自动化,2007,02:68-69.
[50]赵勋.市场势力对大国效应的影响研究[D].北方工业大学,数量经济学,2014,硕士.