Orateur : Cyril Terrioux , LIS
Titre : Décompositions et résolution de modèles graphiques
Résumé : La notion de décomposition arborescente est, de nos jours, un sujet majeur pour l’étude théorique et la résolution pratique de problèmes NP-complets et au-delà. En intelligence artificielle, son utilisation est des plus prometteuses notamment dans le cadre des modèles graphiques (réseaux de contraintes, réseaux bayésiens, logique propositionnelle, …).
Dans cet exposé, nous illustrerons d’abord comment la décomposition arborescente peut être exploitée, d’un point de vue théorique, pour définir des classes polynomiales. Ensuite, nous nous intéresserons aux méthodes de calcul de décompositions arborescentes. Enfin, nous verrons quel peut-être l’apport de la décomposition arborescente pour la résolution pratique des instances.
Orateur : Leila Amgoud, IRIT
Titre : Argument-based logics
Résumé : Argumentation is a reasoning process based on the justification of claims by arguments. Due to its explanatory power, it has become a hot topic in Artificial Intelligence, and has been used for solving different problems including decision making under uncertainty, learning rules, modelling different types of dialogs, and more importantly reasoning about inconsistent information.
In this talk, I will focus on argument-based paraconsistent logics. Starting from a knowledge base encoded in a logical language, an argument-based logic defines arguments (supporting conclusions) and identifies conflicts between them. Then, it evaluates the strength of each arguments using what is called semantics in the argumentation literature. Finally, it infers conclusions that are supported by strong arguments. I will present two families of such logics: the family that uses extension semantics and the one that uses ranking ones for the evaluation of arguments. I discuss the outcomes of both families and compare them. I also compare the argumentation approach with other well-known paraconsistent logics.
Orateur : Gilles Audemard, CRIL
Titre : Au coeur des démonstrateurs SAT
Résumé : Aujourd’hui, les solveurs SAT se trouvent au coeur de nombreux domaines de recherche. Nous commencerons par une présentation des ingrédients essentiels des solveurs SAT. Ensuite, nous présenterons l’utilisation incrémentale des démonstrateurs SAT, c’est à dire l’appel multiple de solveurs sur des instances proches les unes des autres. Nous introduirons quelques exemples d’utilisation incrémentale de SAT. Enfin, nous ferons une petite analyse des compétitions SAT qui ont lieu tous les ans.