在人工智能領(lǐng)域,如何使計算機(jī)能運(yùn)用常識知識進(jìn)行推理和問題求解是最困難的問題之一,情景演算和動態(tài)認(rèn)知邏輯都是以此為研究目標(biāo)的兩種重要的知識表示語言。McIlraith在1993年使用情景演算作為知識表示語言,定義了解釋診斷的概念,解釋診斷研究的是在智能體觀察到一個故障現(xiàn)象后,如何找出故障現(xiàn)象的合理解釋,它是基于模型診斷研究領(lǐng)域的一個重要分支。由于情景演算無法描述智能體的認(rèn)知知識,余泉博士等人在2013年使用動態(tài)認(rèn)知邏輯作為知識表示語言,定義了認(rèn)知解釋診斷的概念,該理論對于多智能體環(huán)境中的知識表示與推理具有重要意義。解釋診斷理論研究的最終目的是實(shí)現(xiàn)對解釋診斷問題的自動化求解,即實(shí)現(xiàn)該問題的求解器。同時,在實(shí)現(xiàn)認(rèn)知解釋診斷理論的過程中,也可以增強(qiáng)對該理論的理解和發(fā)現(xiàn)理論的不足。因此,對于認(rèn)知解釋診斷理論的研究與求解器的實(shí)現(xiàn)具有非常重要的理論意義和應(yīng)用價值。 由于在求解器的設(shè)計中,重要的不是求解問題的步驟,而是定義問題與解的描述,所以本文在對動態(tài)認(rèn)知理論進(jìn)行了深入研究之后,決定采用函數(shù)式語言Haskell作為求解器的編程語言。本文研究工作主要包括： （i）首先,在計算機(jī)中用Hask... 

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

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

【文章目錄】：
摘要
Abstract
目錄
第一章 引言
    1.1 背景和意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 本文動機(jī)和主要工作
    1.4 本文結(jié)構(gòu)安排
    1.5 本章小結(jié)
第二章 預(yù)備知識
    2.1 命題語言L_P與一階謂詞語言L_Q
    2.2 語義理論
    2.3 一階邏輯演算系統(tǒng)Q
    2.4 模態(tài)邏輯
    2.5 本章小結(jié)
第三章 認(rèn)知解釋診斷理論的研究
    3.1 認(rèn)知邏輯
    3.2 動態(tài)認(rèn)知邏輯
    3.3 認(rèn)知解釋診斷
    3.4 本章小結(jié)
第四章 Haskell簡介
    4.1 Haskell簡介
    4.2 Haskell的基本概念
    4.3 Haskell的程序特點(diǎn)
    4.4 本章小結(jié)
第五章 求解器的設(shè)計與實(shí)現(xiàn)
    5.1 求解器框架
    5.2 建模模塊
    5.3 診斷模塊
    5.4 問題描述模塊
    5.5 算法復(fù)雜度分析
    5.6 本章小結(jié)
第六章 實(shí)驗(yàn)結(jié)果與分析
    6.1 實(shí)驗(yàn)概述
    6.2 香煙問題
    6.3 開燈關(guān)燈問題
    6.4 實(shí)驗(yàn)結(jié)果與分析
    6.5 本章小結(jié)
第七章 總結(jié)與展望
    7.1 本文的工作總結(jié)
    7.2 未來的工作
參考文獻(xiàn)
致謝


【參考文獻(xiàn)】：
期刊論文
[1]從動態(tài)認(rèn)知邏輯的觀點(diǎn)看中醫(yī)方證思想[J]. 劉奮榮.  重慶理工大學(xué)學(xué)報(社會科學(xué)). 2010(10)

碩士論文
[1]基于動態(tài)認(rèn)知的城市街道空間的可意象性研究[D]. 周潔麗.江南大學(xué) 2012



本文編號：3691533