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