JIAF-JFPDA

Présentation

Les Journées d'Intelligence Artificielle Fondamentale (JIAF) et les Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA) constituent un rendez-vous annuel de la communauté francophone travaillant sur l'Intelligence Artificielle Fondamentale et la Planification. En 2023, pour la première fois, JIAF et JFPDA sont réunies au sein d'une même conférence. La conférence JIAF-JFPDA est soutenue par le Collège Représentation et Raisonnement de l’AFIA.

Les thématiques de recherche de JIAF-JFPDA sont relatives aux méthodes et outils fondamentaux de l'Intelligence Artificielle : modèles de représentation des informations, méthodes de raisonnements sur ces informations, méthodes de codage des informations et d’algorithmes de traitement efficaces, modélisation formelle de l’interaction, analyse de la prise de décision multi-agents, dans l'incertain ou séquentielle. Les journées sont composées d'exposés de synthèse, permettant à la communauté de découvrir des thématiques connexes au travers d'exposés de spécialistes, et de communications sélectionnées par le comité de programme.

Les éditions précédentes de JIAF et JFPDA se sont déroulées à La Rochelle (JIAF-JFPDA) (2024), Strasbourg (JIAF-JFPDA) (2023), Saint-Etienne [JIAF / JFPDA] (2022), Bordeaux [JIAF / JFPDA] (en virtuel, 2021), Angers [JIAF / JFPDA] (en virtuel, 2020), Toulouse [JIAF / JFPDA] (2019), Amiens [JIAF] et Nancy [JFPDA] (2018), Caen [JIAF / JFPDA] (2017), Montpellier [JIAF] et Grenoble [JFPDA] (2016), Rennes [JIAF / JFPDA] (2015), Angers [JIAF] et Liège [JFPDA] (2014), Aix-en-Provence [JIAF] et Lille [JFPDA] (2013), Toulouse [JIAF] et Nancy [JFPDA] (2012), Lyon [JIAF] et Rouen [JFPDA] (2011), Strasbourg [JIAF] et Besançon [JFPDA] (2010), Marseille [JIAF] et Paris [JFPDA] (2009), Paris [JIAF] et Metz [JFPDA] (2008), Grenoble [JIAF / JFPDA] (2007) et Toulouse [JFPDA] (2006).

JIAF-JFPDA 2025 auront lieu du 2 au 4 juillet 2025 dans le cadre de la Plate-Forme Intelligence Artificielle (PFIA). Elles sont organisées par Jean-Guy Mailly, François Schwarzentruber et Anaëlle Wilczynski (présidents du comité scientifique).

Un exposé invité sera donné par Vaishak Belle, University of Edinburgh.

Thèmes de la conférence

Les thématiques de recherche des JIAF-JFPDA sont relatives aux méthodes et outils fondamentaux de l’Intelligence Artificielle :

• Définition de modèles de représentation des informations (croyances, connaissances, préférences, obligations et permissions, actions, incertitude, confiance, réputation) : langages de logiques classiques et non classiques, modèles possibilistes, ontologies, langages à base de contraintes, représentations graphiques, etc.
• Définition et automatisation de raisonnements sur ces informations : raisonnement spatio-temporel, dynamique des informations, révision de croyances, fusion d’informations symboliques, raisonnement par argumentation, raisonnement causal, raisonnement abductif, raisonnement à partir de cas, etc.
• Mise au point de méthodes de codage des informations et d’algorithmes de traitement efficaces : compilation de connaissances, SAT, contraintes, ASP, etc.
• Modélisation formelle de l’interaction : entre utilisateurs et systèmes informatiques, entre entités informatiques autonomes (agents), intégration de ces deux aspects dans les divers agents conversationnels, agents de recherche, assistants personnels.
• Modélisation de la prise de décision collective et des comportements stratégiques d'agents : choix social computationnel, théorie des jeux, algorithmes pour les jeux.
• Pour des objectifs de décision, planification, ordonnancement, diagnostic, apprentissage et dans différents contextes d’application, comme par exemple le Web sémantique.
• Pour la prise de décision séquentielle sous incertitude et la planification : problèmes d’apprentissage par renforcement, processus décisionnels de Markov, théorie du contrôle, programmation dynamique, etc.

Dates Importantes

• Soumission des articles : 01 mars 2025 15 mars 2025
• Notification aux auteurs : 2 mai 2025
• Soumission de l'article en version finale : 17 mai 2025
• Conférence : du 02 au 04 juillet 2025

Soumission

Les auteurs sont invités à soumettre des propositions d’articles de 6 à 10 pages maximum. Des articles soumis par ailleurs à des conférences internationales sont bienvenus. Des articles courts, supports à des démonstrations, sont également bienvenus. Il est en outre possible de soumettre des résumés de deux pages obligatoirement en français des articles publiés dans des conférences internationales d’IA fondamentale telle que AMAAS, KR, etc.

Les articles doivent être mis au format proposé par l'AFIA, disponible ici, et soumis sur OpenReview.

Pour tous les articles acceptés, le choix sera laissé aux auteurs de faire apparaître dans les actes l'article complet (en français ou en anglais) de 10 pages maximum (références incluses) ou un résumé de deux pages en français.

