發(fā)布時間：2021-04-09 09:43

　　智能主體技術(shù)是人工智能領域的研究熱點,智能主體系統(tǒng)與知識表示和知識推理有著密切的聯(lián)系。在智能主體技術(shù)的研究中,主體的設計必須建立在知識表示和知識推理的堅實理論基礎之上。要實現(xiàn)機器智能模擬人類智能,首先要實現(xiàn)智能系統(tǒng)準確清晰的知識表示以及符合人類日常思維的合理推理,從而刻畫人類的認知過程,促使機器智能更好地進入知識處理和智能模擬階段。本文在已有的知識表示和知識推理理論等相關研究工作的基礎上,深入分析原有工作所存在的問題,從主體間知識的表達能力和互動能力方面探討建立一個以動態(tài)認知邏輯理論為核心的多主體知識表示和知識推理系統(tǒng),該推理系統(tǒng)不僅能對主體間的知識分布進行靜態(tài)描述和認知推理,而且能對多主體交流過程中的知識變化進行動態(tài)刻畫并推理。論文的主要工作和貢獻如下:（1）對智能主體知識推理理論,包括認知邏輯理論,缺省邏輯理論,模態(tài)邏輯理論,因果推理理論進行研究分析,進一步研究智能主體的知識表示及知識更新,初步刻畫人類的認知特性。（2）深入研究多主體認知邏輯理論和動態(tài)認知邏輯理論,并在動作邏輯模型的基礎上擴展認知操作,提出一個新的行動擴展認知邏輯模型。（3）結(jié)合動態(tài)認知邏輯理論,提出條件約束的認知... 

【文章來源】：廈門大學福建省 211工程院校 985工程院校 教育部直屬院校

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

【學位級別】：博士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 研究背景與選題意義
    1.2 研究現(xiàn)狀及存在問題
        1.2.1 動態(tài)認知邏輯理論的研究背景和存在問題
        1.2.2 基于缺省推理理論的主體知識刻畫
        1.2.3 因果理論研究的困境
    1.3 本文的主要內(nèi)容及特色
    1.4 本文的內(nèi)容安排
第二章 智能主體知識推理理論
    2.1 引言
    2.2 認知邏輯推理理論
        2.2.1 認知邏輯的語法
        2.2.2 認知邏輯的語義
        2.2.3 公理和推理規(guī)則
        2.2.4 認知邏輯的基本性質(zhì)
    2.3 缺省推理理論
        2.3.1 缺省理論的定義
        2.3.2 閉缺省理論及其擴充
        2.3.3 缺省理論的基本性質(zhì)
    2.4 模態(tài)缺省邏輯理論
        2.4.1 模態(tài)缺省邏輯理論
        2.4.2 模態(tài)缺省理論的擴充
    2.5 帶約束的缺省邏輯理論
        2.5.1 帶約束的缺省理論的基本概念
        2.5.2 帶約束的缺省理論的基本性質(zhì)
    2.6 因果邏輯理論
        2.6.1 在邏輯框架內(nèi)描述的因果關系
        2.6.2 基于統(tǒng)計相關性的因果關系
        2.6.3 Judea Pearl因果理論
    2.7 小結(jié)
第三章 動態(tài)認知邏輯理論
    3.1 引言
    3.2 靜態(tài)認知邏輯理論
        3.2.1 多主體認知邏輯語言
        3.2.2 多主體認知邏輯模型
        3.2.3 多主體信念知識
    3.3 動態(tài)認知邏輯理論
        3.3.1 動態(tài)性分析
        3.3.2 公開宣告邏輯PAL
        3.3.3 公開宣告邏輯模型
        3.3.4 公開宣告邏輯公理系統(tǒng)
    3.4 動作模型邏輯AML
        3.4.1 動作模型邏輯語言
        3.4.2 行動模型
        3.4.3 合成行動模型
        3.4.4 動作模型邏輯系統(tǒng)語義
    3.5 行動擴展認知邏輯模型EAML
        3.5.1 行動擴展認知邏輯語言
        3.5.2 認知操作模型
        3.5.3 EAML認知模型
        3.5.4 認知操作執(zhí)行模型
        3.5.5 復合認知操作模型
        3.5.6 行動擴展認知邏輯系統(tǒng)語義
    3.6 刻畫主體知識變化的范例
    3.7 小結(jié)
