Cours Raisonnement et Décisions

Le raisonnement a pour préoccupation la modélisation et l’automatisation de processus de raisonnement et de prise de décision, dans une perspective d’assister l’utilisateur ou le décideur. Ils concernent les problématiques suivantes :

·             La modélisation des croyances et leur dynamique, et le raisonnement automatisé :

·             Modèles logico-mathématiques pour la modélisation des croyances incomplètes, incertaines et/ou partiellement incohérentes ;

·             Révision des croyances ;

·             Raisonnement sur l’action et la causalité ;

·             Fusion de croyances ;

·             Apprentissage automatisé.

Les modèles utilisés incluent différentes théories de l’incertain :

·             Probabilités ;

·             Fonctions de croyances ;

·             Possibilités ;

·             Et modèles purement ordinaux.

Et différentes logiques non-classiques :

·             Logiques épistémiques ;

·             Logique dynamique ;

·             Logique possibiliste ;

·             Logiques de l’incertain ;

·             Et logiques para consistantes.