导读:本文包含了自动推理论文开题报告文献综述及选题提纲参考文献，主要关键词:智能变电站,操作票,典型间隔,规则函数
自动推理论文文献综述
谭晶,夏佾,窦昊翔,郑铭洲[1]（2019）在《基于规则推理的智能变电站操作票自动生成方法》一文中研究指出智能变电站操作票开票系统能够有效防止误操作,实现顺序控制。目前开票系统的操作逻辑主要基于典型间隔,进行人工组态,工作量较大。提出一种基于规则推理的智能变电站操作票自动生成方法。基于"五防"规则建立基本单元模型,并生成各类典型间隔设备的操作规则函数,实现系统知识库的构建;通过解析智能变电站的SSD文件得到一次设备的状态,以此构建一次设备拓扑表,并采用基于设备状态的推理算法结合设备操作规则函数,完成推理机的构建,实现操作票的自动生成。通过算例验证,测试结果表明,文中研究的方法具有完善的知识库,针对不同接线方式下的操作任务,能高效快速地完成自动开票,通用性及准确性较强。(本文来源于《电网与清洁能源》期刊2019年07期）
王权威[2]（2019）在《初等数学问题自动求解中的分支推理架构及实现》一文中研究指出随着人工智能研究的深入和现代计算机技术的发展,其对人们的生活方式和社会的组织结构都将产生深远的影响。在人工智能给人们日常生活带来便捷的同时,其在科研与教育领域也将产生变革。人工智能的发展将推进科研与教育向纵深方向发展。正是基于上述背景,本文主要研究了初等数学问题自动求解中的分支推理架构,设计和实现了一个基于分支推理的初等数学问题自动求解系统。本文的主要内容包括以下几个方面:1.初等数学问题的知识表示初等数学问题的知识表示包括初等数学中相关的实体表示、实体之间的关系表示和推理依据的表示。在本文中,我们将初等数学中所涉及的概念分类进行抽象,用面向对象的方法来表示。用Data表示原子知识,用Relation去表示多个Data或多个Relation之间的关系。推理依据的表示包括初等数学问题中的一些常识、公理、定理和推论的表示。我们为这些公理、定理、推论等数学理论建立结构一致的模型,以便计算机能够运用这些模型进行推理产生出新的知识,从而达到解题的目的。在系统中主要以编写规则的方式来实现此类模型。2.基于知识库的分支推理架构的研究在问题求解过程中,往往会涉及到一些分类讨论的情况。我们通过建立分支知识库,实现拆分“或”关系为各个单独关系,让它们分别在各自独立的知识库中进行无干扰的推理;然后再利用矛盾检测机制检验推理产生的知识,逐步减少分支或推导出分支并对分支进行合并;最终求解出问题,同时得到完整的问题求解过程。这就是分支推理。在研究分支推理架构时,我们分别对分支架构中的关键技术进行了研究与探索,包括分支的具体知识表示、分支推理架构的模块组成、分支推理策略和外部分支技术。3.基于分支推理的问题自动求解系统的实现系统中的初等数学知识以对象的方式来表示和存储,通过自然语言理解、预处理、主知识库、外部知识库、控制器、分支推理和符号计算等模块的相互配合,形成一个具有类人答题功能的完整的初等数学问题自动求解系统。并且在该系统中创造性地设计和实现了一题多解模块,使系统具有能够用多种方法求解初等数学问题中一些典型问题的功能。(本文来源于《电子科技大学》期刊2019-03-27）
高振海,孙天骏,何磊[3]（2019）在《汽车纵向自动驾驶的因果推理型决策》一文中研究指出针对汽车纵向自动驾驶决策过程的因果关联问题,建立了车辆跟驰行为的马尔可夫决策过程模型,利用真实驾驶员驾驶模拟器实验数据与驾驶风险原则确定了模型中的状态集和动作集,并根据车辆的行驶状态设计了相应的回报函数,进而基于增强Q学习算法对该模型进行求解,提出了以上决策过程的因果推理机制。最终,通过在随机工况下的仿真测试,验证了该方法的可行性与有效性。(本文来源于《吉林大学学报(工学版)》期刊2019年05期）
王健,王然风[4]（2018）在《基于案例推理技术的浓缩机药剂自动添加系统》一文中研究指出针对寺河矿选煤厂尾煤处理环节药剂人工添加存在的药剂消耗量大、自动化程度低、工人劳动强度大、产品指标波动明显等问题,建立了基于案例推理技术的浓缩机药剂自动添加系统。首先建立案例推理知识库,主要由实际生产过程中工人操作经验以及药剂组合试验结果组成,生产过程中,依据当前生产状态,从案例库中选择最佳案例,最终输出药剂添加量。寺河矿选煤厂实际使用效果表明:系统运行后,浓缩机溢流和底流浓度稳定性明显提高,平均吨煤泥凝聚剂减少了5.16%,絮凝剂减少了6.67%。(本文来源于《煤炭技术》期刊2018年10期）
李乐[5]（2018）在《基于数据挖掘与自动推理的未知通信协议分析》一文中研究指出当今世界,网络与信息技术日新月异,提高互联网的安全保障能力已成为我国构建强大网络战略的重要组成部分,信息战也成为决定现代战争胜负的关键因素,而可靠的信息交互依赖于通信协议,因此,对敌方通信信息进行分析,进而获得通信协议的结构,为通信情报的获取及有效的信息对抗手段的采取提供依据是一个重要的研究课题。论文研究的对象是具有固定帧头格式的未知通信协议,通过获得的大量未知通信协议的原始数据,寻找其隐藏的协议规律。从大量的比特流数据中对未知协议进行识别,首先需要实现对比特流数据中数据帧的完整切割,然后需要从切分得到的数据帧中提取正确的协议特征信息,最后基于协议特征对协议进行归类。为了解决上述关键问题,本文提出了零先验知识情况下的基于频繁串提取的帧定位方法和基于聚类的帧特征分析方法。论文的主要工作有:1、针对基于频繁串提取的帧定位方法,本文通过数据单元切分、Jaccard参数筛选和基于关联规则的频繁序列拼接来识别比特流数据中的同步码序列,利用汉明距离对流数据中的同步码进行定位,以此实现帧切割。2、针对基于聚类的帧特征分析方法,将频繁序列的位置信息作为参考条件,根据频繁串及其位置信息构建二维复合特征,实现降低特征序列维数的同时准确提取出协议的特征。3、通过对两种典型的聚类算法,K-means和DBSCAN算法进行研究和性能分析,考虑到未知协议分析中缺乏先验知识以及比特流序列缺乏语义的条件,对聚类算法进行改进以适用于比特流数据。依据提取出的特征对协议进行向量转化,通过改进的聚类算法将具有相似帧格式的协议聚为一簇。4、为了对本文所提算法的有效性和准确性进行验证,分别以标准数据集和采集的以太网通信数据作为输入数据,设计相应的实验进行验证和评估。采用两种典型的聚类算法对不同帧格式数据进行聚类,以准确率和计算时间为评价指标对聚类算法进行了比较,总结了算法的优点和局限性。实验结果表明,论文提出的方法,能够从大量的比特流数据中实现准确的帧定界和切分,对于结构相对简单的协议,可以有效的识别出不同格式的数据帧。(本文来源于《西安电子科技大学》期刊2018-06-01）
孟佳[6]（2018）在《基于语言值二元组的归结自动推理方法》一文中研究指出人工智能是使计算机来模拟人的某些思维过程和智能行为的学科,制造类似于人脑智能的计算机,使计算机能实现更高层次的应用。现实生活中人类的语言是千变万化的,要使计算机模拟人类的智能行为进行推理,要求信息具有极高的完整性,在表达人类语言中语言值二元组能够精确地描述语言信息,使其在运算推理过程中大大降低信息的缺失。归结方法作为自动推理的重要分支,以其严谨而简洁的推理过程被诸多学者关注。本文基于语言值二元组的相关研究,结合命题逻辑与谓词逻辑,建立语言值二元组命题逻辑系统和语言值二元组谓词逻辑系统。借鉴语义归结策略和锁归结策略,提出语言值二元组命题逻辑的广义语义归结方法和语言值二元组谓词逻辑的广义锁归结方法。本文的主要研究成果如下:本文结合经典逻辑和语言值二元组提出语言值二元组命题逻辑系统,并在此基础上结合语义归结形成语言值二元组命题逻辑的广义语义归结。将语言值二元组命题逻辑公式转换成语言值二元组命题逻辑广义子句。以语言值二元组命题逻辑文字是否是可满足的为标准将文字分成两类,即语言值二元组相似文字和语言值二元组互补文字。将语言值二元组广义子句按照一定的语义分成两部分,约定每部分内的子句间不允许作归结。同时还引入了文字次序,约定归结时其中的一个子句的被归结文字只能是该子句中次序“最大”的文字,减少冗余的归结子句以此提高归结的效率。通过实例对比说明语言值二元组命题逻辑的广义语义归结算法的可行性和有效性。为了使语言更加贴近人类自然语言的表达,也更容易被计算机所识别。本文结合经典逻辑中的锁归结策略,在语言值二元组谓词逻辑的归结原理基础上提出了语言值二元组谓词逻辑的广义锁归结方法。在语言值二元组谓词逻辑中给出了将语言值二元组谓词逻辑公式转换成Skolem标准范式的方法,研究了语言值二元组谓词逻辑中的广义锁归结,提出语言值二元组谓词逻辑中的广义锁归结算法,并通过实例说明该归结算法的有效性。(本文来源于《辽宁师范大学》期刊2018-06-01）
白海星,张沛[7]（2018）在《机器人越来越“有文化”》一文中研究指出AlphaGo和AlphaGo zero接连战胜人类顶尖棋手，让更多普通人以“危机感”的视角关注人工智能。究竟什么是人工智能？人工智能是研究、开发用于模拟、延伸和拓展人的智能的理论、方法、技术及应用系统的一门新的技术科学。该领域的研究包括机器人(本文来源于《经济日报》期刊2018-05-15）
陈青山[8]（2018）在《基于矛盾体分离的命题逻辑动态自动演绎推理求解系统研究》一文中研究指出SAT问题是一类特殊的约束满足问题(CSP),也是信息科学领域一个着名的决策问题。在理论应用领域,许多经典的可计算问题,诸如覆盖问题、打包问题、路由选择问题、排序问题等都可以转换为SAT问题求解;在实际应用领域,诸如模型检验、软件形式化验证、硬件形式化验证、智能规划、知识编译以及其他组合优化领域的问题也可以转换为SAT问题求解。因此,研究高效的SAT求解算法有着重要的理论价值和应用价值。由于SAT问题是NP完全的,迄今为止没有发现哪一个SAT求解器长期处于领先地位。针对主流的CDCL SAT求解算法的不足,本文基于徐扬教授提出的基于矛盾体分离的演绎自动推理理论,在构建动态、多元的矛盾体分离的演绎算法核心方面进行了深入的研究,并开发了独立的基于矛盾体分离的命题逻辑动态自动演绎推理求解器和基于矛盾体分离的命题逻辑动态自动演绎推理核心与CDCL融合的求解器。实现了基于矛盾体分离的命题逻辑动态自动演绎推理求解基础算法,并针对CDCL求解算法规避潜在搜索冲突的机制进行了研究,提出了基于矛盾体重构的子句学习算法。利用CDCL求解器冲突分析给出的回溯层与当前冲突层之间的决策信息,在子句集中选择合适子句重新构造矛盾体,并生成新的学习子句。重构过程与CDCL冲突分析过程同步化进行,解决了矛盾体构造中的演绎子句不确定性问题、演绎文字不确定性问题和演绎深度不确定性问题。同时,使得CDCL求解器每次可以得到两个学习子句,分别代表两个不同的冲突搜索空间,增强了CDCL求解器规避冲突的能力。针对CDCL求解算法单一分支决策机制决策效率不高的问题,提出了基于矛盾体分离的扩充求解算法。该算法以CDCL求解器给出的决策文字为起步文字,在剩余未满足子句中构造矛盾体,并生成一组局部可满足赋值序列,引导求解器优先搜索赋值序列所在解空间。通过不断地构造矛盾体并将被满足的子句成组地从剩余子句中分离,逐渐减小问题规模。对于可满足公式,可以通过迭代调用演绎过程,将局部可满足解成组地扩充为全局可满足解;对于不可满足公式,如果演绎结果出现空子句,则可以直接判定。局部可满足赋值序列是矛盾体构造得出的结论,本身反映了潜在搜索冲突,相比每次仅给出一个分支决策文字的决策机制,具有更高的决策效率。研究了CDCL启发式分支决策策略,在分析了已有启发式分支决策算法不能有效选择下一个分支变元之后,提出了基于活跃度综合评估的启发式分支文字选择算法。在冲突分析过程中,当变元出现在冲突子句和学习子句中时,其活跃度增量与变元所在决策层和被赋值时的总冲突次数均紧密有关。变元所在决策层体现了局部搜索对应子空间的划分关系,变元被赋值时的总冲突次数体现了全局搜索中的冲突变化趋势。本文算法综合考虑变元所在决策层和被赋值时的总冲突次数之间的关系,给出了决策层和冲突次数的作用调节因子。实验表明,该算法比经典的EVSIDS评估方式更加科学合理。研究了学习子句删除算法,在分析了已有学习子句删除算法随意性大且保留的子句利用率不高的问题之后,提出了基于冲突分析频率的学习子句删除算法和基于动态趋势评估的学习子句删除算法。基于冲突分析频率的学习子句删除算法通过强制删除被使用次数较少的子句,保留(或随机保留)次数较多的子句,能够显着改善求解性能。基于动态趋势评估的演绎结果删除算法给出了学习子句趋势强度的量化方法和轻量级的实现算法。通过建立学习子句状态趋势转移模型可将随机的、离散的时序信息转换为连续的累积趋势强度。在删除周期到达时,强制删除累积趋势强度小于设定阈值的学习子句。该算法总体性能显着优于学习子句活跃度评估算法,与LBD算法性能基本相当。研究了重复演绎路径识别问题,在分析了现有重启算法与搜索过程联系不太紧密、触发条件随意性大的问题后,提出了基于向量空间模型的搜索路径识别算法。该算法借助Luby序列触发延时重启判断,将当前搜索路径和已搜索路径转换为向量空间模型,通过计算向量空间相似度识别重复搜索路径,综合评估是否需要重启。一旦向量空间相似度达到设定阈值,则触发重启,否则延迟重启。对比结果表明,该算法能够有效规避重复搜索空间,并在一定程度上提高求解效率。(本文来源于《西南交通大学》期刊2018-03-03）
韦丽娟[9]（2018）在《一种网络访问控制语义相容性推理规则自动生成技术》一文中研究指出针对网络访问控制语义相容性本体推理规则编写繁琐、效率低且易出错的缺陷,提出了基于Lex&Yacc的访问控制语义相容性本体推理规则自动生成技术。分析了推理规则生成的相关技术,构建了推理规则生成算法,进行了算法的复杂度实验。实验结果表明,该算法能生成满足本体推理需要的推理规则,效率及正确性高。(本文来源于《软件导刊》期刊2018年02期）
周敏,郑国磊,郑祖杰[10]（2018）在《基于模糊推理的飞机结构件平顶筋自动识别方法》一文中研究指出分析平顶筋的几何、参数和工艺属性并给出平顶筋的表示模型;给出识别原理及识别方法的关键技术,包括:建立结构件模型的属性邻接图,计算结构件计算机辅助设计(CAD)模型中面和边的属性并对图中元素赋值;设计主面识别加权关联规则,运用模糊推理从属性邻接图中提取平顶筋主面;以平顶筋主面为种子面,搜索其他关联特征面;给出方法的实现流程并开发相应的算法,实现飞机结构件平顶筋的自动识别.实例测试及应用表明,该算法是正确且高效的,所识别出的平顶筋能直接映射到后续的加工操作中,用于筋特征数控加工的自动编程.(本文来源于《浙江大学学报(工学版)》期刊2018年03期）
自动推理论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着人工智能研究的深入和现代计算机技术的发展,其对人们的生活方式和社会的组织结构都将产生深远的影响。在人工智能给人们日常生活带来便捷的同时,其在科研与教育领域也将产生变革。人工智能的发展将推进科研与教育向纵深方向发展。正是基于上述背景,本文主要研究了初等数学问题自动求解中的分支推理架构,设计和实现了一个基于分支推理的初等数学问题自动求解系统。本文的主要内容包括以下几个方面:1.初等数学问题的知识表示初等数学问题的知识表示包括初等数学中相关的实体表示、实体之间的关系表示和推理依据的表示。在本文中,我们将初等数学中所涉及的概念分类进行抽象,用面向对象的方法来表示。用Data表示原子知识,用Relation去表示多个Data或多个Relation之间的关系。推理依据的表示包括初等数学问题中的一些常识、公理、定理和推论的表示。我们为这些公理、定理、推论等数学理论建立结构一致的模型,以便计算机能够运用这些模型进行推理产生出新的知识,从而达到解题的目的。在系统中主要以编写规则的方式来实现此类模型。2.基于知识库的分支推理架构的研究在问题求解过程中,往往会涉及到一些分类讨论的情况。我们通过建立分支知识库,实现拆分“或”关系为各个单独关系,让它们分别在各自独立的知识库中进行无干扰的推理;然后再利用矛盾检测机制检验推理产生的知识,逐步减少分支或推导出分支并对分支进行合并;最终求解出问题,同时得到完整的问题求解过程。这就是分支推理。在研究分支推理架构时,我们分别对分支架构中的关键技术进行了研究与探索,包括分支的具体知识表示、分支推理架构的模块组成、分支推理策略和外部分支技术。3.基于分支推理的问题自动求解系统的实现系统中的初等数学知识以对象的方式来表示和存储,通过自然语言理解、预处理、主知识库、外部知识库、控制器、分支推理和符号计算等模块的相互配合,形成一个具有类人答题功能的完整的初等数学问题自动求解系统。并且在该系统中创造性地设计和实现了一题多解模块,使系统具有能够用多种方法求解初等数学问题中一些典型问题的功能。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
自动推理论文参考文献
[1].谭晶,夏佾,窦昊翔,郑铭洲.基于规则推理的智能变电站操作票自动生成方法[J].电网与清洁能源.2019
[2].王权威.初等数学问题自动求解中的分支推理架构及实现[D].电子科技大学.2019
[3].高振海,孙天骏,何磊.汽车纵向自动驾驶的因果推理型决策[J].吉林大学学报(工学版).2019
[4].王健,王然风.基于案例推理技术的浓缩机药剂自动添加系统[J].煤炭技术.2018
[5].李乐.基于数据挖掘与自动推理的未知通信协议分析[D].西安电子科技大学.2018
[6].孟佳.基于语言值二元组的归结自动推理方法[D].辽宁师范大学.2018
[7].白海星,张沛.机器人越来越“有文化”[N].经济日报.2018
[8].陈青山.基于矛盾体分离的命题逻辑动态自动演绎推理求解系统研究[D].西南交通大学.2018
[9].韦丽娟.一种网络访问控制语义相容性推理规则自动生成技术[J].软件导刊.2018
[10].周敏,郑国磊,郑祖杰.基于模糊推理的飞机结构件平顶筋自动识别方法[J].浙江大学学报(工学版).2018