11^ème Journées MAFTEC

Tarbes, 18 et 19 janvier 2024

Présentation

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.

Appel à contribution

Pour cette édition, nous souhaitons élargir le plus possible à l'ensemble des diverses techniques et approches existantes, de la planification classique au recours à l'apprentissage profond, en passant par les méthodes formelles (logique, SAT), les processus markoviens, l'interopérabilité sémantique, l'optimisation, etc, ainsi bien sûr que les approches dites d’IA hybride qui combinent plusieurs de ces techniques.

La participation est gratuite et en présentiel, et les pauses et les repas de midi sont inclus. Les échanges sont a priori en français, les présentations et supports étant préférentiellement en anglais pour faciliter la participation de doctorants non francophones.

Merci d'envoyer vos propositions (titre et court résumé) à:

• bruno.zanuttini@unicaen.fr
• delima@cril-lab.fr et
• thierry.vidal@enit.fr

Programme

Les journées se dérouleront dans la salle du conseil de l'École Nationale d'Ingénieurs de Tarbes.

Mercredi 17 janvier

Jeudi 18 janvier - ENIT - salle du Conseil

8h45 - Accueil

9h - Thierry Vidal, Bruno Zanuttini, Tiago De Lima - Présentation rapide des journées et rappel du fonctionnement et des objectifs du GT

9h15 - 10h15 : Session 1 - Epistemic planning

• Andreas Herzig, IRIT Toulouse - 30’ - Towards Epistemic-Doxastic Planning with Observation and Revision
• Thorsten Engesser , IRIT Toulouse - 30’ - Simplifying epistemic planning

10h15 - 10h45 : Pause café/thé/viennoiseries

10h45 - 12h30 : Session 2 - Planning and learning

• Bruno Zanuttini, GREYC Caen - 30’ - Apprentissage par renforcement épistémique
• Léo Saulières, IRIT Toulouse - 30’ - Predicate explanation of Reinforcement Learning
• [Invited talk 1] Humbert Fiorino, LIG Grenoble - 45’ - Planification hiérarchique : langages, résolution et apprentissage

12h30 - 14h : Pause repas : buffet + discussions informelles

14h-15h30 : Session 3 - Collaboration humain/robot et allocation de tâches

• [Invited talk 2] Damien Pellier, LIG Grenoble - 45’ - Adaptation du comportement d’un cobot aux variabilités humaines avec des techniques de planification automatique
• Alexis Robbes, ONERA Toulouse - 45’ - Partage d'orbite pour l'observation réactive de grandes zones

15h30 - 16h10 : Discussion 1 : l’avenir de MAFTEC

• suggestions/propositions prochaines journées autonomes ou avec PFIA
• liens avec JFPDA / ICAPS / autres GT du GDR, etc

16h10 - 16h40 : Pause café/thé/viennoiseries

16h40 - 17h30 : Session 4 - Complexité

• Abdallah Saffidine, USW Australia - 30’ - When 1 + 1 is less than 2: economies of scale in AI, algorithms, and complexity

20h : repas en commun pour ceux qui le souhaitent dans un restaurant en ville (non inclus) - lieu à confirmer

Vendredi 19 janvier - ENIT - salle du Conseil

9h - Accueil

9h15 - 10h15 : Session 5 - Jeux et inférence

• Bruno Zanuttini, GREYC Caen - 30’ - Modélisation récursive d'opposants dans les jeux à information incomplète
• Tiago de Lima, CRIL Lens - 30' - Base-based model checking for multi-agent only believing

10h15 - 10h45 : Pause café/thé/viennoiseries

10h45 - 11h45 : Session 6 - Planification temporelle

• Arthur Bit-Monnot, LAAS-CNRS - 30’ - Planification temporelle et ordonnancement avec des approches hybrides CP/SAT
• Ajdin Sumic & Thierry VIDAL, LGP Tarbes - 30’ - Planification temporelle avec incertitudes en contexte multi-agent, extensions et perspectives

11h45 - 12h30 : Discussion 2 - Propositions d’actions communes hors GDR

• Tutoriaux : projet pour ECAI
• Workshops, Bulletin AFIA, etc.
• Opportunités de montages de projets régionaux / nationaux

12h30 - 14h : Pause repas : buffet + discussions informelles

14h-15h30 : : Session 7 - Ordonnancement, Logistique, Transport

• Cédric Pralet, ONERA Toulouse - 30’ - Recombinaison de solutions pour des problèmes de tournées et application à la décision en ligne pour des satellites d'observation
• Christian Artigues, LAAS-CNRS - 30’ - Une contrainte globale pour l’ordonnancement des transferts de données dans les missions spatiales
• Jean-Loup Farges, ONERA Toulouse - 30’ - Une approche logistique au transport aérien visant la réduction de la consommation de fuel et donc les émissions de CO2

15h30 - 16h10 : Poursuite de la discussion et/ou présentation décalée le cas échéant

16h10 : Pause finale café/thé/viennoiseries

Informations pratiques

Adresse des journées :

Organisation

• Thierry Vidal (LGP, ENIT, Tarbes)
• Ajdin Sumic (LGP, ENIT, Tarbes)