基于回答集編程的多Agent規(guī)劃研究.pdf

1、近年來(lái)，將回答集編程(Answer Set Programming，ASP)技術(shù)應(yīng)用于多Agent規(guī)劃已成為一個(gè)研究熱點(diǎn)。本文主要研究如何使用ASP程序描述多Agent規(guī)劃問(wèn)題。當(dāng)規(guī)劃因?yàn)橹R(shí)不一致無(wú)解時(shí)，研究如何通過(guò)刪除某些Agent的知識(shí)從而形成規(guī)劃。
　　本文的主要工作有：1)研究基于ASP的多Agent規(guī)劃的核心問(wèn)題--不一致ASP程序的處理；2)使用ASP程序描述帶有協(xié)作動(dòng)作的多Agent規(guī)劃，將不一致處理的算法應(yīng)用于規(guī)

2、劃無(wú)解的情形；3)研究存在Agent優(yōu)先級(jí)情況下的多Agent規(guī)劃的不一致處理。
　　本文的主要貢獻(xiàn)有：1)提出了基于最小原則的不一致ASP程序的處理算法--IASP-MP，該算法能夠在盡量保留原有的知識(shí)的基礎(chǔ)上優(yōu)先刪除缺省規(guī)則；2)提出了基于ASP的帶有協(xié)作動(dòng)作的多Agent規(guī)劃的不一致處理算法；3)定義Agent的優(yōu)先級(jí)，提出了引入優(yōu)先級(jí)的多Agent規(guī)劃的不一致處理方法；4)通過(guò)多Agent環(huán)境下的圖著色問(wèn)題求解，說(shuō)明以上算