多Agent系統(tǒng)合作邏輯的研究.pdf

1、在多Agent系統(tǒng)理論中，為了盡可能細(xì)致的刻畫Agent合理的行為能力，人們提出了合作的概念。其中，最為自然的一種合作形式就是聯(lián)合，即系統(tǒng)中Agent個(gè)體保持和團(tuán)體完全相同的價(jià)值取向。根據(jù)聯(lián)合的思想，Hoek和Wooldridge提出了命題聯(lián)合邏輯(CL-PC)，并使用該系統(tǒng)描述Agent團(tuán)體的常規(guī)策略能力。具體來(lái)說(shuō)，CL-PC系統(tǒng)使用“公式”作為現(xiàn)實(shí)世界中“事務(wù)”的抽象，并將Agent完成特定任務(wù)的能力刻畫成改變相應(yīng)公式真值的能力。以

2、此為基礎(chǔ)，CL-PC系統(tǒng)討論了Agent團(tuán)體獨(dú)立于環(huán)境的決策能力，即考慮團(tuán)體行動(dòng)效果時(shí)不考慮其它Agent的行為。 本文的工作是對(duì)CL-PC邏輯系統(tǒng)進(jìn)行擴(kuò)充，通過(guò)剝離CL-PC一系列理想化假設(shè)，逐步建立起應(yīng)用范圍更為廣泛的合作邏輯系統(tǒng)。主要包括： 首先，通過(guò)引入刻畫控制權(quán)動(dòng)態(tài)改變的機(jī)制，我們消除了CL-PC系統(tǒng)控制結(jié)構(gòu)的靜態(tài)假設(shè)，建立了DCL-PC系統(tǒng)，并證明了相應(yīng)的完備可靠性定理。 其次，以DCL-PC為基礎(chǔ)，