Équipe ADRIA

Responsables : Marie-Christine LAGASQUIE
Leïla AMGOUD

Anciennement dénommée “Intelligence Artificielle et Robotique”, puis “RPDMP” (pour “Raisonnements Plausibles, Décision et Méthodes de preuve”), l’équipe Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (ADRIA) existe depuis 1976.

Elle contribue au développement de nouveaux modèles en Intelligence Artificielle pour le raisonnement, la décision, l’argumentation et l’apprentissage.

La représentation et le traitement des informations incomplètes, incertaines, imprécises ou incohérentes, ainsi que la représentation des préférences sont au premier plan des recherches de l’équipe ADRIA (voir le site web de l’équipe pour plus d’information).

Les cadres formels étudiés par l’équipe couvrent les domaines du raisonnement, de la décision, de l’argumentation et de l’apprentissage.

Les problèmes abordés utilisent des outils formels récents comme : la théorie des possibilités, et des probabilités imprécises, pour le traitement de l’incertitude épistémique ; des modèles de représentation de préférences logiques ou graphiques (VCSP, CP-nets, GAI-nets, …) ; des logiques non-monotones, pondérées, floues, destinées à pallier les insuffisances de la logique et de l’inférence classique pour formaliser le raisonnement humain.

  • Raisonnement :Les travaux actuels portent sur les liens entre logique possibiliste (généralisée), logiques modales, logiques multivaluées et programmation logique. La révision et la fusion d’informations incertaines et partiellement contradictoires provenant de sources multiples ainsi que le raisonnement à base de proportions analogiques sont aussi un de nos sujets d’étude actuels.
  • Décision :L’équipe étudie les fondements axiomatiques de règles de décision qualitative sous incertitude, ainsi que des outils logiques et informatiques pour la décision multicritère et/ou collective et la planification. L’aspect combinatoire des problèmes à résoudre conduit à la recherche de classes traitables.
  • Argumentation :L’équipe développe des modèles formels d’argumentation et des applications pour le raisonnement, l’explication de décisions, ou la modélisation de dialogues (de négociation notamment).
  • Apprentissage :L’équipe s’intéresse à l’apprentissage artificiel (analogie, apprentissage de préférences, analyse formelle de concepts), à son adaptation dans le cadre incertain mais aussi à son interprétation en tant qu’imitation de l’apprentissage humain (apprentissage à la Piaget).

Les travaux méthodologiques sont le plus souvent menés en relation avec des applications, comme l’ordonnancement, le pilotage de chaînes logistiques, le diagnostic, l’analyse de risques, l’optimisation et la configuration. Quelques exemples d’applications :

  • Critères de sécurité pour le stockage souterrain de CO2
  • Système Nutri-Educ de conseil et / ou d’assistance en diététique
  • Réconciliation de données pour l’analyse de flux de terres rares
  • Gestion de chaînes logistiques : problèmes de planification, de coopération et de gestion des risques

Pour en savoir plus :

Compétences

argumentation
décision
raisonnement
incertitude
apprentissage

personnel de l’équipe

Membres permanents
Membres non – permanents

publications de l’équipe

