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

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

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

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

【學(xué)位級別】：博士

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


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



本文編號：3127398