Aller au contenu principal

Séminaire MoeX - Munyque Mittelmann

Lundi 20 Janvier 2025

Strategic reasoning with quantitative goals

Abstract

In recent years, a wealth of logic-based languages have been introduced to reason about the strategic abilities of autonomous agents in multi-agent systems (MAS), including Alternating-time Temporal Logic (ATL) and Strategy Logic (SL). These formalisms have been used to verify the correctness of a MAS, which is viewed as a yes/no matter: either the system satisfies the specification or it does not. Evaluating the quality of systems through Boolean satisfaction is often inadequate, as different levels of quality may exist. In this talk, we present recent extensions of ATL and SL with quantitative semantics, allowing us to capture different degrees of satisfaction. We then discuss how these formalisms can be applied to Mechanism Design and Incentive Engineering.

URL de l'évènement

Date et lieu

Lundi 20 Janvier 2025 à 10:00
Amphithéatre F107, INRIA Montbonnot

Organisé par

Jérôme Euzenat
Responsable de l'équipe mOeX

Publié le 14 janvier 2025

Mis à jour le 14 janvier 2025