|
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
|