Raisonnements Plausibles, Décision, Méthodes de Preuves



présentation



 


 
 

L'équipe "Raisonnements Plausibles, Décision, et Méthodes de Preuves" (RPDMP), qui s'est appelée "Intelligence Artificielle et Robotique" jusqu'au début des années 90, a été créée au milieu des années 1970.

L' équipe RPDMP poursuit une activité importante, souvent depuis de nombreuses années, en matière de

  • modélisation quantitative ou qualitative de l' incertitude, des préférences et de la similarité (théories des possibilités, des fonctions de croyances, des probabilités, des relations de conséquence non-monotone, des ensembles flous), avec un intérêt marqué pour les représentations logiques ou graphiques;
  • modélisation de différentes formes du raisonnement, telles que le raisonnement tolérant les exceptions, la révision de croyances, la mise à jour, le raisonnement en présence d'incohérences, le raisonnement argumentatif, la fusion d'informations, le raisonnement à partir de cas, le raisonnement interpolatif, le raisonnement qualitatif sur les ordres de grandeur;
  • décision dans l' incertain, de décision multi-critère, de décision de groupe, de planification, avec en particulier le souci de développer des modèles qualitatifs.

Au plan algorithmique, l'équipe s'intéresse aux problèmes de satisfiabilité logique, de recherche d'impliquants, de satisfaction de contraintes flexibles ou dynamiques, de recherche heuristique.

Les applications considérées sont principalement, des problèmes de diagnostic de pannes, de productique (ordonnancement et gestion de projets, configuration de produits, ...), d'assistance médicale et diététique, de systèmes d' information (requêtes flexibles, ...).

L'équipe est aussi concernée par l'évaluation cognitive des modèles utilisés, en partenariat avec des psychologues cogniticiens et des économistes.



Présentation succincte des thèmes et thèses en cours.



Pour télécharger le fichier "gzipped postscript" de présentation de l'équipe RPDMP cliquez ici.


mis à jour le 23 May 2002