Le CRIL en bref
Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS dont la thématique de recherche fédératrice concerne l'intelligence artificielle et ses applications. Il regroupe plus de 50 membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.
Le CRIL participe à la Confédération Européenne de Laboratoires en Intelligence Artificielle CLAIRE et à l'alliance régionale humAIn. Il bénéficie du soutien du Ministère de l’Enseignement Supérieur et de la Recherche, du CNRS, de l’Université d’Artois et de la région Hauts de France.
Le CRIL est localisé sur deux sites à Lens : la faculté des sciences Jean Perrin et l’IUT.
Recherches en intelligence artificielle et applications
Actualités (RSS)
Séminaire Modélisation et logique propositionnelle classique
Soutenance HDR - Yakoub Salhi
Nos travaux de recherche se situent dans le cadre de l’intelligence artificielle. Ils concernent l’utilisation des logiques formelles, ainsi que d’autres formalismes symboliques qui s’y apparentent, pour répondre à différentes problématiques, et cela, autour de deux principaux thèmes : la fouille de données par des approches déclaratives et la représentation des connaissances. Nos travaux s’inscrivent ainsi de manière transversale sur les deux axes du Centre de Recherche en Informatique de Lens (CRIL), à savoir « Algorithmes pour l’inférence et contraintes » et « Représentation des connaissances et raisonnements ». En effet, nos contributions relèvent notamment de la modélisation de différents problèmes de fouille de données en logique propositionnelle classique, du raisonnement en présence de l’incohérence, de la théorie de l’argumentation et du raisonnement qualitatif. Du fait de sa place prépondérante dans l’ensemble de nos travaux, notre présentation est principalement dévolue à l’utilisation de la logique propositionnelle classique comme outil de modélisation. Cette dernière s’articule autour de trois principaux angles de vue. Le premier angle concerne l’emploi du problème de la cohérence en logique propositionnelle. Le deuxième se rapporte aux problèmes d’optimisation dérivés de la logique propositionnelle. Quant au troisième angle, il est lié à l’utilisation de cette logique en présence de l’incohérence.
Rapporteurs :
Bruno Crémilleux Professeur à l’Université de Caen Normandie
Frédéric Saubion Professeur à l’Université d’Angers
Torsten Schaub Professeur à l’Université de Potsdam
Examinateurs :
Salima Benbernou Professeur à l’Université Paris Descartes
Souhila Kaci Professeur à l’Université de Montpellier
Jean-Marc Petit Professeur à l’Institut National des Sciences Appliquées de Lyon
Lakhdar Sais Professeur à l’Université d’Artois
Jean-François Condotta Professeur à l’Université d’Artois
Séminaire HDR: HDR Doesn't Recur
Soutenance HDR - Ivan Varzinczak
Dans cet exposé, je présenterai un résumé de haut niveau de mes contributions au domaine de la logique appliquée pour la période allant de 2007 à 2019 et que je considère comme les plus pertinentes dans le contexte d’une Habilitation française (HDR). Je mettrai également en avant certains indicateurs de performance clés qui soutiennent l’obtention d’un tel diplôme. L’exposé se terminera par quelques perspectives sur les recherches futures.
Composition du jury :
Franz Baader, TU Dresden (rapporteur)
Stéphane Demri, CNRS, Paris (examinateur)
Hans van Ditmarsch, CNRS, Nancy (rapporteur)
Sébastien Konieczny, CNRS, Lens (examinateur)
Pierre Marquis, Univ. Artois, Lens (directeur)
Marie-Laure Mugnier, Univ. Montpelier (examinateur)
Odile Papini, Univ. Marseille (rapporteur)
Leon var der Torre, Luxembourg (examinateur)
Les membres du jury ont examiné et évalué deux documents principaux, à savoir une habilitation à la française synthétisant mes contributions scientifiques au cours des 12 dernières années, et une monographie intitulée «Defeasible Description Logics», qui présente une investigation détaillée d’un thème de recherche que j’ai poursuivi au cours des huit dernières années et que j’ai l’intention de publier sous forme de livre.
Séminaire Postulates for Truth Discovery
Joe Singleton - Cardiff University
The problem of ‘truth discovery’ is to find the true facts concerning a number
of objects when faced with conflicting reports from data sources of unknown
trustworthiness and reliability. This is particularly important in today’s
‘post-truth’ period, where conflicting information can be found in abundance on
the web and social media platforms.
Many different algorithms for truth discovery have been proposed in recent
years. My work has instead involved looking at the problem from a theoretical
point of view, and applying the axiomatic method of Social Choice to evaluate
algorithms with respect to their theoretical properties.
In this talk I will introduce the problem and go over my initial work in this
area.
Séminaire Contributions au raisonnement sous incertitude dans un cadre possibiliste
Soutenance HDR - Karim Tabia
Nos travaux relèvent de la représentation des connaissances et du raisonnement en Intelligence Artificielle. L’incertitude et l’inconsistance sont deux aspects qui affectent les données et les connaissances dans de nombreux domaines. Malgré la multitude de formalismes et d’approches proposés pour représenter et raisonner avec des informations incertaines, incomplètes ou partiellement l’inconsistantes, il existe encore plusieurs problèmes ouverts lorsqu’il s’agit d’utiliser ces approches dans la pratique. L’objectif principal de nos travaux est d’apporter des contributions par le biais de représentations possibilistes compactes et flexibles. Au niveau de la représentation, nous avons proposé des extensions flexibles aux modèles graphiques possibilistes et aux bases de connaissances possibilistes, en particulier aux représentations basées sur une quantification imprécise de l’incertitude avec des intervalles ou des ensembles. Au niveau des raisonnements, nous avons étudié le conditionnement et l’inférence dans ces représentations possibilistes étendues et nous avons proposées des contreparties syntaxiques efficaces. Enfin, nous avons proposé de nombreuses contributions au raisonnement avec des informations priorisées et partiellement inconsistantes et nous l’avons illustré dans deux applications. La première concerne l’interrogation de bases de données hétérogènes et volumineuses avec des parties assertionnelles affectées par des incertitudes et éventuellement des conflits, tandis que la seconde, dans domaine de la sécurité informatique, porte sur la révision des prédictions d’un classifieur pour se conformer à certaines contraintes et objectifs du domaine. La présentation se terminera par quelques conclusions et perspectives de travaux futurs.
Séminaire Qui est le meilleur Pierre Marquis ?
Sébastien Konieczny
Nous présenterons les derniers développements autour de la plate-forme www.coscinus.org. Nous rappellerons les outils de proximité et de clustering entre conférences et journaux d’informatique, permettant de faire apparaître les différents domaines de l’informatique à partir des habitudes de publication des auteurs. Nous présenterons ensuite un outil permettant d’identifier des experts dans un domaine (plus exactement dans le voisinage d’une conférence donnée), ainsi qu’un outil permettant d’identifier des experts correspondant à un auteur donné. Ce dernier outil peut être vu comme un cas particulier d’une problématique plus générale qui est d’identifier quels sont les meilleurs éléments, étant donné un élément cible. Nous présenterons cette problématique et nos premiers développements à ce sujet. Et nous répondrons à la question que tout le monde se pose: Qui est le meilleur Pierre Marquis ?