Articles dans des revues internationales
Articles dans des revues nationales
Rédaction de numéros spéciaux de revues
Conférences et workshops internationaux avec actes édités et comité de lecture
Conférences sans actes publiés
  • Sandro Bimonte, Amir Sakka, Lucile Sautot

    From crowdsourced requirements to analysis of VGI data: Open issues

    Dans : Ateliers INFORSID, Nantes, 28/05/2018-31/05/2018.

    Résumé
    BibTeX

  • Frédéric Maris

    La planification par compilation

    Dans : JFPDA – Journées Francophones sur la Planification, la Décision et l’Apprentissage, Nancy, 02/07/2018-03/07/2018 (conférencier invité), Olivier Buffet, Alain Dutech, Vincent Thomas (Eds.).

    BibTeX

  • Frédéric Maris, Maël Valais, Julien Vianey

    Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu

    Dans : JFPDA – Journées Francophones sur la Planification, la Décision et l’Apprentissage, Nancy, 02/07/2018-03/07/2018, Olivier Buffet, Alain Dutech, Vincent Thomas (Eds.).

    BibTeX

  • Pascale Zaraté

    How to support Cooperative Decision Making ?

    Dans : Doctoral program – Universidade Federal de Pernambuco, Recife, Brazil, 07/12/2018 (conférencier invité).

    BibTeX

  • Pascale Zaraté

    How to support Group Decision Making ?

    Dans : INNOPEN FOOD, Valencia, 13/11/2018 (conférencier invité).

    Accès : https://bit.ly/2yua8cm
    BibTeX

  • Pedro Calabar, Jorge Fandinno, Luis Fariñas del Cerro

    Splitting Epistemic Logic Programs

    Dans : NMR- International Workshop on Non-Monotonic Reasoning, Tempe, Arizona, 27/10/2018-29/10/2018.

    BibTeX

  • Didier Dubois

    Uncertainty theories: a unified view

    Dans : 8th Int. Workshop on Reliable Engineering Computing, Liverpool, UK, 16/07/2018-18/07/2018 (conférencier invité), Marco De Angelis (Eds.).

    BibTeX

  • Didier Dubois

    A unified view of some formalisms handing incomplete and inconsistent information

    Dans : 6th World Congress on Universal Logic, Vichy, 16/06/2018-26/06/2018 (conférencier invité), Jean-Yves Béziau, Arthur Buchsbaum, Christophe Rey (Eds.).

    BibTeX

  • Pascale Zaraté, Amir Sakka

    How to support decision making processes in agribusiness through the GRUS system

    Dans : EURO 2018, Valencia, Spain, 08/07/2018-11/07/2018.

    BibTeX

  • Amir Sakka, Guy Camilleri, Lucile Sautot, Pascale Zaraté, Sandro Bimonte

    Participative design methodology for spatial data warehouse: application to farmland biodiversity data

    Dans : EURO 2018, Valencia, Sapin, 08/07/2018-11/07/2018.

    BibTeX

Livres (monographies)
Thèses et habilitations
  • Adama Coulibaly

    Décision de groupe, Aide à la facilitation : Ajustement de procédures de vote selon le contexte de décision

    Thèse de doctorat, Université des Sciences Sociales, juin 2019.

    BibTeX

  • Maël Valais

    Traduction logique et résolution de problèmes – Application à la planification

    Thèse de doctorat, Université Paul Sabatier, avril 2019.

    Résumé
    BibTeX

  • Carolina Lino Martins

    Système d’Aide à la Décision Multicritère orienté Web pour la répartition des Ressources des Universités Publiques Brésiliennes

    Thèse de doctorat, Université des Sciences Sociales, décembre 2018.

    BibTeX

  • Pierre-François Gimenez

    Apprentissage de préférences en espace combinatoire et application à la recommandation en configuration interactive

    Thèse de doctorat, Université Paul Sabatier, octobre 2018.

    Accès : https://www.irit.fr/publis/ADRIA/these-PFGimenez.pdf
    BibTeX

  • Hassan Ait Haddou

    Modélisation simulation pour l’aide à la décision multicritères des architectes-urbanistes

    Habilitation à diriger des recherches, Université des Sciences Sociales, juillet 2018.

    BibTeX

  • Soumana Fomba

    Décision multi-critère : Un système de recommendation pour le choix de l’opérateur d’agrégation

    Thèse de doctorat, Université des Sciences Sociales, juillet 2018.

    BibTeX

  • Jean-Baptiste Rakotoarivelo

    Aide à la Décision Multi-Critère pour la gestion des risques dans le domaine financier

    Thèse de doctorat, Université Paul Sabatier, avril 2018.

    BibTeX

  • Hassan Ait Haddou

    Modélisation- simulation pour l’aide à la décision multicritère des architectes-urbanistes

    Thèse de doctorat, Université des Sciences Sociales, juillet 2018.

    BibTeX

  • Zeineb El Khalfi

    Lexicographic Refinements in Possibilistic Sequential Decision-Making Models

    Thèse de doctorat, Université de Toulouse, octobre 2017.

    BibTeX

  • Hela Gouider

    Représentation graphique des préférences dans le cadre de la théorie de possibilités.

    Thèse de doctorat, Université Paul Sabatier, octobre 2017.

    BibTeX

Rapports

contrats de l’équipe

