导读:本文包含了语言真值推理论文开题报告文献综述及选题提纲参考文献，主要关键词:语言真值直觉模糊代数,蕴涵算子,模糊推理,公共交通资源投入
语言真值推理论文文献综述
王洪东,潘畅,温欣,邹丽[1]（2018）在《基于语言真值直觉模糊推理的公共交通资源投入评估方法》一文中研究指出为了在智能信息处理中能够对具有可比性和不可比性的语言值信息进行处理,从而对推理过程中的正、反2个方面证据进行处理,提出一种语言真值直觉模糊推理方法;基于格蕴涵代数和2n元语言真值直觉模糊格,研究了语言真值Kleene-Dienes蕴涵算子和语言真值Zadeh蕴涵算子,讨论两者之间的性质和运算关系;利用所提的蕴涵算子构建一种基于模糊语言值推理的公共交通评估方法,以公共交通资源投入实例来说明方法的合理性。结果表明,与传统的模糊蕴涵算子相比,所提的2种蕴涵算子对具有语言值信息的公共交通资源投入评估分析中的信息应用更加全面,所得的具有语言值信息的评估结果更加接近人类思维。(本文来源于《济南大学学报(自然科学版)》期刊2018年03期）
邹丽,谭雪微,温欣,刘新[2]（2015）在《真值限定的语言真值直觉模糊推理》一文中研究指出为了更贴近人类语言的表达,减少推理过程中信息的损失,在直觉模糊逻辑推理的基础上,结合语言真值格蕴涵代数,提出了真值限定的语言真值直觉模糊推理方法。研究了语言真值直觉模糊犹豫度、相容度、不相容度及其相关性质,并通过语言真值直觉模糊相容度的计算,对推理真值进行限定,给出语言真值直觉模糊推理模型的真值限定推理方法。设计推理算法,并将算法应用于实例中。实例说明,该方法在处理同时具有可比性和不可比性的语言真值直觉模糊推理问题中更有效。(本文来源于《智能系统学报》期刊2015年05期）
张家锋[3]（2014）在《基于格值逻辑的语言真值语义归结自动推理研究》一文中研究指出基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效地刻画；另外人们对事物进行推理、判断与决策时经常用语言值进行描述,因而基于语言值的智能信息处理理论与方法,也是目前较为活跃的一个研究领域。本文在已有关于基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上,对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入的研究,并取得了以下几个方面的研究成果：第一部分格值命题逻辑系统(Ln×L2)P(X)中广义文字的α-归结性。基于格值命题逻辑系统(Ln×L2)P(X)的真值域的结构特性,对归结水平α为对偶分子的情形,给出了(Ln×L2)P(X)中 0-IESF、1-IESF、2-IESF与其它广义文字之间的α-归结性。第二部分格值逻辑系统的α-语义归结自动推理。得到了格值命题逻辑系统LP(X)中几类广义子句集的性质,并建立了这几类广义子句集的α-语义归结方法,给出了其可靠性与条件完备性,相应地,给出了语言真值格值命题逻辑系统LV(n×2)P(X)中的α-语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑L(X)中相应归结水平的语义归结的等价转化性；建立了格值一阶逻辑系统LF(X)的α-语义归结方法,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值一阶逻辑系统LV(n×2)F(X)中α-语义归结与基于Lukasiewicz蕴涵代数的格值一阶逻辑LnF(X)中相应归结水平的语义归结之间的等价转化性。第叁部分格值逻辑系统的α-广义语义归结自动推理。建立了格值命题逻辑系统LP(X)中基于一般广义子句集的α-广义语义归结,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值命题逻辑系统LV(n×2)P(X)中的a-广义语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑LnP(X)中相应归结水平的广义语义归结的等价转化性；建立了格值一阶逻辑系统LF(X)中基于一般广义子句集的α-广义语义归结方法,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值一阶逻辑系统LV(n×2)F(X)中基于一般广义子句集的α-广义语义归结与基于Luka-siewicz蕴涵代数的格值一阶逻辑LnF(X)中相应归结水平的广义语义归结之间的等价转化性。第四部分格值逻辑系统中归结方法的相容性。建立了格值一阶逻辑系统LF(X)中α-语义归结方法与删除策略的相容性以及格值一阶逻辑系统LF(X)中α-广义语义归结与广义删除策略的相容性,同时建立了格值一阶逻辑系统LF(X)中α-广义归结与支撑集归结在一定条件下的相容性。(本文来源于《西南交通大学》期刊2014-04-07）
邹丽,谭雪微,张云霞[4]（2014）在《语言真值直觉模糊逻辑的知识推理》一文中研究指出针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。(本文来源于《计算机科学》期刊2014年01期）
赖家俊,徐扬[5]（2013）在《基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中两种模型的不确定性推理》一文中研究指出在语言真值格值一阶逻辑系统的框架下,讨论了两种推理模型中的不确定性推理理论与方法,并针对不同的推理规则得到了推理算法,其推理算法既有合理的语义解释又有严密的语法论证。(本文来源于《模糊系统与数学》期刊2013年04期）
何星星[6]（2012）在《基于格值逻辑的语言真值α-广义锁归结自动推理研究》一文中研究指出智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统,充满了大量的、各种各样的、复杂的不确定性信息,是智能信息处理的重要应用领域之一。基于格值逻辑的归结自动推理是智能信息处理领域的重要基础研究内容,对处理智能交通中的不可比较性、语言值信息及相应软硬件系统正确性的形式化验证,有重要学术意义和良好应用前景。本论文在基于格值逻辑的语言真值α-归结自动推理的基础上,提出了寻找所有κ-ESFs的统一算法和判断广义文字α-可归结性的通用方法及程序。为提高α-归结自动推理效率,提出了α-锁归结方法,证明了其可靠性与完备性,设计了通用算法,并利用Matlab语言,在机器上实现了α-锁归结自动推理。进一步地,提出了语言真值格值逻辑系统中α-广义归结原理,给出了α-广义锁归结自动推理方法、算法和程序。主要取得了如下四个方面的研究成果。1、给出了语言真值格值命题逻辑系统(Lv(n×2)P(X))中寻找所有κ-IESFs和判断广义文字是否α-可归结的通用算法与程序。具体为：给出了L6P(X)中逻辑公式的运算性质,得到了该逻辑系统中寻找所有κ-IESFs的通用方法；将该方法拓展至Lv(n×2)P(X),设计了Lv(n×2)P(X)中寻找所有κ-IESFs的通用算法；从语义角度,给出了两类典型逻辑公式F=F1→F2与F=(F1→F2)’的正规性；给出了Lv(n×2)P(X)判断广义文字是否α-可归结的通用方法与程序。2、提出了语言真值格值一阶逻辑系统(Lv(n×)F(X))中α-锁归结方法,给出了该方法的相容性,并设计了相应的算法与程序。具体为：提出了α-锁归结的概念,给出了α-锁归结的性质,可靠性与完备性,及其统一算法和程序；建立了α-锁归结在Lv(n×2)F(X)和kP(X)上的等价转化性；提出了α-输入归结和α-单元归结的概念,给出了两者间的等价性,可靠性与完备性,及其在Lv(n×2)F(X)和kP(X)上的等价转化；给出了kP(X)中逻辑公式的α-可满足性；证明了在LnF(X)中α-锁归结与广义删除策略、α-线性归结、α-输入归结和α-单元归结在一定条件下是相容的,并设计了相应的统一算法。3、提出了Lv(n×2)F(X)中α-广义归结原理。具体为：提出了Lv(n×2)F(X)中α-广义归结的概念,刻画了逻辑公式的α-不可满足性；给出了α-广义归结的可靠性与完备性；建立了α-广义归结在Lv(nr2)F(X)和LnP(X)上的等价转化性。4、提出了Lv(n×2)F(X)中α-广义锁归结,给出了该方法的相容性,并设计了相应的算法与程序。具体为：提出了α-广义锁归结的概念,给出了α-广义锁归结的性质,及其可靠性与完备性,设计了统一算法和程序；建立了α-广义锁归结在Lv(n×2)F(X)和LnP(X)上的等价转化性；证明了在LnF(X)中α-广义线性半锁归结的完备性；比较分析了α-广义线性归结、α-广义语义归结和α-广义锁归结方法的有效性、复杂性和实用性。(本文来源于《西南交通大学》期刊2012-01-01）
刘德山,殷明娥,邹丽[7]（2011）在《语言真值直觉模糊命题逻辑系统的推理规则》一文中研究指出提出了一种基于语言真值直觉模糊代数的直觉模糊命题逻辑系统。基于语言真值格蕴涵代数生成语言真值直觉模糊代数,可同时处理具有可比性或不可比性信息。该方法可以同时处理不确定性问题的正面证据和反面证据。研究了语言真值直觉模糊命题逻辑系统LP(S)的性质,得到了其公理及推理规则,也获得了LP(S)中的证明与定理。实例说明,该方法在处理同时具有可比性和不可比性的直觉模糊决策问题中更灵活、更有效。(本文来源于《计算机工程与应用》期刊2011年33期）
赖家俊,徐扬[8]（2011）在《基于语言真值格值一阶逻辑的不确定性推理的语法》一文中研究指出讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的闭性和可靠性,证明了推理规则在α≤∧θ∈Ln×L2(θ→θ′)(θ≠(an,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要条件。(本文来源于《模糊系统与数学》期刊2011年02期）
赖家俊[9]（2010）在《基于语言真值格值一阶逻辑的不确定性推理研究》一文中研究指出本论文将语言真值格蕴涵代数引入到格值一阶逻辑中,对语言真值格蕴涵代数的一些代数结构、基于语言真值格值一阶逻辑的不确定性推理的理论与方法、基于语言真值分层格值一阶逻辑的不确定性推理的理论与方法进行了研究,并取得如下四个方面的研究成果：一、关于格蕴涵代数的研究1.在格蕴涵多项式的基础上,重新给出了格蕴涵代数不等式的定义,提出了几类格蕴涵代数不等式解集的结构特征,并得到了有些解集可构成滤子和理想的结构；2.提出了WLI-理想的定义,给出了WLI-理想以及由WLI-理想所生成拓扑空间的性质,得到了满足第二可数性公理的充分必要条件；3.提出了赋范格H蕴涵代数、蕴涵距离d→、V-距离d∨、∧-距离d∧的定义,给出了赋范蕴涵满射、赋范格H蕴涵同态、赋范格H蕴涵同构以及赋范同构的性质,并证明了收敛数列的有界性和蕴涵距离是有界的结论.二、关于语言真值格蕴涵代数的研究1.给出了语言真值格蕴涵代数的若干性质,得到了(aj,bn)→(ai,bm)=(ap,bh)→(ai,bm)(?)aj=ap且bn=bh(?)(ai,bm)→(aj,bn)=(ai,bm)→(ap,bh)；2.给出了语言真值格蕴涵代数中对偶分子的推理性质,证明了对偶分子在一定程度上对算子∨、∧、→具有闭性；3.提出了语言真值格蕴涵代数中蕴涵不可约元素的定义,给出了它的推理性质.叁、关于语言真值格语言真值格值一阶逻辑系统Lv(n×2)F(X)上的不确定性推理研究1.提出了基于语言真值格值一阶逻辑系统Lv(n×2)F(X)的不确定性推理理论与方法；2.基于语言真值格值一阶逻辑系统Lv(n×2)F(X),给出了带广义量词的推理规则,并证明了这些推理规则的合理性；3.提出了两种推理模型中的不确定性推理理论与方法.四、关于基于语言真值分层格值一阶逻辑系统Lv(n×2)fl的不确定性推理研究1.基于语言真值分层格值一阶逻辑系统LV(n×2)fl,给出了推理规则在(α0,β0)≤∧θ∈Lv(n×2)(θ∨θ')(θ≠(an,t))水平下的不确定性推理理论与方法,并证明了这些推理方法的合理性；2.提出了基于语言真值分层格值一阶逻辑系统LV(n×2)fl的不确定性推理模型的正则条件以及基于语言真值分层格值一阶逻辑系统LV(n×2)fl在蕴涵不可约元素集下的不确定性推理理论与方法.(本文来源于《西南交通大学》期刊2010-11-01）
邹丽[10]（2010）在《基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究》一文中研究指出人类在处理决策、评估、风险分析、信息检索等问题中会遇到大量的不确定性信息,本文基于格蕴涵代数,用语言真值去处理具有模糊性和不可比较性的不确定信息,建立能够同时处理可比性和不可比性的语言真值逻辑系统,并对语言真值逻辑系统和语言真值直觉模糊逻辑系统的性质及其推理的理论与方法进行了研究,主要研究成果如下：一、语言真值格蕴涵代数(1)分析了2-tuple语言值表示模型,语气代数等语言值信息处理方法.(2)借鉴语气代数的结构特点并结合格蕴涵代数的性质,讨论了18元和2n元语言真值格蕴涵代数的结构及性质.二、基于格蕴涵代数的语言真值命题逻辑系统(1)基于六元格蕴涵代数,得到了六元语言真值命题逻辑系统的推理性质及其基于滤子的归结推理方法.(2)基于2n元语言真值格蕴涵代数,得到了2n元语言真值格值命题逻辑系统中命题公式的性质.(3)解决了基于语言真值格蕴涵代数的格值命题逻辑系统的可满足性问题,给出了基于滤子的语言真值归结推理理方法及a-语言真值归结推理方法.叁、语言真值直觉模糊代数(1)基于18元语言真值格蕴涵代数LV(9×2),构造了45元语言真值直觉模糊代数LI18.将语言真值直觉模糊格LI18推广到基于2n元语言真值格蕴涵代数LV(n×2)的语言真值直觉模糊格LI2n=(LI2n,∪,∩,→,((hn,t),(hn,f))),((h1,t),(h1,f))上.(2)讨论了LI2n的格代数性质,给出了语言真值直觉模糊格中V-不可约元上的蕴涵算子及其性质,进一步得到了LI2n上的蕴涵算子及其性质.(3)分析了语言真值直觉模糊格LI2n。与剩余格,MTL-代数,BL-代数,MV-代数,格蕴涵代数及R0-代数的关系,给出了LI2n的叁角代数结构.四、语言真值直觉模糊命题逻辑系统(1)给出语言真值直觉命题逻辑系统LP(S)的公理及其推理规则,得到了LP(S)中的证明与定理.(2)分析了LP(S)的语义,并得到了LP(S)的可靠性与完备性.(3)研究了语言真值直觉模糊命题逻辑系统的推理方法,解决了LP(S)中公式的可满足性问题,得到了(α,β)-归结推理方法.(4)给出45元语言真值直觉模糊代数LI18中的自动推理方法.(本文来源于《西南交通大学》期刊2010-09-01）
语言真值推理论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为了更贴近人类语言的表达,减少推理过程中信息的损失,在直觉模糊逻辑推理的基础上,结合语言真值格蕴涵代数,提出了真值限定的语言真值直觉模糊推理方法。研究了语言真值直觉模糊犹豫度、相容度、不相容度及其相关性质,并通过语言真值直觉模糊相容度的计算,对推理真值进行限定,给出语言真值直觉模糊推理模型的真值限定推理方法。设计推理算法,并将算法应用于实例中。实例说明,该方法在处理同时具有可比性和不可比性的语言真值直觉模糊推理问题中更有效。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
语言真值推理论文参考文献
[1].王洪东,潘畅,温欣,邹丽.基于语言真值直觉模糊推理的公共交通资源投入评估方法[J].济南大学学报(自然科学版).2018
[2].邹丽,谭雪微,温欣,刘新.真值限定的语言真值直觉模糊推理[J].智能系统学报.2015
[3].张家锋.基于格值逻辑的语言真值语义归结自动推理研究[D].西南交通大学.2014
[4].邹丽,谭雪微,张云霞.语言真值直觉模糊逻辑的知识推理[J].计算机科学.2014
[5].赖家俊,徐扬.基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中两种模型的不确定性推理[J].模糊系统与数学.2013
[6].何星星.基于格值逻辑的语言真值α-广义锁归结自动推理研究[D].西南交通大学.2012
[7].刘德山,殷明娥,邹丽.语言真值直觉模糊命题逻辑系统的推理规则[J].计算机工程与应用.2011
[8].赖家俊,徐扬.基于语言真值格值一阶逻辑的不确定性推理的语法[J].模糊系统与数学.2011
[9].赖家俊.基于语言真值格值一阶逻辑的不确定性推理研究[D].西南交通大学.2010
[10].邹丽.基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D].西南交通大学.2010
标签：语言真值直觉模糊代数; 蕴涵算子; 模糊推理; 公共交通资源投入;