基于流演算的多Agent通信動作及協(xié)作的研究與應(yīng)用.pdf

1、隨著計算機網(wǎng)絡(luò)、通信等技術(shù)的發(fā)展，智能Agent的研究已成為人工智能研究的一個熱點。尤其是許多專家學(xué)者一直希望在現(xiàn)實世界里構(gòu)建一個自主、具有推理能力的Agent，其中一個主要問題就是形式化描述動作和環(huán)境屬性，然后根據(jù)這些描述賦予Agent自主推理和實現(xiàn)目標(biāo)的能力。 本文在分析了流演算和FLUX相關(guān)文獻的基礎(chǔ)上，將GoFlux擴展為ConFlux。同時，結(jié)合其它Agent的知識表示，引入了通信動作，改進了知識更新公理，并通過一個智

2、能日程安排實例驗證。 本文的主要研究工作有： (1)系統(tǒng)地研究了流演算形式化理論及其實現(xiàn)語言FLUX。針對MAS環(huán)境的動態(tài)、不完全可知特性，本文采用流演算理論及FLUX來形式化描述和實現(xiàn)MAS的環(huán)境、動作和面向目標(biāo)推理。 (2)針對GoFlux不能處理并發(fā)、帶有優(yōu)先級的并發(fā)、中斷等操作，本文在GoFlux基礎(chǔ)上，吸收了ConGolog語義，擴展為ConFlux，從而可以實現(xiàn)多Agent程序的并發(fā)交互執(zhí)行。