基于動(dòng)態(tài)認(rèn)知邏輯的多主體系統(tǒng)知識(shí)推理研究.pdf

1、智能主體技術(shù)是人工智能領(lǐng)域的研究熱點(diǎn)，智能主體系統(tǒng)與知識(shí)表示和知識(shí)推理有著密切的聯(lián)系。在智能主體技術(shù)的研究中，主體的設(shè)計(jì)必須建立在知識(shí)表示和知識(shí)推理的堅(jiān)實(shí)理論基礎(chǔ)之上。要實(shí)現(xiàn)機(jī)器智能模擬人類(lèi)智能，首先要實(shí)現(xiàn)智能系統(tǒng)準(zhǔn)確清晰的知識(shí)表示以及符合人類(lèi)日常思維的合理推理，從而刻畫(huà)人類(lèi)的認(rèn)知過(guò)程，促使機(jī)器智能更好地進(jìn)入知識(shí)處理和智能模擬階段。 本文在已有的知識(shí)表示和知識(shí)推理理論等相關(guān)研究工作的基礎(chǔ)上，深入分析原有工作所存在的問(wèn)題，從主體間

2、知識(shí)的表達(dá)能力和互動(dòng)能力方面探討建立一個(gè)以動(dòng)態(tài)認(rèn)知邏輯理論為核心的多主體知識(shí)表示和知識(shí)推理系統(tǒng)，該推理系統(tǒng)不僅能對(duì)主體間的知識(shí)分布進(jìn)行靜態(tài)描述和認(rèn)知推理，而且能對(duì)多主體交流過(guò)程中的知識(shí)變化進(jìn)行動(dòng)態(tài)刻畫(huà)并推理。 論文的主要工作和貢獻(xiàn)如下： (1)對(duì)智能主體知識(shí)推理理論，包括認(rèn)知邏輯理論，缺省邏輯理論，模態(tài)邏輯理論，因果推理理論進(jìn)行研究分析，進(jìn)一步研究智能主體的知識(shí)表示及知識(shí)更新，初步刻畫(huà)人類(lèi)的認(rèn)知特性。 (2)深入

3、研究多主體認(rèn)知邏輯理論和動(dòng)態(tài)認(rèn)知邏輯理論，并在動(dòng)作邏輯模型的基礎(chǔ)上擴(kuò)展認(rèn)知操作，提出一個(gè)新的行動(dòng)擴(kuò)展認(rèn)知邏輯模型。 (3)結(jié)合動(dòng)態(tài)認(rèn)知邏輯理論，提出條件越束的認(rèn)知缺省理論，通過(guò)引入動(dòng)作描述定義，使主體能夠?qū)ψ陨淼男袨楹瓦\(yùn)行機(jī)制進(jìn)行描述和推理，并證明了相關(guān)性質(zhì)和定理； (4)基于動(dòng)態(tài)認(rèn)知邏輯理論對(duì)主體的信念知識(shí)集進(jìn)行刻畫(huà)，并對(duì)多主體系統(tǒng)動(dòng)態(tài)更新過(guò)程中所獲得的知識(shí)進(jìn)行分類(lèi)，結(jié)合主體認(rèn)知推理活動(dòng)的非單調(diào)性和缺省性，運(yùn)用條件約束

4、認(rèn)知缺省理論對(duì)多主體系統(tǒng)進(jìn)行建模，探討多主體信念知識(shí)集的互動(dòng)性，系統(tǒng)地詮釋了多主體認(rèn)知推理過(guò)程中的知識(shí)動(dòng)態(tài)更新。 (5)提出了基于動(dòng)態(tài)認(rèn)知邏輯框架的因果推理理論，分析并證明了相關(guān)定理和性質(zhì)；給出了該理論框架上的行動(dòng)推理理論，并解決了基于邏輯 框架的因果理論狀態(tài)域刻畫(huà)不一致的問(wèn)題，從而進(jìn)一步刻畫(huà)了主體認(rèn)知過(guò)程的因果關(guān)聯(lián)分析。 鑒于上述的工作，本文通過(guò)常識(shí)推理刻畫(huà)主體的信念知識(shí)及其變化，從邏輯角度出發(fā)研究多主體系統(tǒng)的