第四章 基于認知缺省推理的多主體知識更新
    4.1 引言
    4.2 條件約束的認知缺省邏輯理論
        4.2.1 條件約束引入的分析
        4.2.2 認知缺省邏輯定義
        4.2.3 條件約束的認知缺省邏輯擴充
        4.2.4 擴充的性質(zhì)
        4.2.5 條件約束的認知缺省邏輯語義
    4.3 基于動態(tài)認知邏輯的多主體系統(tǒng)知識刻畫
        4.3.1 多主體間知識的更新管理
        4.3.2 基于動態(tài)認知邏輯的主體知識刻畫
        4.3.3 主體認知過程的新知識
        4.3.4 主體認知過程的有效知識
        4.3.5 主體認知過程的公共知識
        4.3.6 主體認知過程的隱含知識
        4.3.7 主體認知過程的相悖知識
    4.4 基于認知缺省推理的多主體知識更新
        4.4.1 基于新知識的認知更新
        4.4.2 基于有效知識的認知更新
        4.4.3 基于公共知識時的認知更新
        4.4.4 基于隱含知識的認知更新
        4.4.5 基于不協(xié)調(diào)知識的認知更新
        4.4.6 刻畫主體知識更新的范例
    4.5 小結(jié)
第五章 基于動態(tài)認知邏輯的因果推理
    5.1 引言
    5.2 基于動態(tài)認知邏輯框架的因果推理
        5.2.1 因果認知推理語言
        5.2.2 因果關系認知模型
        5.2.3 因果推理行動模型
        5.2.4 因果關系推理模型
        5.2.5 復合行動認知模型
        5.2.6 因果認知推理語義
        5.2.7 因果認知推導系統(tǒng)
    5.3 行動理論推理
        5.3.1 行動理論狀態(tài)域描述
        5.3.2 狀態(tài)域刻畫的瓶頸問題
    5.4 基于知識和詢問的因果推理模型
        5.4.1 因果推理模型
        5.4.2 基于認知科學的狀態(tài)確定方法
        5.4.3 邏輯智能與計算智能
    5.5 小結(jié)
第六章 總結(jié)與展望
第七章 參考文獻
第八章 攻讀博士期間科研成果
第九章 致謝


【參考文獻】：
期刊論文
[1]從PAL看認知邏輯的動態(tài)轉(zhuǎn)換[J]. 郭美云.  自然辯證法研究. 2006(01)
[2]從信息更新到博弈邏輯——寫在約翰·范·本特姆來訪之后[J]. 劉奮榮.  哲學動態(tài). 2005(02)
[3]基于動態(tài)描述邏輯的主體模型[J]. 董明楷,張�？�,史忠植.  計算機研究與發(fā)展. 2004(05)
[4]認識邏輯（1）:關于知識和信念的邏輯框架[J]. 劉瑞勝,孫吉貴,劉敘華.  計算機學報. 1998(07)
[5]帶有約束的缺省邏輯[J]. 劉瑞勝,孫吉貴,劉敘華.  吉林大學自然科學學報. 1996(03)
[6]缺省模態(tài)邏輯[J]. 李永禮,范榮強.  蘭州大學學報. 1994(03)
[7]缺省推理與認識進程[J]. 李未.  計算機科學. 1993(02)
[8]一個開放的邏輯系統(tǒng)[J]. 李未.  中國科學（A輯 數(shù)學 物理學 天文學 技術(shù)科學）. 1992(10)



本文編號：3127398