Title: Modeling, Verification, and Strategic Reasoning in Multi-Agent Systems. Author: Wojciech Jamroga, Computational Intelligence Group, Clausthal University of Technology, Germany. Scientific lecture and colloquium held on the 28th of April 2009. Probevorlesung ("test lecture") given on the 26th of May 2009 at the Clausthal University of Technology. The habilitation committee: Juergen Dix (chairman & reviewer, Clausthal University of Technology), Gerhard Brewka (reviewer, University of Leipzig), Michael Fisher (reviewer, University of Liverpool), Sven Hartmann (reviewer, Clausthal University of Technology), Stefan Hartmann (Clausthal University of Technology), Michael Kolonko (Clausthal University of Technology), Joerg Mueller (Clausthal University of Technology), Niels Pinkwart (Clausthal University of Technology), Gabriel Zachmann (Clausthal University of Technology).

Abstract: This thesis collects several papers that investigate multi-agent systems from different angles, using logics that combine concepts from game theory with well established modal treatment of time, knowledge and belief. Part I of the thesis represents the specification angle: we look for a language that allows to capture strategic abilities of agents under imperfect information in the most intuitive (and general) way. Part II is focused on the modeling dimension: we incorporate economic rationality in our view of agents, and study its impact on agents’ behavior within the framework of modal logic. The perspective of Part III is computational: we study the complexity of verification for several specification languages, and observe some intriguing patterns among them. Finally, Part IV presents an attempt at integration of two fundamental approaches to reasoning about systems: we show how certain aspects of qualitative (logical) reasoning can be incorporated into quantitative analysis of MAS in the style of Markov decision processes.

The thesis is not available for download due to copyright reasons, but if you feel an untamable urge to get hold of it, please contact me.

Individual and Collective Reasoning Group @ University of Luxembourg
Computational Intelligence Group @ Clausthal University of Technology	Last modified 2011-11-08