AcronymeTitreResp. scDébut – fin
VGI4Bio autre Méthodes d’analyse des indicateurs de biodiversité dans le contexte agricole centrés données et utilisateurs VGI ZARATÉ Pascale
2017 – 2021
CAASC anr Adaptation dans un nuage d’une chaîne logistique agile FARGIER Hélène
2018 – 2022
PER4MANCE anr Planification Et Répartition Flexible du travail entre les Opérateurs des chaînes d’asseMblage AéroNautiques : une approChe systémique pour gérer les risques Ergonomiques et économiques FARGIER Hélène
2018 – 2022
PING-ACK anr Pré-traitement d’informations pour la résolution de tâches complexes / Compilation avancée de connaissances FARGIER Hélène
2018 – 2023
AMANDE
[Contrat terminé]
Advanced Multilateral Argumentation for Deliberation AMGOUD Leila
2013 – 2017
ASTER
[Contrat terminé]
Analyse Systémique des TErres Rares – flux et stocks DUBOIS Didier
2012 – 2015
BR4CP
[Contrat terminé]
autre Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit FARGIER Hélène
2012 – 2015
LELIE
[Contrat terminé]
autre Logiciel intelligent d’aide au diagnostic de risques dans les procédures industrielles AMGOUD Leila
SAINT-DIZIER Patrick
2011 – 2013
TUPLES
[Contrat terminé]
autre TUPLES : Polynomialité pour la compréhension et l’extension des limites des solveurs performants COOPER Martin
2010 – 2014
CRISCO
[Contrat terminé]
Critères de sécurité pour le stockage du CO2 approche qualitative /quantitative de scénarios de risque DUBOIS Didier
2006 – 2010
AcronymeTitreResp. scDébut – fin
RUCAPS auropa Enhancing and implementing Knowledge based ICT solutions within high Risk and Uncertain Conditions for Agriculture Production Systems ZARATÉ Pascale
2016 – 2020
NAAMSI
[Contrat terminé]
Non-Additive Axiomatic Models of Strategic Interaction DUBOIS Didier
2012 – 2014
ACE
[Contrat terminé]
autre Automatic Software Engineering for online cultural experiences AMGOUD Leila
2011 – 2013
3VAL
[Contrat terminé]
Three valued logics and uncertainty management DUBOIS Didier
2011 – 2012
AcronymeTitreResp. scDébut – fin
TEXTCOOP
[Contrat terminé]
autre Texte coopératif, application aux textes procéduraux SAINT-DIZIER Patrick
2009 – 2010
05013992
[Contrat terminé]
Traitement de l’incertitude dans la fusion d’informations géographiques issues de technologies spatiales PRADE Henri
2006 – 2010
Mardi 4 Juin 2019, 10h00
Décision de groupe, Aide à la facilitation : Ajustement de procédures de vote selon le contexte de décision
Adama COULIBALY – Equipe ADRIA, IRIT Bâtiment Arsenal, Salle de thèses
#these
Lundi 8 Avril 2019, 10h00
Traduction logique et résolution de problèmes – Application à la planification
Maël VALAIS – Equipe LILaC, Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Jeudi 6 Décembre 2018, 10h00
Multicriteria Web-based Decision Support System For Resource Allocation In Brazilian Public Universities
Carolina Lino MARTINS – Equipe ADRIA – IRIT Universidade Federal de Pernambuco, Recife (Brésil)
#these
Mercredi 10 Octobre 2018, 10h30
Apprentissage de préférences en espace combinatoire et application à la recommandation en configuration interactive
Pierre-François GIMENEZ – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Lundi 16 Juillet 2018, 10h00
Décision Multicritère : Un système de recommandation pour le choix de l’opérateur d’agrégation
Soumana FOMBA – Equipe ADRIA – IRIT UT1 Capitole, Salle des Thèses
#these
Jeudi 26 Avril 2018, 14h00
Analyse Multicritère d’Aide à la Décision, AHP, Promethee, Secteur Bancaire
Jean-Baptiste RAKOTOARIVELO – Equipe ADRIA – IRIT Salle des Thèses, Université de Toasmasina
#these
Mardi 31 Octobre 2017, 9h30
Lexicographic Refinements in Possibilistic Sequential Decision-Making Models
Zeineb EL KHALFI – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Lundi 30 Octobre 2017, 10h00
Graphical Preference Representation under a Possibilistic Framework
Hela GOUIDER – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Jeudi 22 Décembre 2016, 14h00
Analyse des structures du dialogue et de l’argumentation
Jérémy PERRET – Equipe MELODI, Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Mercredi 7 Décembre 2016, 10h00
Harnessing tractability in constraint satisfaction problems
Clément CARBONNEL – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Mardi 10 Avril 2018 – Jeudi 12 Avril 2018
AMANDE – Argument Strength 2018
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#congres En savoir plus
Mercredi 15 Novembre 2017 – Vendredi 17 Novembre 2017
MANYVAL 2017 : 7th international workshop on Many-Valued Logic
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#congres En savoir plus
Lundi 17 Juillet 2017 – Vendredi 28 Juillet 2017
29th European Summer School in Logic, Language, and Information
UT1 Capitole, Campus de l’Arsenal
#congres En savoir plus
Mercredi 5 Juillet 2017 – Vendredi 7 Juillet 2017
Journées Franco-Chilienne sur l’Optimisation (JFCO)
Manufacture des Tabacs
#congres En savoir plus
Mardi 27 Juin 2017 – Mardi 4 Juillet 2017
Toulouse E-Democracy Summer School (TeSS)
UT3 Paul Sabatier
#congres En savoir plus
Lundi 24 Avril 2017 – Mercredi 26 Avril 2017
[LabEx CIMI] Workshop du trimestre thématique Aide à la Décision
Amphithéâtre MBIII
#congres En savoir plus
Mercredi 21 Septembre 2016 – Vendredi 23 Septembre 2016
Journées sur les aspects Multi-Agents, Flexible, Temporel, Epistémique et Contingent de la planification
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#congres En savoir plus
Lundi 5 Septembre 2016 – Vendredi 9 Septembre 2016
CP 2016 : The 22nd International Conference on Principles and Practice of Constraint Programming
Toulouse Business School, 20, bd Lascrosses
#congres En savoir plus
Mercredi 27 Mai 2015 – Vendredi 29 Mai 2015
Workshop on Imprecise Probability
UT3 Paul Sabatier, IRIT
#congres En savoir plus
Jeudi 7 Février 2019, 12h30 – 13h30
Supporting Bidding in Electronic Auctions
Aysegül ENGIN – Equipe ADRIA – IRIT (France) Manufacture de Tabacs, Salle TBA
#seminaire
Vendredi 23 Juin 2017, 14h30 – 16h00
A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem
Jean-Marie LAGNIEZ – CRIL, Université d’Artois, Lens UT3 Paul Sabatier, IRIT, Salle des Thèses
#seminaire
Mardi 21 Mars 2017, 8h30 – 17h00
Journée Recherche / Industrie du semestre thématique Aide à la Décision
UT2J, Maison de la Recherche , Salle D29
#seminaire
Jeudi 16 Mars 2017, 14h30 – 15h30
Interactions as Social Practices: towards a formalization
Virginia And Frank DIGNUM – Delft University of Technology / Utrecht University (Pays-Bas) UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Vendredi 10 Mars 2017, 14h30 – 16h00
The role of formal approaches in machine learning
Mathieu SERRURIER – Equipe ADRIA – IRIT (France) IRIT, Salle 175
#seminaire
Mardi 17 Janvier 2017, 12h30 – 14h00
Novel ways to develop weights process in multiple criteria decision making
Morteza YAZDANI – Equipe ADRIA – IRIT (France) Manufacture des Tabacs – TBA
#seminaire
Mardi 31 Mai 2016, 10h00 – 12h00
Electing representatives
Marc KILGOUR – Université Wilfrid Laurier, Waterloo (Canada) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#seminaire
Mardi 22 Mars 2016, 18h30 – 19h30
Cycle Sacrée Science, Café du Quai : L’Intelligence artificielle, de quoi s’agit-il vraiment ?
Henri PRADE – Equipe ADRIA – IRIT (France) Quai des Savoirs, 39, allées Jules-Guesde, Toulouse
#seminaire
Mardi 8 Décembre 2015, 10h00
Machine learning and possibility theory: application to model selection and approximation
Mathieu SERRURIER – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#hdr
Vendredi 13 Novembre 2015, 10h15
Belief Change, Consistency and Argumentation
Florence DUPIN DE SAINT CYR – BANNAY – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#hdr
Mercredi 29 Novembre 2017
Workshop on AI Planning in Games
UT3 Paul Sabatier, IRIT, Salle des Thèses
#journee