Lundi 20 Janvier 2025
- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn
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.
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
- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn