現(xiàn)代邏輯創(chuàng)始于19世紀末葉和20世紀早期，它的主要特征是建立形式語言，并在形式語言的基礎上建立邏輯演算系統(tǒng)。正是由于這一特征，積極地促進了20世紀邏輯研究的高度數(shù)學化，增強了邏輯研究的深度和廣度，并且對整個現(xiàn)代科學如數(shù)學、哲學、語言學和計算機科學產(chǎn)生了非常重要的影響�！疤貏e是它在計算機科學與人工智能領域中的重要作用受到了信息科學和邏輯科學研究者的無比關注，并且成為21世紀邏輯學發(fā)展的主要動力之一，由此而決定21世紀邏輯學的另一幅面貌�！� 一階謂詞邏輯是現(xiàn)代邏輯中最為經(jīng)典的演算系統(tǒng)。這種邏輯演算系統(tǒng)可以利用形式化方法描述認知過程的特征，并利用它們進行知識表達與處理，研制新型軟件等，所以具有人工智能的應用前景。本文的目的就是通過分析研究一階謂詞邏輯在人工智能領域中的應用，揭示其應用的優(yōu)越性和局限性，以期待邏輯學研究者能夠做出必要的認知轉向，使得謂詞邏輯在人工智能的應用中取得新的突破，展望更美好的應用前景。 該文共分六部分： 第一部分是序言，簡要地介紹了人工智能科學誕生的邏輯淵源和邏輯學在人工智能應用領域中的研究現(xiàn)狀，使讀者首先對邏輯學和人工智能的結合問題有一個初步的認識和... 

【文章來源】：河南大學河南省

【文章頁數(shù)】：45 頁

【學位級別】：碩士

【文章目錄】：
摘要
英文摘要
序言
第一章 一階謂詞邏輯演算系統(tǒng)
    1.1 謂詞和謂詞公式
    1.2 謂詞公式的解釋
    1.3 謂詞公式的等價性與永真蘊涵
第二章 一階謂詞邏輯在知識表示方面的應用
    2.1 人工智能系統(tǒng)對知識表示的要求
    2.2 一階謂詞邏輯對知識的表示過程
第三章 一階謂詞邏輯在知識推理中的應用
    3.1 歸結反演推理系統(tǒng)
        3.1.1 子句及海伯倫理論
        3.1.2 一階謂詞邏輯的歸結原理
        3.1.3 歸結原理在人工智能中的應用
    3.2 基于規(guī)則的演繹推理系統(tǒng)
        3.2.1 基于規(guī)則的正向演繹推理系統(tǒng)
        3.2.2 基于規(guī)則的逆向演繹推理系統(tǒng)
第四章 邏輯在人工智能應用中的反思
    4.1 一階謂詞邏輯知識表示法的評價
    4.2 一階謂詞邏輯知識推理的評價
    4.3 邏輯在人工智能應用中的反思
結束語
參考文獻
后記


【參考文獻】：
期刊論文
[1]試論認知邏輯研究中的若干問題[J]. 王左立.  南開學報. 2003(06)
[2]對謂詞邏輯在人工智能科學中應用的分析[J]. 趙卯生.  山西高等學校社會科學學報. 2001(12)
[3]邏輯學在人工智能中的應用及其前景研究綜述[J]. 張振華.  哲學動態(tài). 2001(09)
[4]人工智能中的邏輯問題[J]. 馬希文.  哲學研究. 1985(01)



本文編號：3171897