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

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

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