Master 2 recherche Calcul Interaction Décision

• Représentation des connaissances et raisonnement. Le cours est axé sur l'utilisation de logiques non classiques (floue, possibiliste, de défaut) pour la représentation d'informations imparfaites. La programmation logique non monotone via le paradigme de l'Answer Set Programming est également étudiée ainsi que les formules booléennes quantifiées et certains modèles graphiques d'aides à la décision sous incertitude.
• Exemples de sujets de stage de recherche récents
• 2007/08 : Spécificité en ASP : Lorsqu’on s’intéresse au raisonnement tolérant les exceptions, la difficulté consiste à écrire le programme logique normal qui permet de gérer correctement les classes et les sous-classes d’information. Dans le cadre de la logique, de nombreuses méthodes ont été proposées pour gérer les exceptions, en particulier en utilisant la notion de spécificité. Pour les programmes logiques, on veut pouvoir donner une représentation simple des informations et définir de manière automatique le programme logique normal adéquat. Ceci est possible si on écrit les informations en utilisant les programmes définis (sans la partie not du corps de la règle) et si on utilise une méthode de traitement de la spécificité qui permet de traiter les classes et les sous-classes d’information. Cette idée, déjà proposée dans le cadre de la logique des défauts, n’a pas encore été étudiée en ASP. Le but du travail est de définir formellement l’application d’une méthode de traitement de la spécificité dans le cadre de l’ASP et de développer un logiciel permettant une gestion automatique de la spécificité pour les programmes logiques.
• 2006/07 : SAT et ASP: Le but du travail est de démontrer formellement que l’on peut coder tout problème SAT en un programme ASP directement à partir d’une formule propositionnelle quelconque (le format choisi étant le format EDIMACS) sans la mettre au préalable sous forme normale conjonctive (ou CNF) comme pour la plupart des solveurs SAT actuels, puis de modéliser via différents formalismes (au format CNF, au format EDIMACS, en ASP directementou après une traduction depuis le format EDIMACS) divers problèmes combinatoires usuels et de comparer leurs résolutions via les solveurs disponibles. L’extension aux formules booléennes quantifiées (QBF) sera également abordée.