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

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

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