This thesis considers some aspects of multi-agent systems, seen as a metaphor for reasoning about the world, and providing a conceptual machinery that can be used to model and analyze the reality in which an agent is embedded. First, we study several modal logics for multi-agent systems; in particular, Alternating-time Temporal Logic (ATL) is studied in various contexts. Then, a concept of multi-level modeling of reality and multi-level decision making is proposed in the second part of the thesis.
|Qualification||Doctor of Philosophy|
|Award date||1 Jul 2004|
|Place of Publication||Enschede|
|Publication status||Published - 1 Jul 2004|
- HMI-IA: Intelligent Agents