导读:本文包含了恒真水平论文开题报告文献综述及选题提纲参考文献，主要关键词:算子模糊命题逻辑,公式,恒真水平,恒假水平
恒真水平论文文献综述
邓安生,李冠宇,王瑞[1]（2010）在《算子模糊命题逻辑中公式恒真恒假水平的模型》一文中研究指出为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式的语义值可以在公式的恒真水平和恒假水平之间变动。基于算子模糊命题逻辑,证明了任意公式在二值解释的意义下都可以转化成与之等值的合取范式和析取范式,并根据公式的合取范式或析取范式给出了公式恒真水平和恒假水平模型的生成方法。公式的恒真水平和恒假水平在根本上决定了公式的语义性质,其模型给出了公式在何时达到其最小和最大语义值的一个解答。(本文来源于《解放军理工大学学报(自然科学版)》期刊2010年06期）
王瑞[2]（2010）在《算子逻辑中公式恒真水平模型的生成算法研究》一文中研究指出逻辑推理是人工智能的重要研究领域之一。随着人工智能的发展,人们越来越清楚地认识到,经典逻辑在描述和处理基于知识的推理方面具有其内在的局限性,因而迫切需要一个更广义的逻辑推理体系。刘叙华在1985年提出了算子模糊逻辑,1994年邓安生将算子模糊逻辑建立在布尔代数上,提出了布尔算子模糊逻辑。算子模糊逻辑将变量定义在[0,1]区间,引入实数λ∈[0,1]作为算子,如断言“G成立的可能性是兄”用公式λG表示。用算子模糊逻辑描述知识更符合客观现实。本文的主要研究工作是在算子模糊逻辑的框架内,将公式的语义值定义在{0,1}和[0,1]区间,求解任意给定的公式的恒真水平和恒假水平模型。本论文主要分为理论和系统两部分。基于算子模糊逻辑的定量模型的思想,当公式的语义值定义在{0,1}时,算子模糊逻辑中公式的变量取值范围为0和1,根据等式λρ=λ(?)ρ,将公式中算子与原子分离,可以比较容易得到公式的恒真水平和恒假水平模型。当变量取值范围为[0,1]时,本文将λ作为一个整体处理,根据定理min{λ,1-λ}≤T1(λρ)≤max{λ,1-λ},找到T1(λρ)的极值点,再结合算子模糊逻辑的运算性质,得到公式的恒真水平和恒假水平模型。基于以上理论,本文给出了求解算子逻辑中任意公式恒真水平和恒假水平模型的系统,本系统提供一个简洁、方便的交互界面,当输入一个公式后,系统自动调用求解恒真水平和恒假水平模型的算法,输出结果。本文对于任意给定的公式G,通过求解公式的恒真水平和恒假水平,就可以知道该公式在怎样程度上是可信的。求使得公式G达到其恒真水平和恒假水平的模型,不仅具有明显的理论意义,同时在推理实践中有可能利用模型对推理的进行方向提供语义方面的指导作用。(本文来源于《大连海事大学》期刊2010-05-01）
恒真水平论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
逻辑推理是人工智能的重要研究领域之一。随着人工智能的发展,人们越来越清楚地认识到,经典逻辑在描述和处理基于知识的推理方面具有其内在的局限性,因而迫切需要一个更广义的逻辑推理体系。刘叙华在1985年提出了算子模糊逻辑,1994年邓安生将算子模糊逻辑建立在布尔代数上,提出了布尔算子模糊逻辑。算子模糊逻辑将变量定义在[0,1]区间,引入实数λ∈[0,1]作为算子,如断言“G成立的可能性是兄”用公式λG表示。用算子模糊逻辑描述知识更符合客观现实。本文的主要研究工作是在算子模糊逻辑的框架内,将公式的语义值定义在{0,1}和[0,1]区间,求解任意给定的公式的恒真水平和恒假水平模型。本论文主要分为理论和系统两部分。基于算子模糊逻辑的定量模型的思想,当公式的语义值定义在{0,1}时,算子模糊逻辑中公式的变量取值范围为0和1,根据等式λρ=λ(?)ρ,将公式中算子与原子分离,可以比较容易得到公式的恒真水平和恒假水平模型。当变量取值范围为[0,1]时,本文将λ作为一个整体处理,根据定理min{λ,1-λ}≤T1(λρ)≤max{λ,1-λ},找到T1(λρ)的极值点,再结合算子模糊逻辑的运算性质,得到公式的恒真水平和恒假水平模型。基于以上理论,本文给出了求解算子逻辑中任意公式恒真水平和恒假水平模型的系统,本系统提供一个简洁、方便的交互界面,当输入一个公式后,系统自动调用求解恒真水平和恒假水平模型的算法,输出结果。本文对于任意给定的公式G,通过求解公式的恒真水平和恒假水平,就可以知道该公式在怎样程度上是可信的。求使得公式G达到其恒真水平和恒假水平的模型,不仅具有明显的理论意义,同时在推理实践中有可能利用模型对推理的进行方向提供语义方面的指导作用。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
恒真水平论文参考文献
[1].邓安生,李冠宇,王瑞.算子模糊命题逻辑中公式恒真恒假水平的模型[J].解放军理工大学学报(自然科学版).2010
[2].王瑞.算子逻辑中公式恒真水平模型的生成算法研究[D].大连海事大学.2010