

12ème Journées MAFTEC
Journées ACE/MAFTEC et MAFTEC/SMAA
Grenoble, 26–28 mars 2025
Présentation
GT ACE
Dans un contexte où les états et les puissances supra-étatiques multiplient les recommandations et et le règlement de l'intelligence artificielle, le groupe de travail Aspects computationnels de l’éthique (ACE) a comme objectifs:
- fédérer une communauté de recherche autour des problématiques en éthique artificielle;
- développer les travaux en éthique artificielle; et
- tisser des liens interdisciplinaires (aspects juridiques et sociologiques de l'intelligence artificielle).
Au sain de ce groupe, la recherche se structure en quatre axes:
- Modélisation logique des raisonnements éthiques: étude de la modélisation et du raisonnement sur des valeurs, ainsi que des théories morales, de la causalité afin de juger d'une décision, d'imputer la responsabilité d'un effet à un agent ou de planifier des séquences de décisions respectant une éthique;
- Modélisation du raisonnement juridique: étude les logiques déontiques, raisonnement à base de cas, exceptions, etc.
- Éthiques des systèmes multi-agents: étude de l'argumentation pour la décision collective, équité, diversité, résolution de conflits éthiques.
- Éthique de l'apprentissage machine: étude de la protection de la vie privée, l'anonymisation des données personnelles, confidentialité différentielle, prévention des biais d’apprentissage, recherche d’équité.
GT MAFTEC
L'objectif principal du GT MAFTEC est de fédérer les recherches sur les différentes thématiques de la planification. Le but des travaux concernés est de modéliser et résoudre des problèmes complexes du monde réel, dans lesquels de nombreux agents (humains ou automatiques) interagissent de manière coopérative et robuste via des actions physiques, de communication et d'observation, ceci afin d'atteindre des buts communs dans un environnement partiellement imprédictible. D'importants aspects attendus du plan résultant sont qu'il prenne en compte les connaissances et croyances de chaque agent qui peuvent changer au cours du temps qu'il permette l'exécution simultanée d'actions, qu'il soit suffisamment flexible pour autoriser des agents individuels à faire eux-mêmes certains choix, et qu'il soit robuste à l'échec de certaines actions ou à des changements dans l'environnement. Ceci implique inévitablement d'aller au-delà des hypothèses restrictives de la planification classique, dans le but d'obtenir le niveau d'expressivité requis, et dans un même temps de développer des algorithmes efficaces afin d'être capable de résoudre des problèmes de planification du monde réel. De telles applications réalistes nécessitent un cadre théorique étendu incorporant au moins les aspects multi-agent, temporel, épistémique, contingent, et flexibles.
GT SMAA
Informations pratiques
Soir du mercredi 26 mars (19h30)
Café, bar et restaurant Minimistanrue des Minimes Cours Marcel Reymond
38000 Grenoble
Journée du jeudi 27 mars
Maison des Sciences Humaines Alpes (MSH-Alpes)Domaine Universitaire de Grenoble
1221 rue des universités (anciennement 1221 avenue centrale)
St-Martin d’Hères
Journée du vendredi 28 mars
Salle de séminaire A1Bâtiment IMAG 150
place du torrent
38400 Saint Martin d'Hères
(C'est sur le campus à 500m)
Programme
mercredi 26 mars 2025 |
||
19 h 30: | restaurant: Minimistan rue des Minimes Cours Marcel Reymond, 38000 Grenoble | |
jeudi 27 mars 2025 — Lieu: MSH-Alpes |
||
Introduction | ||
09 h 00: |
Présentation MAFTEC: Tiago de Lima, Bruno Zanuttini
Présentation SMAA: Emmanuel Adam, Gauthier Picard Présentation ACE: Grégory Bonnet, Jean-Gabriel Ganascia Informations pratiques: Damien Pellier |
|
MAFTEC + SMA | ||
09 h 15: |
Négociation pour la consommation adaptative d'allocation continue
Ellie Beauprez, Anne-Cécile Caron, Maxime Morge, Jean-Christophe Routier |
|
09 h 40: |
Un modèle agent pour la résolution de problèmes d’optimisation complexes. Application à la planification de missions de constellations de satellites hétérogènes
Elsy Kaddoum, Jean-Pierre Georgé | |
10 h 05: |
Coordination Temporelle de Plans d'Agents Interdépendants : Apports et Pistes d'Amélioration d'une Approche Distribuée
Ajdin Sumic, Thierry Vidal |
|
10 h 30: | pause café | |
MAFTEC, aspects multi-agents | ||
11 h 00: |
Méthode de planification basée sur des contraintes de flux pour une mission de progression multi-agents avec des agents déployables et des contraintes de communication
Émile Siboulet, Simon Lacroix, Arthur Bit-Monnot | |
11 h 25: |
Planification et exécution pour systèmes multi-robots trans-médias : structuration du problème et coordination/gestion des contraintes temporelles et séquentielles
Virgile de La Rochefoucauld, Simon Lacroix | |
11 h 50: |
Apprentissage par renforcement multi-objectifs distributionnel
Farès Chouaki, Aurélie Beynier, Nicolas Maudet, Paolo Viappiani |
|
12 h 15: | repas | |
MAFTEC, planification et connaissances | ||
14 h 00: |
A Simple Integration of Epistemic Logic and Reinforcement Learning
Thorsten Engesser, Thibaut Le Marre, Emiliano Lorini, François Schwarzentruber, Bruno Zanuttini |
|
14 h 25 |
Interprétation post-hoc de politiques pour les POMDP
Geoffrey Laforest, Olivier Buffet, Alexandre Niveau, Bruno Zanuttini |
|
14 h 50: |
Planification pour l'adaptation d’agent autonome : du plan d'action à un plan d'expérience
Victor Lavairye, François Terrier, Florian Noyrit |
|
15 h 15: | pause café | |
MAFTEC, calcul de stratégies | ||
15 h 45: |
Améliorer l'efficacité de la planification QBF avec des nouveaux codages d'arbres compacts
Frédéric Maris |
|
16 h 10: |
Computationally Feasible Strategies
Catalin Dima, Wojtek Jamroga |
|
16 h 35: |
The Complexity of Pure Maxmin Strategies in Two-Player Extensive-Form Games
Junkang Li, Bruno Zanuttini, Véronique Ventos |
|
17 h 00: |
Une Recherche Optimale Gloutonne Basée sur MaxSAT pour la Planification TOHTN
Gaspard Quenard, Damien Pellier |
|
17 h 25: | rump session | |
soir: | restaurant | |
vendredi 28 mars 2025 — Lieu: IMAG salle A1 | ||
MAFTEC + ACE | ||
09 h 25: |
Un modèle éthique pour les MDP multi-agents
Mihail Stojanoski, Nadjet Bourdache, Grégory Bonnet, Abdel-Illah Mouaddib | |
09 h 50: |
Moral Evaluation of Speech Acts - Truthfulness, Lies and Ethical Dilemmas - Modeled and Implemented with ASP
Benjamin Icard, Jean-Gabriel Ganascia et Gauvain Bourgne |
|
10 h 15: | pause café | |
10 h 45: |
A Model of Compliant and Epistemic Human-Aware Task Planner which Anticipates Human Beliefs and Decision
Rachid Alami |
|
11 h 10: |
Apprentissage de décisions alignées sur des valeurs humaines, et humains dans la boucle
Rémi Chaput |
|
11 h 35: |
A Computationally Grounded Framework for Cognitive Attitudes
Emiliano Lorini | |
midi: | repas | |
13 h 45: | réunion organisation |