Au sein de l'équipe Interaction, Connaissances et Langage Naturel du LERIA, je développe le thème Systèmes de Raisonnement Automatique pour Informations Imparfaites dans lequel nous nous intéressons :

• à la représentation de connaissances incomplètes, incertaines, vagues, évolutives... à l'aide de formalismes logiques
• à la caractérisation de divers types de raisonnement comme la déduction, l'interrogation, l'induction, l'argumentation, ... dans ces formalismes logiques non classiques
• et au développement de logiciels aptes à mettre en œuvre de manière effective ces raisonnements sur des bases de connaissances concrètes.

La majeure partie de mon travail actuel concerne l' Answer Set Programming qui est un formalisme de programmation logique non monotone que l'on peut considérer comme un sous-cas de la logique des défauts de Reiter et qui peut également être utilisé comme un outil de résolution de problème de satisfactions de contraintes.

---

Quelques travaux passés et publications associées

Spécificité en ASP

Partant d'une représentation simple de règles avec exceptions il s'agit de contruire automatiquement un programme logique normal représentant correctement les relations de spécificités présentes dans ces règles. Logiciel disponible : specifASP.

Solveur pour ASP

Nous développons le solveur ASPeRiX gérant directement les règles avec variables.

QBF et ASP

From (Quantified) Boolean Formulae to Answer Set Programming, JLOC 2008

Logiciels et détails disponibles . ici.

Incertitude et raisonnement non monotone.

Possibilistic Uncertainty Handling for Answer Set Programming, AMAI juin 2006

Traitement de l'incertitude pour la programmation par ensembles réponses, RFIA 2006

Possibilistic Stable Models, IJCAI 2005

posSmodels : logiciel de calcul de modèles stables possibilistes.

Métaheuristique pour système de raisonnement non monotone

Answer Set Programming by Ant Colony Optimization, JELIA 2002

Heuristics for a Default Logic Reasoning System , IJAIT 2001

Induction de théories non monotone

Representation of Incomplete Knowledge by Induction of Default Theories, LPNMR 2001

Interrogation en logiques de défauts

The XRay system : An implementation platform for local query-answering in default logics. , in Applications of Uncertainty Formalisms, LNCS (1455), Springer.

---

Encadrements de thèses

• Benoit Da Mota : Algorithmes et certificats pour les formules booléennes quantifiées (co direction avec Igor Stéphan).
• Mathieu Feuilloy : étude d'algorithmes d'apprentissage artificiel pour la prédiction de la syncope chez l'homme (co-direction avec Daniel Schang).