Comité de programme

• Francesco Belardinelli (Imperial College London)
• Aurélie Beynier (LIP6, Sorbonne Université)
• Élise Bonzon (LIPADE, Université Paris Cité)
• Nadjet Bourdache (GREYC, Université de Normandie)
• Olivier Buffet (INRIA / LORIA)
• Martin C. Cooper (IRIT - Université Paul Sabatier)
• Célia da Costa Pereira (Université Côte d'Azur)
• Tiago de Lima (Université d'Artois, CRIL CNRS)
• Sylvie Doutre (Université Toulouse Capitole - IRIT)
• Florence Dupin de Saint-Cyr (Université Paul Sabatier - IRIT)
• Alain Dutech (Loria - Inria)
• Sabine Frittella (INSA Centre Val de Loire)
• Hugo Gilbert (Lamsade - Université Paris Dauphine)
• Raïda Ktari (Aix-Marseille Université)
• Jérôme Lang (CNRS, LAMSADE, Université Paris-Dauphine)
• Jean Lieber (LORIA - INRIA Lorraine)
• Emiliano Lorini (CNRS, IRIT)
• Pierre Marquis (CRIL, U. Artois & CNRS - Institut Universitaire de France)
• Amedeo Napoli (LORIA Nancy, CNRS - Inria - Université de Lorraine)
• Wassila Ouerdane (MICS, CentraleSupélec, Université Paris-Saclay)
• Damien Pellier (Laboratoire d'Informatique de Grenoble)
• Julien Rossit (Université Paris Cité, LIPADE)
• Stéphanie Roussel (ONERA)
• Régis Sabbadin (INRA-UBIA)
• Vincent Thomas (LORIA)
• Srdjan Vesic (CRIL - CNRS)
• Thierry Vidal (LGP, UTTOP Tarbes)
• Bruno Zanuttini (GREYC, Université de Normandie)

Articles acceptés

• L’analogie numérique revisitée et étendue, précisée, rétrécie ou agrandie, Yves Lepage, Miguel Couceiro
• Complexité des stratégies maxmin pures dans les jeux sous forme extensive à deux joueurs, Junkang Li, Bruno Zanuttini, Véronique Ventos
• Optiplan : Encodage CSP pour planification HTN-POCL optimale, Oleksandr Firsov, Humbert Fiorino, Damien Pellier
• Incomplete Higher-Order Abstract Argumentation Frameworks, Sylvie Doutre, Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
• Systèmes d’argumentation incomplets avec plausibilité, Jean-Guy Mailly
• SibylSat : Utiliser SAT comme oracle pour effectuer une recherche gloutonne en planification TOHTN, Gaspard Quenard, Damien Pellier, Humbert Fiorino
• Collective Satisfaction Semantics for Opinion Based Argumentation, Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Clément Lens, Srdjan Vesic
• Proportions analogiques entre probabilités, Henri Prade, Gilles Richard
• 40 ans de recherche en logique possibiliste - Une vue d’ensemble, Didier Dubois, Henri Prade
• Compromis entre sécurité et efficacité : Garanties formelles pour les MDP orientés but, Matisse Roche, Yoko Watanabe, Caroline Ponzoni Carvalho Chanel
• Eliciting discrete mixtures of piecewise linear additive preference models, Vincent Auriau, Khaled Belahcène, Emmanuel Malherbe, Vincent Mousseau, Marc Pirlot
• Agreement among Voting Rules under Single-Peaked Preference Distributions, Vincent Mousseau, Henri Surugue, Anaëlle Wilczynski
• A Survey of... Suspenseful Computational Narrative Models, Josselin Scouarnec, Anne-Gwenn Bosser
• Post-Hoc Interpretation of POMDP Policies, Geoffrey Laforest, Olivier Buffet, Alexandre Niveau, Bruno Zanuttini
• Théorie des possibilités et modèles numériques linéaires pour l’inférence sur une base de croyances, Armand Gaudillier, Khaled Belahcène, Wassila Ouerdane, Sébastien Destercke
• Sémantique catégorielle de Logique de Description et Raisonnement, Ludovic Brieulle, Chan Le Duc
• What killed the cat again? Towards a logical formalization of curiosity (suspense, and surprise) in narratives with an experimental use of LLM for capturing causality, Benjamin Callac, Anne-Gwenn Bosser, Florence Dupin de Saint-Cyr, Eric Maisel
• A Knowledge Representation Approach for Reasoning with Adaptation Rules, Nicolas François, Jean Lieber
• Study of the Computational Complexity of the Repair Problem on Simple Temporal Networks with Uncertainty, Ajdin Sumic, Frédéric Maris, Thierry Vidal, Bruno Zanuttini
• Un cadre paraconsistant pour l'évaluation de similarité dans les bases de connaissances, José-Luis Vilchis-Medina
• Uncertainty in quantitative bipolar argumentation frameworks, Jordan Thieyre, Caren Al Anaissy, Aurélie Beynier, Sebastien Destercke, Nicolas Maudet, Srdjan Vesic