First Order Coalition Logic : Model Checking, Complétude et Satisfaisabilité
Davide Catta (LIPN, Paris 13)
June 25, 2025
Les logiques pour le raisonnement stratégique constituent une vaste famille d’outils formels conçus pour modéliser, vérifier et analyser les capacités et les stratégies (individuels ou collectifs) d’agents autonomes, dans un environnement compétitif.
Nous introduisons First Order Coalition Logic (FOCL), qui combine les intuitions de Coalition Logic (CL) et de Strategy Logic (SL). Plus précisément, FOCL permet une quantification arbitraire sur les actions de groupes d’agents.
Dans cet exposé, nous montrons que FOCL est strictement plus expressive que d’autres logiques de coalition connues, puis nous discutons de sa procédure de model checking. Ensuite, nous fournissons une axiomatisation cohérente et complète de cette logique, qui est, à notre connaissance, la première axiomatisation d’une logique stratégique dans la littérature. Enfin, nous montrons que le problème de la satisfaisabilité est indécidable.
Month: June 2025
[June 2025] Five members of the LMV Team at the Journées Nationales du GdR GPL & Journées AFADL
These national conference are in Pau from June 16 to June 19. Myriam Clouet presents her work Monday at 2PM, Jordan Ischard presents his work on Tuesday at 11:50AM, Frédéric Loulergue gives a keynote Wednesday at 9AM, Terence Clastres presents his poster and Frédéric Dabrowski chairs the CLAP session on Thursday afternoon.