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

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

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

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

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