Logics for Reasoning about Multi-Agent Environments

Multi-agent environments are inhabited by various ‘autonomous agents’. These are are entities capable of acting autonomously, i.e., without external intervention, in order to meet their design objectives. Although single-agent environments have been studied for a long time, studies about multi-agent environments are relatively new. This kind of environment brings new issues to be dealt with, such as non-deterministic actions, competition and cooperation among agents. Current solutions treat such issues by using some kind of multi-modal logic. But these logics present two important limitations: they do not allow efficient representations and they do not allow efficient reasoning. By applying some techniques previously studied by us, we intend to design new logics that overcome these limitations. The project aims at (1) to develop formal languages able to represent multi-agent environments; (2) to develop formal methods by means of which multi-agent reasoning tasks can be performed; and (3) to implement such methods in software prototypes. The proposal involves the Institute of Mathematics and Statistics of the University of São Paulo (IME-USP) as well as two French partners, the Toulouse Computer Science Research Institute (IRIT-CNRS) and the Computer Science Research Center of Lens (CRIL-CNRS).

  • Participants : 
  • Thomas Caridroit