导读:本文包含了相对真度论文开题报告文献综述及选题提纲参考文献，主要关键词:相对真度,有限解释,自由出现变元,计量谓词逻辑
相对真度论文文献综述
秦晓燕,徐扬[1]（2015）在《一阶逻辑公式相对真度的计算形式》一文中研究指出对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。(本文来源于《计算机工程与应用》期刊2015年16期）
崔艳丽[2]（2010）在《R_0代数的简化以及相对真度的相关性质研究》一文中研究指出为了给模糊推理建立严格的逻辑基础,王国俊教授提出了模糊命题演算系统L*和在语义上与之相匹配的R0-代数,这一新的理论的形成引起了国内外专家学者的关注.吴洪博教授提出了R0-代数的格蕴涵表示形式,简化了R0-代数并使之在语义上与L*系统更一致.本文第二章在此基础上,结合格的相关性质,进一步简化了R0-代数的公理条件,给出了R0-代数的V-半格蕴涵表示形式.为了将数值计算的灵活性融入到数理逻辑中以扩大其应用范围,王国俊教授从基本概念的程度化入手,引入公式的真度概念,进而将二值命题逻辑系统L、连续值逻辑系统Lukasiewicz、L*以及n值逻辑系统Ln和Ln*等逻辑系统程度化,建立起了计量逻辑学的基础.吴洪博教授在对二值命题逻辑系统L、n值逻辑系统Ln和Ln*中的公式在一定前提信息下的真度进行了研究,提出了公式的相对真度和相对伪距离概念,从而将一般真度作为相对真度的特款,拓广了真度理论的应用范围.本文第叁、四章在此基础上对Lukasiewicz系统和n值R0逻辑系统Ln*中的相对真度做了进一步研究.全文共分四章,具体结构和内容安排如下：第一章：预备知识.本章介绍了文中用到的偏序集、格、半格、MV代数、Lukasiewicz系统、R0-代数、L*系统的基本概念和结论.第二章：R0-代数的V-半格蕴涵表示及其简化形式.本章第一部分结合格的相关性质,进一步研究了R0-代数公理条件的内在联系,给出了R0-代数的V-半格蕴涵表示形式.第二部分借助L*系统中公理和R0-代数条件的对应关系,进一步简化了R0-代数的V-半格蕴涵表示形式.第叁章：连续值Lukasiewicz系统中公式的相对真度及其性质.共叁节.第一节介绍了公式诱导的函数的扩张和公式的积分真度的相关知识.第二节给出了Lukasiewicz系统中公式的相对真度的概念并对其基本性质做了初步研究.第叁节在第二节的基础上定义了公式的相对伪距离,给出了相对伪距离的基本性质.第四章：Ln*系统中理论的相对发散度和相对相容度.共叁节.第一小节介绍了Ln*系统中公式的相对真度的若干性质.第二节介绍了Ln*系统中理论的相对发散度及其相关性质.第叁节给出了理论r相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.同时给出了任一理论相对于特定理论Γ0的ηΓ0相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0相容度,并揭示了两种相容度之间的内在联系.(本文来源于《陕西师范大学》期刊2010-05-01）
秦晓燕,焦淑云[3]（2008）在《有限解释下一阶谓词公式的相对真度》一文中研究指出本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.(本文来源于《山西师范大学学报(自然科学版)》期刊2008年02期）
刘保翠[4]（2008）在《命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论》一文中研究指出众所周知,数理逻辑的特点在于符号化和形式化,它和计算数学有着截然不同的风格。前者注重形式推理而后者注重数值计算;前者强调严格论证而后者允许近似求解。王国俊教授从基本概念的程度化入手,建立了计量逻辑学,架起了人工智能和数值计算之间的桥梁。在计量逻辑学中。真度是用来表示任意一个公式的可靠程度,给出了公式间的相似度、伪距离的概念,并由此建立了命题集上的近似推理理论.关于计量逻辑学已有了一系列的研究成果,但是所有这些结果都是基于系统的公理和推理规则而得出的,并没有考虑可能存在的推理前提。这自然无法刻划出一个公式落在理论Γ的推论之集D(Γ)中的程度。鉴于此,本文从不同的角度,将这种“绝对性”的研究拓展到经典的二值逻辑和常见的四种多值逻辑系统中,进行了基于推理前提Γ的“相对性”的研究,从而更加完善和丰富了计量逻辑学的理论。论文的结构和基本内容安排如下:第一章预备知识.主要介绍了五种常见命题逻辑系统中的相关知识,为后面的研究作铺垫。第二章二值命题逻辑中公式的Γ蕴涵真度理论。首先,给出了公式的Γ蕴涵真度的定义并详细地讨论了其相关性质。得出了全体有限理论的Γ蕴涵真度值在[0.1]中稠密的结论。其次,在Γ蕴涵真度的基础上,定义了公式间的相对Γ相似度及伪距离,给出了它们的一些基本性质.再次,在伪度量空间(F(S),ρ_Γ)中,讨论了基于Γ蕴涵真度的三种近似推理模式,给出了利用MP规则和推理前提存在误差时推理结论的误差估计公式.然后,对于关注的热点问题,实际操作者采取不同的模式所得的推理结论是否一致问题。我们做出了肯定的回答,证明了这叁种近似推理模式之间的等价性.最后,将概率逻辑学与Γ蕴涵真度进行融合,给出了基于Γ蕴涵真度的逻辑度量空间中逻辑算子连续性的简洁证明.第叁章四种命题逻辑系统中公式的相对Γ-重言度理论.首先,在四种重要的多值命题逻辑系统中,基于广义重言式理论,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质,为后面研究其它相关理论打下了基础.其次,利用公式的相对Γ-重言度,定义了公式间的Γ-相似度。进而导出了命题集F(S)上的伪距离及其上统一的近似推理模式.再次,在多值逻辑(n值和连续值)系统中,得出了单个公式到Γ结论集的距离公式及理论Γ的发散度的简化形式.最后,研究了叁种类型的近似推理模式之间的内在联系。(本文来源于《陕西师范大学》期刊2008-04-01）
相对真度论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为了给模糊推理建立严格的逻辑基础,王国俊教授提出了模糊命题演算系统L*和在语义上与之相匹配的R0-代数,这一新的理论的形成引起了国内外专家学者的关注.吴洪博教授提出了R0-代数的格蕴涵表示形式,简化了R0-代数并使之在语义上与L*系统更一致.本文第二章在此基础上,结合格的相关性质,进一步简化了R0-代数的公理条件,给出了R0-代数的V-半格蕴涵表示形式.为了将数值计算的灵活性融入到数理逻辑中以扩大其应用范围,王国俊教授从基本概念的程度化入手,引入公式的真度概念,进而将二值命题逻辑系统L、连续值逻辑系统Lukasiewicz、L*以及n值逻辑系统Ln和Ln*等逻辑系统程度化,建立起了计量逻辑学的基础.吴洪博教授在对二值命题逻辑系统L、n值逻辑系统Ln和Ln*中的公式在一定前提信息下的真度进行了研究,提出了公式的相对真度和相对伪距离概念,从而将一般真度作为相对真度的特款,拓广了真度理论的应用范围.本文第叁、四章在此基础上对Lukasiewicz系统和n值R0逻辑系统Ln*中的相对真度做了进一步研究.全文共分四章,具体结构和内容安排如下：第一章：预备知识.本章介绍了文中用到的偏序集、格、半格、MV代数、Lukasiewicz系统、R0-代数、L*系统的基本概念和结论.第二章：R0-代数的V-半格蕴涵表示及其简化形式.本章第一部分结合格的相关性质,进一步研究了R0-代数公理条件的内在联系,给出了R0-代数的V-半格蕴涵表示形式.第二部分借助L*系统中公理和R0-代数条件的对应关系,进一步简化了R0-代数的V-半格蕴涵表示形式.第叁章：连续值Lukasiewicz系统中公式的相对真度及其性质.共叁节.第一节介绍了公式诱导的函数的扩张和公式的积分真度的相关知识.第二节给出了Lukasiewicz系统中公式的相对真度的概念并对其基本性质做了初步研究.第叁节在第二节的基础上定义了公式的相对伪距离,给出了相对伪距离的基本性质.第四章：Ln*系统中理论的相对发散度和相对相容度.共叁节.第一小节介绍了Ln*系统中公式的相对真度的若干性质.第二节介绍了Ln*系统中理论的相对发散度及其相关性质.第叁节给出了理论r相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.同时给出了任一理论相对于特定理论Γ0的ηΓ0相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0相容度,并揭示了两种相容度之间的内在联系.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
相对真度论文参考文献
[1].秦晓燕,徐扬.一阶逻辑公式相对真度的计算形式[J].计算机工程与应用.2015
[2].崔艳丽.R_0代数的简化以及相对真度的相关性质研究[D].陕西师范大学.2010
[3].秦晓燕,焦淑云.有限解释下一阶谓词公式的相对真度[J].山西师范大学学报(自然科学版).2008
[4].刘保翠.命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D].陕西师范大学.2008