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

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

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