导读:本文包含了近似推理论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:近似,逻辑,度量,模糊,多项式,代数,直觉。
近似推理论文文献综述
刘俊琴,舒怀珠,朱晓刚[1]（2019）在《基于信息扩散近似推理的义乌市建筑垃圾产生量预测研究》一文中研究指出建筑垃圾产生量的有效预测对于建筑垃圾综合利用与科学管理具有重要的现实意义。本文采用信息扩散近似推理的预测方法对2019年义乌市建筑垃圾的产生量进行了预测,预测结果符合建筑垃圾产生量增加的规律,具有一定的参考价值。(本文来源于《南方农机》期刊2019年11期）
何林海[2]（2019）在《基于贝叶斯网络的概率图模型变分近似推理研究》一文中研究指出概率图模型利用了概率论和图论的关键内容,为解决多变量关系中所存在的依赖性与复杂性提供了完整的解决路径。在语言处理、计算机视觉、计算生物学等众多领域得到广泛应用。本文以贝叶斯网络作为核心研究方向,就概率图模型变分近似推理的全局性、收敛性、单调性等诸多特征进行辩证分析。最终论述了基于贝叶斯网络的概率图模型变分近似推理算法的应用范畴和优势,以便为相关研究提供理论参考。(本文来源于《山东农业工程学院学报》期刊2019年04期）
黄伟铭,韩峻峰,杨丽君,焦自权,张圆圆[3]（2019）在《基于相似匹配调整模糊关系的近似推理模式》一文中研究指出在基于相似性的近似推理中,通过引入模糊集合之间的相似匹配方向作为模糊推理中相似性匹配的补充,可以更精确地描述模糊集合中隶属信息的变化趋势。在SMRR推理模式中,模糊关系的调整是通过给定事实与规则的相似匹配来实现的,这样,当输入事实和规则前提发生的每一变化,包括扩大或缩小的改变,都可以反映在调整后的模糊关系中,从而解决了CRI的推理结果与实际情况不一致的问题,并且改进和完善了现有的基于相似度量的近似推理机制。(本文来源于《钦州学院学报》期刊2019年03期）
马巧云,吴洪博[4]（2018）在《公式与理论的最近距离和最远距离及在近似推理中的应用》一文中研究指出本文引入了公式与有限理论之间的最近距离和最远距离,讨论了公式与有限理论之间的最近距离和最远距离的一些简单性质;得到了当有限理论Γ中有根A,且公式B满足一定条件时,公式B与理论Γ之间的最近距离就是ρ(A,B)。基于最近距离和最远距离,给出了逻辑系统L中的可能Γ-结论的定义,并讨论了逻辑系统L中相应的近似推理。(本文来源于《模糊系统与数学》期刊2018年01期）
朱乃调,惠小静,高晓莉[5]（2016）在《Gdel n值命题逻辑系统中命题公式的t真度及近似推理》一文中研究指出通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel~(~,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。(本文来源于《计算机科学》期刊2016年S2期）
田野,史向峰,龙戈农[6]（2016）在《基于蕴涵式直觉模糊推理的IFRS上、下近似推理》一文中研究指出针对粗糙集和模糊粗糙集推理的局限性,介绍了直觉模糊集中蕴涵式直觉模糊推理算法,提出了一种基于蕴涵式直觉模糊推理的IFRS上、下近似推理算法。该算法引入了直觉模糊粗糙集(IFRS)模型,并将直觉模糊条件推理中的蕴涵式直觉模糊推理扩展到直觉模糊粗糙集(IFRS)环境下,通过计算集合的上下近似来更好地表现最终推理结果的模糊性。最后通过一个算例说明算法的可行性,算例表明推理结果是通过上下近似表示的两个直觉模糊集合,且其隶属度函数值与非隶属度函数值相加小于等于1。(本文来源于《计算机应用》期刊2016年S1期）
付军[7]（2016）在《近似推理—多项式代数动态逻辑研究》一文中研究指出随着计算机技术的飞速发展,复杂系统,例如轨道交通、航空航天、工业控制等的规模和结构越来越庞大和复杂,系统出现缺陷和漏洞的可能性也在不断增加。任何微小错误都足以导致巨大的经济损失,甚至人员伤亡。如何确保复杂系统设计的正确性,是学术界和工业界一直关注的问题。已有研究和实践表明,基于逻辑推理的形式化方法是解决这一问题的有效方法。由于复杂系统普遍具有数据流交换、连续状态、性能指标等特性,传统的逻辑推理方法面临一些新挑战,主要包括如何建立系统行为与性质断言的统一逻辑框架,如何支持组合化、层次化刻画与验证,如何将数学计算过程与逻辑推理过程融合,如何在逻辑框架内建立系统性能的度量标准等。针对这些问题,本文详细研究了刻画系统行为和性质断言的统一逻辑语言,以及逻辑语言的数学模型、证明系统和近似推理系统,并结合实例深入探讨了它们在实际中的应用。本文取得的创新成果归纳如下：(1)提出了具有组合化和层次化特性的多项式代数动态逻辑(ADL),有效地解决了系统行为与性质断言的统一逻辑刻画问题。在ADL的框架中,系统行为被刻画为多项式代数程序,性质断言被刻画为ADL逻辑公式。ADL的组合化特性体现为：多项式代数程序具有组合化的结构,通过顺序、条件、循环等符号将各个子程序组合在一起；层次化则体现为：不同层次之间的关系可被刻画为ADL模态公式,如模态公式[α]φ→[β]φ可表示底层程序a实现了高层程序β的功能。(2)提出了一种更加精细的数学模型——多项式代数变迁系统(ATS),有效地解决了数据流交换、连续状态等的刻画问题。通过引入连续变量,ATS能够描述连续状态,并允许系统具有无限的连续状态空间,因而具有更强的系统刻画能力;通过在系统变迁上标记多项式表达式,ATS能够同时刻画状态跳转和数据流交换,因而可以刻画更加精细的系统行为。更加有意义的是,通过建立系统行为与多项式零点之间的联系,符号计算等成熟的数学方法能够应用于复杂系统的验证分析。(3)建立了ADL的形式化语义和证明系统(ADL演算),有效地解决了数学计算过程与逻辑推理过程的交叉融合问题。以ATS为语义模型,构造了ADL的形式化语义,包括多项式代数程序的变迁语义和逻辑公式的满足关系,变迁语义和满足关系都可用多项式零点定义,因而,逻辑公式的推导问题能够平滑地转化为符号计算的问题。同时,ADL演算是可靠且部分完备的。(4)建立了ADL的度量语义和近似推理系统,有效地解决了系统的性能评估问题。度量语义是对逻辑公式满足关系的一种量化描述,反映了公式成立的可能性,度量语义值越大则公式成立的可能性越高;近似推理系统由一组度量规则构成,用于估算系统性质在给定状态上成立的可能性。同时,近似推理系统是可靠的,而且是对ADL演算的量化扩展：凡是ADL演算可证的公式必定是可近似推导的。最后,本文对两个实例进行了验证与分析。实例分析结果表明,本文所建立的方法能够有效地刻画、验证和分析复杂系统的性质。(本文来源于《北京交通大学》期刊2016-06-01）
刘绍红,王洪春[8]（2016）在《一种基于改进的多值因果图的近似推理》一文中研究指出针对因果图的精确推理是NP难的,提出寻找近似的推理算法。根据以往文献中近似推理的原理,通过一种可能性比值,找到转化后的连接事件概率。该近似推理保证了多值因果图在推理过程中概率的归一性,最后用于实例得出的结果满足概率论知识且符合实际。(本文来源于《重庆理工大学学报(自然科学)》期刊2016年04期）
黎丽[9]（2016）在《Lukasiewicz模糊命题逻辑系统的计量化与近似推理》一文中研究指出为了在随机逻辑度量空间中展开近似推理理论研究,利用随机化方法,在Lukasiewicz模糊命题逻辑系统中,首先引入了命题公式的随机真度概念,进而引入了命题公式间的随机相似度以及随机伪距离的概念,从而建立了随机逻辑度量空间。在随机逻辑度量空间中,提出3种不同类型的近似推理模式,并论证了这3种近似推理模式的等价性。结果表明:3种近似推理模式在随机逻辑度量空间中是等价的。(本文来源于《中国科技论文》期刊2016年05期）
杨亚锋[10]（2015）在《基于集对逻辑的近似推理方法研究》一文中研究指出借鉴模糊推理的基本方法,以集对逻辑为基础,给出了集对蕴含式的定义,进一步针对其联系数形式的真值进行研究,讨论了单论域上集对推理的基本模式与方法。然后,提出了集对关系的概念,将单论域推理方法延伸至具有集对关系的联系域上,证明了一些基本定理。该成果对于集对分析理论的发展与完善有着一定的参考价值与指导意义。(本文来源于《智能系统学报》期刊2015年06期）
近似推理论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
概率图模型利用了概率论和图论的关键内容,为解决多变量关系中所存在的依赖性与复杂性提供了完整的解决路径。在语言处理、计算机视觉、计算生物学等众多领域得到广泛应用。本文以贝叶斯网络作为核心研究方向,就概率图模型变分近似推理的全局性、收敛性、单调性等诸多特征进行辩证分析。最终论述了基于贝叶斯网络的概率图模型变分近似推理算法的应用范畴和优势,以便为相关研究提供理论参考。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
近似推理论文参考文献
[1].刘俊琴,舒怀珠,朱晓刚.基于信息扩散近似推理的义乌市建筑垃圾产生量预测研究[J].南方农机.2019
[2].何林海.基于贝叶斯网络的概率图模型变分近似推理研究[J].山东农业工程学院学报.2019
[3].黄伟铭,韩峻峰,杨丽君,焦自权,张圆圆.基于相似匹配调整模糊关系的近似推理模式[J].钦州学院学报.2019
[4].马巧云,吴洪博.公式与理论的最近距离和最远距离及在近似推理中的应用[J].模糊系统与数学.2018
[5].朱乃调,惠小静,高晓莉.Gdeln值命题逻辑系统中命题公式的t真度及近似推理[J].计算机科学.2016
[6].田野,史向峰,龙戈农.基于蕴涵式直觉模糊推理的IFRS上、下近似推理[J].计算机应用.2016
[7].付军.近似推理—多项式代数动态逻辑研究[D].北京交通大学.2016
[8].刘绍红,王洪春.一种基于改进的多值因果图的近似推理[J].重庆理工大学学报(自然科学).2016
[9].黎丽.Lukasiewicz模糊命题逻辑系统的计量化与近似推理[J].中国科技论文.2016
[10].杨亚锋.基于集对逻辑的近似推理方法研究[J].智能系统学报.2015
论文知识图
