Title: A Logic for Reasoning about Rational Agents: Yet Another Attempt
Authors: Nils Bulling, Computational Intelligence Group, Clausthal University of Technology
   Wojciech Jamroga, Computational Intelligence Group, Clausthal University of Technology

We propose a new version of ATLP ("ATL with plausibility"), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in our CLIMA'07, where two different extensions of \ATL were used for specifying rationality and reasoning about agents' behavior, we now propose that rationality specifications can be written in ATLP itself, and nested in ATLP formulae. We believe that the new version is more elegant, and also more flexible and expressive. Finally, we present some ATLP characterizations of solution concepts and discuss the notion of qualitative solution concept, based on winning conditions defined by temporal path formulae.

Keywords: multi-agent systems, game theory, temporal logic, rationality.

Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2008-01-02