一阶谓词逻辑在人工智能中的应用
该文的目的就是通过分析研究一阶谓词逻辑在人工智能领域中的应用,揭示其应用的优越性和局限性,以期待逻辑学研究者能够做出必要的认知转向,使得谓词逻辑在人工智能的应用中取得新的突破,展望更美好的应用前景.该文共分六部分:第一部分是序言,简要地介绍了人工智能科学诞生的逻辑渊源和逻辑学在人工智能应用领域中的研究现状,使读者首先对逻辑学和人工智能的结合问题有一个初步的认识和了解.第二部分是第一章的内容,该章主要介绍了一阶谓词逻辑系统的构成以及它所牵涉到的有关定义和解释.该文的第三部分,即第二章,介绍了一阶谓词逻辑在人工智能领域的一个重要应用——知识表示方面的应用.第四部分,即该文的第三章,是整篇论文的最为核心部分,该章介绍了一阶谓词逻辑在人工智能领域中的最为重要的应用——知识推理方面的应用.该章从不同的证明思路介绍了谓词逻辑的两种重要推理方法:归结反演推理和基于规则的演绎推理.这两种推理方法对不同类型的问题具有不同的效果,它们分别在自动定理证明和问题求解中展示了自己的优越性.该文的第五部分,即第四章,陈述了作者自己对一阶谓词逻辑在人工智能领域中应用的评价及反思.该章分别对谓词逻辑在知识表示和知识推理方面的优越性和局限性做了分析和评价,并据此对整个逻辑学科在人工智能领域的应用进行了反思.文章的最后一部分是结束语,简单概括了一阶谓词逻辑在人工智能科学中的应用前景和努力方向,以待取得新的理论与实践的双重突破.
一阶谓词逻辑;人工智能;知识表示;知识推理
河南大学
硕士
逻辑学
李娜
2004
中文
B812.23;TP18
37
2004-10-21（万方平台首次上网日期，不代表论文的发表时间）