导读:本文包含了一阶逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,定理,命题,规则,策略,符号化,启发式。
一阶逻辑论文文献综述
钟建,徐扬,陈树伟,何星星[1]（2019）在《一阶逻辑中基于稳定度的项评估方法》一文中研究指出针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题,基于项在文字替换过程中的Herbrand语义特征,分析其制约因素和度量规则,给出项稳定度的定义并提出一种基于稳定度的项评估方法。将所提方法作为文字选择的启发式策略,应用于自动定理证明器中子句集的归入冗余判定中,结果表明,该方法能较好地刻画一阶逻辑中的项特征,与基于项序的文字选择方法相比,其检测次数平均减少50.8%,运行时间平均缩短53.3%。(本文来源于《计算机工程》期刊2019年11期）
杜国平[2]（2019）在《基于括号表示法的一阶逻辑系统》一文中研究指出括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。(本文来源于《安徽大学学报(哲学社会科学版)》期刊2019年03期）
宁欣然,徐扬,曹峰,吴贯峰[3]（2019）在《命题逻辑提升到一阶逻辑上的子句消去方法》一文中研究指出在基于命题逻辑的可满足性问题(SAT)求解器和基于一阶逻辑的定理证明器上,子句集简化一直是必不可少的步骤,而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法(RHTE)和归结隐藏包含消去方法(RHSE)提升到一阶逻辑上,并且利用蕴含模归结原则(IMR)证明了这种提升方式在一阶逻辑上具有可靠性(Soundness),即依据这两种子句消去方法删除一阶逻辑公式集中的子句,并不会改变公式集的可满足性或者不可满足性。此外,将这两个方法与一阶逻辑子句消去方法锁子句消去方法(BCE)和归结包含消去方法(RSE)进行组合推广,发展得到一阶逻辑上新型子句消去方法(BC+RHS)E、(RS+RHT)E和(RHS+RHT)E,并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后,分析比较了这些子句消去方法的有效性,并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。(本文来源于《计算机工程与应用》期刊2019年05期）
戴望州[4]（2018）在《一阶逻辑领域知识与机器学习的结合研究》一文中研究指出在许多现实的机器学习任务中往往存在着大量的领域知识,且这些知识可以通过一阶逻辑语言表达。本文分别研究了如何使用此类领域知识辅助机器学习,如何利用机器学习进行领域知识精化,以及如何将领域知识与机器学习进行互促结合。针这叁个问题,本文提出了四种机器学习方法与框架。具体来说,本文的主要工作如下:1.提出一种领域知识增广样本的机器学习方法。常规的机器学习方法难以对领域中对象间的关系信息进行利用,一阶逻辑语言可以方便地将这种信息表达为领域知识。本文提出的SUL学习方法能够将此类领域知识转化为训练样本来提升机器学习性能。简单来说,它能够将领域知识增广为机器学习可直接利用的样本特征。实验表明,相对于未引入领域知识的方法,SUL学习能够提升机器学习性能。2.提出一种领域知识辅助约束的机器学习方法。由于一阶逻辑表达的领域知识较为复杂,常规的机器学习方法难以使用它们来对机器学习的优化过程进行约束。本文提出的LASIN方法可以将领域知识转化为机器学习中关于假设模型搜索空间的约束条件,以要求从数据中学得的模型与领域知识保持一致。实验表明,与未引入领域知识的机器学习方法相比,LASIN方法学得的模型拥有更好的泛化性能。3.提出一种机器学习驱动的领域知识精化方法。知识精化的目标是从数据中学习具有良好可理解性的一阶逻辑规则,以往的知识精化方法难以从不含逻辑符号的数据中进行学习。本文提出的KRL方法将知识精化问题转化为机器学习任务,它首先使用机器学习模型将样本转化为逻辑符号,并使用这些逻辑符号增广领域知识,最终对增广后的领域知识进行精化。在计算机视觉任务中的实验结果表明,KRL能够学习出目标概念的形式化定义。4.提出一种领域知识与机器学习互促结合框架。将数据驱动的机器学习与知识驱动的逻辑推理相结合一直是人工智能中的核心挑战。本文提出的反绎学习是一种将此二者进行互促结合的框架,它既能将领域知识转化为训练机器学习模型所需的样本标记,又能利用机器学习将数据转化为增广和精化领域知识所需的逻辑符号。基于该框架,本文提出一种结合知识精化与深度学习的算法NLM,并在一类复杂学习任务中验证了它的有效性。(本文来源于《南京大学》期刊2018-12-30）
秦晓燕[5]（2019）在《推广规则后一阶逻辑公式的准真度》一文中研究指出计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准真度理论是计量谓词逻辑的一个重要的研究成果,讨论经过推广规则后,一阶逻辑公式准真度的变化情况,证明经过推广规则后,一阶逻辑公式在基于准真度的一阶逻辑公式集的分类中类别不变。(本文来源于《计算机工程与应用》期刊2019年06期）
章俊雨[6]（2018）在《基于相继式演算和迭加法的一阶逻辑定理证明器设计与实现》一文中研究指出随着对计算机系统安全性、可靠性需求的提高,形式化方法得到了更多的重视。定理证明是重要的形式化技术之一,它用于验证数学定理的正确性。定理证明器可以帮助用户以轻松的、可靠的方式对定理进行证明。本文实现了一个一阶逻辑定理证明器,它使用相继式演算作为交互式定理证明的演绎系统,使用迭加法作为自动定理证明的演绎系统。本文首先对一阶逻辑和序理论进行了论述,为接下来介绍演绎系统做了知识的预备。然后分析介绍了相继式演算、归结原理和迭加法这叁种演绎系统。接着本文描述了定理证明器中各个模块的功能及联系,然后分别从交互式定理证明、自动定理证明的角度对每个模块的设计和实现进行了介绍。最后以若干用例演示了证明器的功能并以问题集测试了证明器的能力。通过本文实现的定理证明器,用户可以在图形界面上方便的进行交互式定理证明,也可以调用自动定理证明模块尝试自动解决问题,或者通过两者之间的配合解决问题。未来可以在这基础上支持更多的逻辑,提高描述能力,也可以对自动定理证明能力进行加强。(本文来源于《浙江大学》期刊2018-01-05）
陈莉莉[7]（2017）在《关于一阶逻辑命题符号化的思考》一文中研究指出命题符号化是逻辑推理的基础,本文讨论一阶逻辑命题符号化需要注意的几个问题,帮助学生更好地掌握一阶逻辑的命题符号化。(本文来源于《新校园(上旬)》期刊2017年10期）
张萌璐[8]（2017）在《一阶倒立摆系统的逻辑切换自适应控制算法研究》一文中研究指出倒立摆是一种典型的非线性、强耦合性的多变量欠驱动系统,其控制方法的研究一直是控制领域的热点问题。由于倒立摆是许多工程控制问题的抽象模型,其控制方法可以在实际控制系统中推广,因此,倒立摆控制方法的研究具有重要的实际应用意义。本文将采用逻辑切换的方法对倒立摆系统的稳定控制进行研究,主要内容如下:在分析拉格朗日方法建模的基础上,根据欠驱动机械系统的动能对称特点,设计坐标变换使驱动子系统与非驱动子系统关于控制量解耦,并将欠驱动机械系统转换成具有结构特征的级联规范型。分别用牛顿方法和拉格朗日方法对倒立摆系统建模,并利用坐标变换将其动力学转化为具有前馈形式的级联规范型。针对许多实际非线性系统具有上叁角结构,而且一般不能反馈线性化的特点,采用基于逻辑切换的嵌套饱和方法对非线性系统的稳定控制进行研究,根据给出的前馈形式倒立摆模型,设计相应控制器,进行仿真实验。在倒立摆实物系统下,搭建MATLAB/Simulink模型,调试运行环境,进行实际系统控制实验。根据实验结果,小车位移和摆杆偏角均迅速收敛到平衡位置,说明了控制方法的有效性和模型的准确性。(本文来源于《浙江大学》期刊2017-01-13）
张家锋,徐扬,曹发生[9]（2016）在《格值一阶逻辑中α-语义归结方法的相容性》一文中研究指出为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给出了带有删除策略的α-语义归结的完备性;接着,给出了带有删除策略的α-语义归结算法,并证明了该算法的可靠性和完备性;通过实例说明了该算法的可行性.(本文来源于《辽宁工程技术大学学报(自然科学版)》期刊2016年11期）
冯瑶,冯锡炜,黄越洋[10]（2016）在《基于一阶逻辑的个性化E-Learning本体推理研究》一文中研究指出针对OWL DL推理和表达能力的局限性,提出一种基于一阶逻辑FOL的推理方法,并将该方法应用到个性化E-Learning领域。构建了E-Learning领域本体库,将OWL DL本体映射为FOL本体,并使用FOL制定E-Leaning资源的个性化匹配规则,最后使用一阶定理证明器进行推理,并比较了3种一阶定理证明器的推理结果。实验结果表明,通过FOL对OWL DL本体进行推理是可行的,能够使推理能力和表达能力达到完美平衡。(本文来源于《辽宁石油化工大学学报》期刊2016年01期）
一阶逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
一阶逻辑论文参考文献
[1].钟建,徐扬,陈树伟,何星星.一阶逻辑中基于稳定度的项评估方法[J].计算机工程.2019
[2].杜国平.基于括号表示法的一阶逻辑系统[J].安徽大学学报(哲学社会科学版).2019
[3].宁欣然,徐扬,曹峰,吴贯峰.命题逻辑提升到一阶逻辑上的子句消去方法[J].计算机工程与应用.2019
[4].戴望州.一阶逻辑领域知识与机器学习的结合研究[D].南京大学.2018
[5].秦晓燕.推广规则后一阶逻辑公式的准真度[J].计算机工程与应用.2019
[6].章俊雨.基于相继式演算和迭加法的一阶逻辑定理证明器设计与实现[D].浙江大学.2018
[7].陈莉莉.关于一阶逻辑命题符号化的思考[J].新校园(上旬).2017
[8].张萌璐.一阶倒立摆系统的逻辑切换自适应控制算法研究[D].浙江大学.2017
[9].张家锋,徐扬,曹发生.格值一阶逻辑中α-语义归结方法的相容性[J].辽宁工程技术大学学报(自然科学版).2016
[10].冯瑶,冯锡炜,黄越洋.基于一阶逻辑的个性化E-Learning本体推理研究[J].辽宁石油化工大学学报.2016
论文知识图
