Chapter 24 Multi-Agent Systems [chapter]

Wiebe van der Hoek, Michael Wooldridge
2008 Foundations of Artificial Intelligence  
We review the state of the art in knowledge representation formalisms for multi-agent systems. We divide work in this area into two categories. In the first category are approaches that attempt to represent the cognitive state of rational agents, and to characterize logically how such a state leads a rational agent to act. We begin by motivating this approach. We then describe four of the best-known such logical frameworks, and discuss the possible roles that such logics can play in helping us
more » ... o engineer artificial agents. In the second category are approaches based on representing the strategic structure of a multi-agent environment, and in particular, the powers that agents have, either individually or in coalitions. Here, we describe Coalition Logic, Alternatingtime Temporal Logic (ATL), and epistemic extensions.
doi:10.1016/s1574-6526(07)03024-6 fatcat:5rmnpn6ifrdutca5uesg2vi73q