基于情景演算的多Agent合作模型的研究.pdf

1、多Agent系統(tǒng)是當前人工智能研究的一個熱點。其中，關于知識表示、動作推理、通信和協(xié)作是當前很多專家學者的研究焦點，雖然取得了很多成果，但仍存在不少問題，主要是基礎理論研究與實現(xiàn)技術之間的重大脫節(jié)。多倫多大學認知機器人小組基于情景演算理論，將agent的研究從理論推向了實際。 基于多倫多大學機器人研究小組對情景演算的研究工作，本文對情景演算及其應用(Golog、ConGolog語言)進行研究，建立了一個基于情景演算理論的可以很好

2、地刻畫agent的心智狀態(tài)，自主行動推理、通信交互等特性的多agent請求/服務合作模型。本文的主要研究工作和創(chuàng)新成果有： (1)針對MAS環(huán)境的動態(tài)、不確定性，多agent行動的并發(fā)性以及agent行動推理的自主性，本文采用情景演算理論來形式化MAS的推理機制，使用具有并發(fā)特性的ConGolog語言來描述agent自主的行動推理； (2)實現(xiàn)了基于情景演算理論的自治agent模型(AAMSC)，并形式化該模型的心智狀態(tài)

3、，將信念定義為agent在不完全可知環(huán)境下所“知道的”知識，通過Prolog知識庫，感知動作和情景演算的歸約機制(Regression)實現(xiàn)agent的信念更新和agent隨心智更新的自主行動推理； (3)引入通信動作，完善ConGolog面向多agent并發(fā)編程的交互特性，并討論了通信動作如何影響心智狀態(tài)的形式化表示： (4)提出一種基于情景演算的請求服/務合作模型，并給出語義描述，最后通過一個簡單、具體的multi-