Workshop in Logics for Multi-Agent Systems

Giuseppe Perelli (Sapienza University of Rome)

Title: From Synthesis to Rational Synthesis: a Logic-Based Approach for Multi-Agent Systems Verification

Date and time: September 2nd at 10 am

Abstract:

Synthesis is the problem of programming an intelligent agent and its interaction with the environment in a way that its behaviour is correct by construction, that is, it fulfils a given task no matter how the environment reacts. The solution to this problem can be interpreted as the winning strategy in a suitably defined two-player (formal) game.

Rational Synthesis (RS) is a recent evolution of Synthesis, in which the setting is not viewed as an adversarial dispute, but rather as a Multi-Agent System, where each agent has their own specification.

In terms of games, RS corresponds to no longer maximizing an individual payoff against all possible environment's behaviours (two-player zero-sum), but rather synthesising a strategy profile that is in some sort of equilibrium, i.e., prevents agents to improve payoff by deviating from it (multi-player nonzero-sum).

I will give an overview to the Synthesis and Rational Synthesis, presenting recent results and developments, and showing how the logic-based approach comes in very handy for representing and solving these problems. Finally, I will outline some current and future direction I am taking within the field.

The Workshop invited talks and coffee break will take place in room MF105 at the Manufacture des Tabacs of the University Toulouse 1 Capitole.

See the detailed building map here (look for Building F).