一阶谓词逻辑在人工智能中的应用

发布时间：2021-05-06 12:09

　　现代逻辑创始于19世纪末叶和20世纪早期，它的主要特征是建立形式语言，并在形式语言的基础上建立逻辑演算系统。正是由于这一特征，积极地促进了20世纪逻辑研究的高度数学化，增强了逻辑研究的深度和广度，并且对整个现代科学如数学、哲学、语言学和计算机科学产生了非常重要的影响。“特别是它在计算机科学与人工智能领域中的重要作用受到了信息科学和逻辑科学研究者的无比关注，并且成为21世纪逻辑学发展的主要动力之一，由此而决定21世纪逻辑学的另一幅面貌。” 一阶谓词逻辑是现代逻辑中最为经典的演算系统。这种逻辑演算系统可以利用形式化方法描述认知过程的特征，并利用它们进行知识表达与处理，研制新型软件等，所以具有人工智能的应用前景。本文的目的就是通过分析研究一阶谓词逻辑在人工智能领域中的应用，揭示其应用的优越性和局限性，以期待逻辑学研究者能够做出必要的认知转向，使得谓词逻辑在人工智能的应用中取得新的突破，展望更美好的应用前景。 该文共分六部分： 第一部分是序言，简要地介绍了人工智能科学诞生的逻辑渊源和逻辑学在人工智能应用领域中的研究现状，使读者首先对逻辑学和人工智能的结合问题有一个初步的认识和... 

【文章来源】：河南大学河南省

【文章页数】：45 页

【学位级别】：硕士

【文章目录】：
摘要
英文摘要
序言
第一章 一阶谓词逻辑演算系统
    1.1 谓词和谓词公式
    1.2 谓词公式的解释
    1.3 谓词公式的等价性与永真蕴涵
第二章 一阶谓词逻辑在知识表示方面的应用
    2.1 人工智能系统对知识表示的要求
    2.2 一阶谓词逻辑对知识的表示过程
第三章 一阶谓词逻辑在知识推理中的应用
    3.1 归结反演推理系统
        3.1.1 子句及海伯伦理论
        3.1.2 一阶谓词逻辑的归结原理
        3.1.3 归结原理在人工智能中的应用
    3.2 基于规则的演绎推理系统
        3.2.1 基于规则的正向演绎推理系统
        3.2.2 基于规则的逆向演绎推理系统
第四章 逻辑在人工智能应用中的反思
    4.1 一阶谓词逻辑知识表示法的评价
    4.2 一阶谓词逻辑知识推理的评价
    4.3 逻辑在人工智能应用中的反思
结束语
参考文献
后记


【参考文献】：
期刊论文
[1]试论认知逻辑研究中的若干问题[J]. 王左立.  南开学报. 2003(06)
[2]对谓词逻辑在人工智能科学中应用的分析[J]. 赵卯生.  山西高等学校社会科学学报. 2001(12)
[3]逻辑学在人工智能中的应用及其前景研究综述[J]. 张振华.  哲学动态. 2001(09)
[4]人工智能中的逻辑问题[J]. 马希文.  哲学研究. 1985(01)



本文编号：3171897