Recents projects

Preprocessing Information for Nontrivial Goals / Advanced Compilation of Knowledge Project involving the laboratories CRIL, GREYC (Caen), IRIT (Toulouse), and LaBRI (Bordeaux). Designing algorithms ensuring fast response times is a fundamental problem in Computer Science. Its significance is all the more salient for algorithms requiring frequent interactions with humans. Indeed, one faces this issue quite often in everyday life (e.g., when using applications on the Web or on a smartphone, short response-time guarantees are mandatory).

THeory and Evidence to Measure Influence in Social structures Joint PRC with LAMSADE (PI) and LIP6. The THEMIS project aims at producing a general ordinal theory of cooperative interaction situations and power indices for the formulation of a portfolio of social ranking solutions applied to different domains of artificial intelligence, such as decision theory, game theory, computational social choice and multi-agent systems. In particular, the project will focus on the following families of problems: 1) the axiomatic design of novel social ranking solutions accompanied with a road-map of principles guiding users to the most adapted scenario; 2) the impact of the computational difficulties of algorithms for social ranking and their vulnerability to strategic behaviour; 3) the dynamics of coalition formation and the effect of social ranking solutions on the behaviour of individuals to form stable coalition structures; 4) the application of compact preference representation to efficiently compute social ranking solutions and to assess their robustness to changes and to manipulations.

Efficient Query answering Under UpdateS Efficient query answering, i.e., computing the answer to a query on a given database, is one of the core problems studied in database theory. It is a very fruitful area of research with a long history and many new results and directions, e.g. efficient algorithms for aggregation, enumeration of query answers, and provenance computation. Although in practice databases are dynamic objects changing over time, the theoretical research on this topic has largely focused on static databases: when the database changes even slightly, the algorithms have to be rerun from scratch before answering, losing all already computed information.

Partners : UCCS, LML, LEM, CDEP Within the ANR project (Doctoral contracts in artificial intelligence - establishment), the programme strategy of the University of Artois is to promote and conduct core research on explainable AI as well as quality interdisciplinary research on important issues in Social Sciences and Chemistry. Five PhD contracts have been supported by the ANR, and two additional ones by the University of Artois.

ARgumentation tHeory And natural language ProceSSing fOr e-DemocracY Joint project with Prof. Mihai Surdeanu from the University of Arizona. The RHAPSSODY project proposes an automated reasoning framework that can extract, understand, and reason with complex arguments. The project is based on combining computational argumentation theory with natural language processing. The goal is to identify the most important arguments listed on debate platforms, estimate the acceptability degrees of these arguments using information mined from the web, and, using the totality of the arguments (those from the particular debate and those mined from the other web-sites), estimate the decision that will be taken.

Modern Approaches to Knowledge Compilation MAKC is an international research project (IRP) shared between the Automated Reasoning Group of the University of California at Los Angeles (UCLA) and the Centre de Recherche en Informatique de Lens (CRIL UMR 8188 CNRS - Artois University). It has been created in 2020 for five years and is funded by CNRS, the University of California and Artois University. The MAKC IRP is centered on knowledge compilation (KC) for problem solving.

Advanced data science and technologies Partners: INRIA, Université de Lille 1, Mines Douai, CNRS The DATA (Advanced data science and technologies) project of the Hauts-de-France CPER (State-Region Plan Contract) is carrying out a research program on the challenges of data and associated key digital technologies (cloud computing, big data and intensive computing) in strong synergy with the regional economic fabric. It revolves around three areas of research: Internet of Things, data and knowledge intelligence, high-performance computing and optimization.

Foundations of Trustworthy AI – Integrating Reasoning, Learning and Optimization TAILOR is an H2020 European project dedicated to trustworthy AI and funded by ICT-48-2020 ``Towards a vibrant European network of AI excellence centres’’ call. TAILOR brings together 55 European partners (industrial and academic). The purpose of TAILOR is to build the capacity of providing the scientific foundations for Trustworthy AI in Europe by developing a network of research excellence centres leveraging and combining learning, optimisation and reasoning.

Studying human compliance with argumentation principles: Creating a rational-based framework for overcoming polarisation This is a joint project with Belgrade University. This project is a collaboration between computer scientists and psychologists. We study the problem of polarization and conspiracy theories and aim to define a reasoning paradigm that can help humans be more rational when reasoning and discussing. More particularly, we use argumentation theory to structure how humans reason and decrease the chance of fallacies.

Produire des connaissances nouvelles en matière de justice juvénile et de santé mentale Le projet ERA vise à combler deux lacunes majeures dans les politiques publiques en faveur de la jeunesse au Sénégal : la justice juvénile et la santé mentale des jeunes. Toutes ces recherches sur la justice juvénile et la santé mentale des jeunes seront réalisées par une équipe pluridisciplinaire, composée de chercheurs (CNRS, IRD, ISED), de praticiens du droit et de la santé, d’une organisation de la société civile, l’Association Pour le Sourire d’un Enfant (APSE) et des acteurs du Ministère de la Justice du Sénégal.

Cryptanalyse algébrique pour la cryptographie post-quantum Projet en collaboration avec le MIS (porteur du projet) et le LIP6. Parmi les techniques bien établies en cryptanalyse, les attaques algébriques sont des méthodes permettant de décrire le schéma comme un système d’équations polynomiales, et par conséquent de réduire sa sécurité à la difficulté de résoudre le système associé. POSTCRYPTUM vise à concevoir des attaques algébriques efficaces, pour plusieurs classes de cryptosystèmes qui peuvent être modélisés comme un système polynomial binaire.

exPlications INTElligibles État de l’art Le projet proposé, baptisé pinte, concerne le thème « caractérisation et qualification de l’IA de confiance » et plus précisément les « méthodes et la métrologie de l’explicabilité ». Il s’inscrit dans un courant de recherche pour l’IA explicable, qui se développe en France et au niveau international, et dont l’origine repose sur un double constat : à tout prédicteur (en particulier, ceux de type « boîte noire » comme les réseaux de neurones ou les forêts aléatoires) on peut toujours associer un circuit (booléen ou arithmétique), une « boîte blanche » (ou « transparente ») qui a le même comportement que le prédicteur en terme d’entrées-sorties, tout en étant intrinsèquement plus simple, les tâches d’explication (possiblement contrefactuelles) des prédictions réalisées et de vérification du fonctionnement de la « boîte noire » peuvent être réalisées en s’appuyant sur la « boîte blanche » associée.

Contrat de collaboration avec Exakis-Nelite et Aéroport De Paris. Dans le cadre des travaux d’optimisation interne du Groupe Aéroport De Paris, il a été lancé une étude autour de la mise en place d’outils de prédiction et d’optimisation des ressources aéroportuaires, pour répondre à la forte fluctuation du trafic aérien. L’objectif principal de la collaboration est d’accompagner le Groupe ADP, avec le support d’Exakis Nelite, dans la mise en place d’un outil d’aide à la décision permettant de répondre aux exigences de dimensionnement macroscopique des ressources aéroportuaire conformément aux objectifs de performance du groupe.