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

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

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