Activités de recherche
Mes activités de recherche se situent dans le cadre général de l’Intelligence Artificielle,
plus particulièrement autour de la problématique de la représentation et du raisonnement sur le temps et sur
l’espace.
Une partie de mes travaux de recherche porte sur l’étude de problèmes autour des réseaux de contraintes
qualitatives (RCQ) temporelles ou spatiales.
Dans le contexte, j'ai notamment proposé et étudié des méthodes de résolution de problèmes de décision tels que
le problème de la cohérence et le problème de l'étiquetage minimal d'un RCQ et d'optimisation tel que celui
du problème MAX-RCQ consistant à déterminer un scénario cohérent (une configuration d’entités) maximisant le
nombre de contraintes satisfaites d’un réseau de contraintes qualitatives.
J'étudie également des problématiques de fusion d'informations temporelles/spatiales et de gestion de
préférences modélisées par des RCQ.
Une autre partie de mes activités concerne l’étude de formalismes permettant de raisonner sur l’évolution de
relations spatiales entre entités au cours du temps. Dans ce cadre là, nous avons notamment proposé une méthode
des tableaux
pour une famille de logiques spatio-temporelles. Nous avons également étudié différents formalismes représentant
les connaissances spatio-temporelles par des séquences de RCQ satisfaisant des contraintes de transition.
Depuis quelques années, j'oriente le champ applicatif de mes travaux de recherche vers des problématiques de
logistique, plus particulièrement vers des problématiques de planification dans le cadre des urgences
hospitalières ou dans le cadre plus général de la gestion de situations de crise.
Logiciels
Quelques uns des programmes récemment développés au cours de mes activités de recherche sont présents sur
cette page.
Encadrement d'étudiants
Etudiants en thèse
- Depuis 2016, Maroua Harzi, Optimisation de système d’urgence hospitalière sous
incertitudes, thèse réalisée en co-tutelle entre l’Université d’Artois et l’Institut de Gestion de Tunis
(ISG), co-encadrement avec Saoussen Krichen (LARODEC, ISG de Tunis) et Issam Nouaouri (LGI2A, Université
d’Artois).
- Depuis 2014, Ali Mensi, Résolution de CSP qualitatifs pour le raisonnement temporel par
des techniques de recherche locale, application à la planification hospitalière, thèse réalisée en
co-tutelle entre l’Université d’Artois et l’ENSI/l'Université de Manouba (Tunisie), co-encadrement avec
Lamjed Ben Said (SOIE, ISG de Tunis) et Issam Nouaouri (LGI2A, Université d’Artois)
- 2013-2017, Michael Sioutis, Algorithmic Contributions to Qualitative Constraint-based
Spatial and Temporal Reasoning, thèse de doctorat de l’Université d’Artois soutenue le 27 février 2017,
co-encadrement avec Bertrand Mazure et yakoub Salhi.
- 2007-2010, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives, thèse de
doctorat de l’Université d’Artois le 10 décembre 2010, co-encadrement avec Souhila Kaci et Pierre
Marquis.
- 2006-2010, Dominique D'Almeida, Étude de systèmes de contraintes pour le raisonnement
qualitatif temporel et spatial, thèse de doctorat de l’Université d’Artois le 3 décembre 2010,
co-encadrement avec Christophe Lecoutre et Lakhdar Saïs.
- 2005-2008, Mahmoud Saade, Étude du raisonnement temporel basé sur la résolution de
contraintes, thèse de doctorat de l’Université d’Artois le 15 décembre 2008, co-encadrement avec Pierre
Marquis.
Etudiants en Master Recherche
- 2016, Ghassen Sakouhi, Internet des objets et fouille de données, Master SIA, CRIL,
co-encadrement avec Yakoub Salhi.
- 2013, Cécilia Daquin, Logiques temporelles et formalismes qualitatifs, Master SIA,
CRIL, co-encadrement avec Yakoub Salhi et Bertrand Mazure.
- 2011, Abderrahim Ait Wakrime, Résolution de réseaux de contraintes qualitatives par
transformations à SAT, Master SIA, CRIL, co-encadrement avec Daniel Le Berre.
- 2007, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives, Master SIA,
CRIL, co-encadrement avec Souhila Kaci et Pierre Marquis.
- 2006, Dominique D’Almeida, Résolution de CSP qualitatifs par l’utilisation de CSP
discrets et de SAT, Master SIA, CRIL, co-encadrement avec Christophe Lecoutre et Lakhdar Saïs.
- 2005, Ali Zitouni, Intégration de données spatiales et temporelles multi-sources,
Master SIA, CRIL, co-encadrement avec Souhila Kaci et Pierre Marquis.
- 2004, Michael Restoux, Étude d’une logique spatio-temporelle, Master SIA, CRIL,
co-encadrement avec Nathalie Chetcuti.
- 2002, Abdelslam Nasri, Méthodes des tableaux pour des logiques spatio-temporelles,
DEA I3, LIMSI, co-encadrement avec Gérard Ligozat.
Projets scientifiques
- 2016-2017, projet PHC Utique RESCUESYS (Etude et Développement d’un Système Spatio-Temporel pour
la Gestion des Secours Médicaux d’Urgence), initiateur et responsable pour la partie française.
L’objectif global de ce projet est l’étude et la mise en oeuvre d’outils de décision et d’optimisation
pour la gestion de crise.
Dans ce cadre, des problématiques de traitement d’informations multi-sources, imparfaites et
spatio-temporelles et d’ordonnancement spatio-temporel temps sont traitées. Ce projet franco-tunisien
est sous ma responsabilité pour la partie française et sous la responsabilité de Lamjed Ben Saïd
(directeur de l’ISG de Tunis et du laboratoire SOIE) pour la partie tunisienne.
Des chercheurs de quatre laboratoires (partie française: CRIL et LGI2A, partie tunisienne: SOIE et
LARODEC) participent à ce projet parmi lesquels deux doctorants en co-tutelle que je co-encadre : Ali
Mensi et Marwa Harzi.
- 2016-2017, projet RATP/CRIL, membre. Convention de collaboration de recherche et
innovation entre le CRIL et la RATP (sous la responsabilité de Yakoub Sahli (CRIL)).
Cette collaboration entre le CRIL et la RATP vise le développement d’outils de preuve formelle qui
pourront notamment être utilisés lors des futurs projets d’automatisation de lignes de la RATP ainsi que
pour les projets réalisés dans l’intérêt de clients externes.
- 2016-2017, projet BQR transversal CRIL/LGI2A - Thème OPT, objectif pour le thème OPT:
définir des techniques d’optimisation pour le problème de la fusion des réseaux de contraintes
qualitatives, appliquées à la logistique en santé, pour le thème OPT sous la responsabilité de
Jean-François Condotta (CRIL).
- 2005-2008, projet ANR – PLANEVO, objectif : réalisation d’un système de planification
capable de prendre en compte une représentation complexe de l’univers, des actions et des buts à
atteindre dans un cadre temporel, sous la responsabilité de Vincent Vidal (CRIL).
- 2001-2005, projet Sémantiques de la transmodalité : application aux systèmes d’information
géographique, dans le cadre du programme interdisciplinaire "société de l’information", projet
2001-085 et sous la responsabilité de Gérard Ligozat (LIMSI).
Participations à des comités de programmes et relectures
- Comités de programmes
-
- 26th International Joint Conference on Artificial Intelligence (IJCAI'17)
- IEEE-ICTAI 2015 Special Track on SAT and CSP technologies (ICTAI’15)
- 21st European Conference on Artificial Intelligence (ECAI’14)
- IEEE-ICTAI 2014 Special Track on SAT and CSP technologies (ICTAI’14)
- 23rd International Joint Conference on Artificial Intelligence (IJCAI’13)
- Workshop Spatio-Temporal Dynamics (STeDy'12 à ECAI'12)
- Workshop Benchmarks and Applications of Spatial Reasoning (IJCAI'11)
- AAAI Spring Symposium 2009 - Benchmarking of Qualitative Spatial and Temporal Reasoning
Systems, Stanford University
- Atelier Représentation et Raisonnement sur le Temps et l'Espace (RTE) de 2006 à 2012
- Symposium on Temporal Representation and Reasoning (TIME'04)
- Rencontres de Jeunes Chercheurs en Intelligence Artificielle (RJCIA'03)
- Relecteur pour des journaux et des conférences
-
- Artificial Intelligence (AI) : 2009, 2011, 2012, 2013 ; Journal of Artificial Intelligence Research (JAIR) : 2009, 2016 ; International Journal on Artificial Intelligence Tools (IJAIT) : 2013 ; International Journal Approximate Reasoning (IJAR) : 2012 ; Constraints : 2014 ; Journal Information & Computation : 2015.
-
RJCIA'03, RTE (07,09,11), RFIA (02,04), ICTAI (10,14,15), IJCAI (03,05,07,09,13,17), TIME'04, ECAI (04,14), CP (05,11), KR'08, SteDy'12, etc.