CRIL - Centre de Recherche en Informatique de Lens


28 nov. 2024 Séminaire Séminaire de Damien SILEO - Inria, Lille - Improving large langauge models reasoning with adaptive formal reasoning datasets
21 nov. 2024 Séminaire Séminaire de Alexandre Dubray - UC Louvain - Modeling and Solving Probabilistic Inference Model with Projected Weighted Model Counting Computing probability from probabilistic models is a challenging problem, which is #P-Hard in general. One popular technique for solving such problems is to transform the model into a propositional formula in CNF form and then calculate the formula’s weighted number of models. However, classical encodings only partially translate the input models’ probabilistic features. For example, the distributions are transformed into clauses, but classical model counters do not use the fact that its values sum up to one.
7 nov. 2024 Séminaire Séminaire de Francine Monchau , Olivier Carpentier et Nabil HIHAT - LGI2A - - Analyse d’une chaine numérique pour développement de dispositifs médicaux implantables adaptatifs réalisés par fabrication additive. Avec le développement des techniques d’impression 3D et notamment celles utilisant des métaux, les dispositifs médicaux (DM) subissent de constantes évolutions. Si, par exemple, aujourd’hui réaliser un DM parfaitement personnalisé en titane est possible, les délais de conception ainsi que la difficulté à obtenir une image médicale 3D pour tous les cas cliniques rendent la personnalisation à grande échelle complexe à mettre en œuvre. Le projet BIP, financé par la région et par le programme de maturation de la SATT (Sociétés d’Accélération du Transfert de Technologies) sera présenté comme retour d’expérience.
9 oct. 2024 Séminaire Conférence Sébastien Konieczny (CRIL) – EurAI Fellow 2024 - Changement de croyances et états épistémiques Dans cet exposé nous discuterons de la théorie du changement de croyances, en particulier des opérateurs de révision itérée et leurs généralisations. Cette théorie s’intéresse aux opérateurs permettant de modifier les croyances d’un agent (exprimées par des formules logiques – dans cet exposé nous nous focaliserons sur le cas de la logique propositionnelle) lorsqu’il reçoit de nouvelles informations re-mettant en cause une partie de ses croyances. Nous rappellerons le cadre standard de la révision AGM (Alchourron-Gärdenfors-Makinson) et de la révision itérée (Darwiche-Pearl).
27 sept. 2024 Nouvelle Article sur les travaux de Sébastien Konieczny suite à sa nomination en tant qu'EurAI Fellow 2024 Le CNRS Sciences Informatiques vient de publier l’article « Permettre à l’IA de détecter la vérité malgré des sources contradictoires », qui présente les travaux de Sébastien Konieczny et sa nomination en tant qu’EurAI Fellow 2024.
5 sept. 2024 Séminaire Séminaire de Esteban Marquer - Loria, Nancy. - Operationalizing analogical proportions in embedding spaces using deep learning An analogical proportion (AP) is a relation between four elements A, B, C, and D meaning "A is to B as C is to D", often written as A:B::C:D. For example, "cat : kitten :: dog : puppy" and "cat : cats :: dog : dogs" are two APs between words. Notice that the relation between "cat" and "kitten" is a semantic one (i.e. on the meaning: "kitten" is a young "cat") while the one between "cat" and "cats" is morphological (i.
5 sept. 2024 Nouvelle Best Application Paper Award CP'24 La communication “Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production” par Duc Anh Le, Stephanie Roussel, Christophe Lecoutre et Anouck Chan a obtenu le Best Application Paper Award de la 30th International Conference on Principles and Practice of Constraint Programming (CP'24).
20 juin 2024 Séminaire Séminaire de Arthur Ledaguenel - IRT SystemX - Neural Classification Informed by Prior Knowledge Neurosymbolic artificial intelligence is a growing field of research aiming to combine neural networks learning capabilities with the reasoning abilities of symbolic systems. We introduce a formalism for supervised multi-label classification informed by prior knowledge. We build upon this formalism to re-frame three abstract neurosymbolic techniques based on probabilistic reasoning. We then evaluate experimentally and compare the benefits of all three techniques across model scales on several informed classification tasks. Finally, we discuss the computational complexity of probabilistic reasoning, which is of cardinal importance to assess the scalability of probabilistic neurosymbolic techniques.
11 juin 2024 Nouvelle Sébastien Konieczny nommé EurAI fellows Sébastien Konieczny, Directeur de Recherche au CRIL, a été nommé EurAI fellows 2024. Cette nomination récompense ses activités de recherche portant sur la fusion de croyances et la gestion de l’incohérence.
30 mai 2024 Recrutement Poste de PR 27e section 4453 - CRIL (Lens) - Université d'Artois Fiche détaillée du poste Recherche Le/la candidat(e) devra avoir développé des activités de recherches en intelligence artificielle, concernant un ou plusieurs axes du CRIL (données, connaissances, contraintes). Son projet de recherche devra rencontrer le projet de recherche de l’unité, autour de l’IA explicable et de l’IA au service d’autres disciplines. Enseignement L’enseignement se fera à l’IUT de Lens au sein du département Informatique. La/Le candidat(e) recruté(e) sera susceptible de prendre en charge ou de participer à l’ensemble des modules informatique proposés dans le programme pédagogique du BUT informatique en première année, deuxième année et troisième année, formation initiale ou par alternance.
16 mai 2024 Séminaire Séminaire de Harry Vinall-Smeeth, TU Ilmenau, Germany - Knowledge Compilation, Rectangles and Lower Bounds Knowledge compilation studies representations of Boolean formulas. An important task is to map out the pros and cons of various representations. In particular, we study the trade-off between the size of representations and the supported queries and transformations. In this talk, we focus on one method for proving lower bounds on representation size. This involves studying so-called combinatorial rectangles: an important concept from communication complexity. The talk will build up to discussing a recent result showing that structured d-DNNF does not support polynomial time negation.
4 avr. 2024 Séminaire Séminaire de Guillaume Lagarde : Université de Bordeaux, LaBRI - Scaling Neural Program Synthesis with Distribution-based Search In this talk, we will discuss the problem of automatically constructing computer programs from input-output examples, especially when the target language is domain-specific and defined using a context-free grammar. I will introduce a theoretical framework called distribution-based search, discuss its challenges, and present several search strategies based on learning the weights of a probabilistic context-free grammar (PCFG) and then using this PCFG to enumerate the most promising candidate programs efficiently. The presentation will be based on the following paper published at AAAI'2022: https://arxiv.
29 févr. 2024 Séminaire Séminaire de Vincent Derkinderen KU Leuven - ProbLog: Harnessing Knowledge Compilation for Probabilistic Inference in AI Probabilistic reasoning is a key aspect of artificial intelligence. In this talk we will look at probabilistic reasoning through the lens of ProbLog, a probabilistic logic programming language. This language extends the logical facts and rules of Prolog with probabilistic facts. Probabilistic reasoning in this language is achieved through knowledge compilation techniques. We will delve deeper into the details of this reasoning pipeline and highlight some of ProbLog’s extensions. In particular we consider DeepProbLog, which heavily benefits from inference through d-DNNF compilation.
22 févr. 2024 Séminaire Séminaire Emmanuel Lonca, CRIL. - Clustercril v2024: CRIL cluster, Slurm & good practices The CRIL cluster has been providing the laboratory’s researchers with computing resources since it was set up in 2009. Since then, the evolution of these resources has been continuous, leading to a heterogeneous architecture in which traditional computing nodes, nodes dedicated to distributed computing, GPU nodes and various servers to drive this computing power cohabit, all driven by the Slurm resource manager. The aim of this talk is to present the calculation tools available, and how to use them (correctly) via Slurm.
18 déc. 2023 Nouvelle Soutenances de thèses du 18 au 22 décembre 2023 Cette semaine, du lundi 18 au vendredi 22 décembre, sept thèses de doctorat vont être soutenues au CRIL. Lundi 18 décembre 10 heures : Steve Bellart, “Calcul d’explications formelles pour les modèles d’apprentissage automatique à ensemble d’arbres” 14 heures : Chouaib Fellah, “Fusion pondérée de bases de croyances” 15 heures : Anthony Blomme, “Explications pour les solveurs SAT” Mercredi 20 décembre 14 heures 30 : Sara Kebir, “Approches légères pour une solution de maison intelligente pour personnes âgées” Jeudi 21 décembre 10 heures : Thibault Falque, “Optimisation des flux passagers et de la gestion de ressources aéroportuaires via des techniques d’apprentissage automatique et de programmation par contrainte” Vendredi 22 décembre 14 heures : Louenas Bounia : “Modèles formels pour l’IA explicable et robuste” 15 heures : Astrid Klipfel : “Equivariant Message Passing Neural Networks and diffusion model for materials science”
14 déc. 2023 Séminaire Séminaire de Celine Hocquette, Oxford University, UK - Inductive learning of logic programs Inductive logic programming (ILP) is a form of program synthesis. The goal is to learn logic programs that generalise examples. ILP has attractive features such as strong data efficiency and high expressivity. The challenge lies in efficiently searching large hypothesis spaces. We present approaches to improve the learning performance of ILP systems, building on recent progress in constraint programming. We demonstrate the scalability of our approaches to complex problems involving noise or infinite numerical domains.
16 nov. 2023 Séminaire Séminaire de Khaled Belahcene, MICS, CentraleSupélec, Paris-Saclay University, France - Raisonnement et explications pour les modèles robustes de préférences redistributives Dans différents cadres de prise de décision, telle que la décision collective ou multicritère, il a été proposé de compléter les recommandations issues de systèmes d’aide à la décision par des explications fondées sur des propriétés normatives. Nous étudierons plus particulièrement le cas où les préférences (de la société ou du décideur) sont redistributives, dans le sens où elles favorisent le sort des plus mal lotis, et incomplètes, dans le sens où l’on ne fait pas l’hypothèse habituelle selon laquelle elles forment un préordre total sur les alternatives.
2 nov. 2023 Séminaire Séminaire de Quentin Manière, Department of Computer Science, ScaDS.AI, Leipzig University, Germany - Querying Circumscribed Description Logic Knowledge Bases Circumscription is one of the main approaches for defining non-monotonic description logics (DLs) and the decidability and complexity of traditional reasoning tasks, such as satisfiability of circumscribed DL knowledge bases (KBs), are well understood. For evaluating conjunctive queries (CQs) and unions thereof (UCQs), in contrast, not even decidability has been established. In our paper at KR this year, we prove decidability of (U)CQ evaluation on circumscribed DL KBs and obtain a rather complete picture of both the combined complexity and the data complexity for DLs ranging from ALCHIO via EL to various versions of DL-Lite.
12 oct. 2023 Séminaire Séminaire autour du projet MAIA - Présentation du projet MAIA Le Projet MAIA a pour objectif d’accompagner et d’approfondir les nouveaux usages qui apparaissent depuis quelques années dans de nombreux champs scientifiques suite à l’essor de l’intelligence artificielle. Le projet vise à étudier, développer et déployer les interactions fortes existant entre l’intelligence artificielle et trois domaines d’applications phares de l’alliance A2U : la santé (UPJV), la chimie (matériaux, énergie ; UPJV/UArtois) et l’environnement/mer (ULCO) ainsi que sur les aspects économiques, sociologiques, éthiques et juridiques.
5 oct. 2023 Recrutement Chercheur Post-Doctorant (H/F) en intelligence artificielle Postuler Durée du contrat : 24 mois Date d’embauche prévue : 1 novembre 2023 Missions Le/La condidat.e travaillera sur Intelligence Artificielle neuro-symbolique dans le cadre du projet ANR JCJC ERIANA. Les connaissances de sens commun jouent un rôle de plus en plus important dans le développement des systèmes d’IA. Les connaissances peuvent être exprimées à l’aide de différents formalismes de représentation, y compris des cadres symboliques et des représentations vectorielles, où chacun de ces formalismes a des forces et des faiblesses complémentaires lorsqu’il s’agit d’implémenter le raisonnement.
19 sept. 2023 Nouvelle La conférence ECSQARU'23 se tient à Arras du 19 au 22 septembre 2023 La dix-septième édition de la conférence ECSQARU (European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2023) se tient à Arras, du 19 au 22 septembre 2023. Elle est co-organisée par Zied Bouraoui, Saïd Jabbour et Srdjan Vesic, du CRIL.
14 sept. 2023 Nouvelle Le logiciel Crustabri s'illustre à ICCMA'23 Une équipe composée de Jean-Marie Lagniez (CRIL), Emmanuel Lonca (CRIL) et Jean-Guy Mailly (LIPADE) s’est distinguée lors de l’édition 2023 de l’International Competition on Computational Models of Argumentation (ICCMA'23) avec son logiciel Crustabri. En particulier, Crustabri s’est adjugé les meilleurs résultats dans la track principale en remportant 9 des 13 subtracks ainsi que dans la track dynamique en remportant l’ensemble des 3 subtracks.
17 juil. 2023 Séminaire Séminaire de Kuldeep Meel - University of Toronto - Distinct Elements in Streams: An Algorithm for the (Text) Book. Given a data stream of m elements, the Distinct Elements problem is to estimate the number of distinct elements in the stream. Distinct Elements has been a subject of theoretical and empirical investigations over the past four decades resulting in space-optimal algorithms for it. However, all the current state-of-the-art algorithms are often difficult to analyze or impractical. I will present a simple, intuitive, sampling-based space-efficient algorithm whose description and the proof are accessible to undergraduates with a knowledge of basic probability theory.
22 juin 2023 Séminaire Séminaire d'Emiliano Lorini - IRIT Toulouse - A Rule-based Modal View of Causal Reasoning The presentation is based on a paper that will be presented at IJCAI 2023. It introduces a novel rule-based semantics for causal reasoning as well as a number of modal languages interpreted over it. They enable us to represent some fundamental concepts in the theory of causality including causal necessity and possibility, interventionist conditionals and Lewisian conditionals. We provide complexity results for the satisfiability checking and model checking problem for these modal languages.
25 mai 2023 Séminaire Séminaire de Paulius Dilkas - Synthesising Recursive Functions for First-Order Model Counting First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this talk, I am going to argue that the capabilities of FOMC algorithms to date are limited by their inability to express many types of recursive computations. To enable such computations, we relax the restrictions that typically accompany domain recursion and generalise the circuits used to express a solution to an FOMC problem to directed graphs that may contain cycles.
11 mai 2023 Séminaire Séminaire de Daniel Le Berre - CRIL Univ Artois & CNRS - Logiciel de recherche : valorisation sous licence libre La loi sur la république numérique de 2016 et le second plan national de la science ouverte favorisent la diffusion du logiciel de recherche sous licence libre par défaut. La valorisation du logiciel dans ce cadre doit se faire en tenant compte de l’environnement spécifique du logiciel libre. Le choix de la licence est notamment important. Le mode de diffusion du logiciel aussi. Les formes de valorisation peuvent être variées. Le but de cet exposé est de présenter de bonnes pratiques pour favoriser la valorisation sous licence libre des logiciels de recherche.
4 mai 2023 Séminaire Séminaire de Sara Riva - Université de Bordeaux - Synthesis and Reprogramming of Boolean networks: a QBF problem Boolean networks (BNs) are discrete dynamical systems (DDSs) with applications to the modeling of cellular behaviors, such as cellular differentiation and fate decision processes. These models represent the long-term (i.e., fixed points and attractors) and the transient behaviors of the studied phenomena. The synthesis of Boolean networks aims to provide an automatic way of obtaining networks that satisfy the constraints derived from knowledge of the phenomenon. Usually, this knowledge consists of information on the structure of the interaction graph or on the possible states and transitions between the states of the system to be modeled.
26 avr. 2023 Recrutement Chaire de Professeur Junior (CPJ) : Maîtrise des applications de l'IA Un poste de Chaire de Professeur Junior (CPJ) est à pourvoir pour la rentrée 2023 à l’Université d’Artois, au sein du laboratoire CRIL, sur la thématique “Maîtrise des usages de Intelligence Artificielle”. La chaire proposée concerne la maîtrise des applications de l’IA et l’IA de confiance. Elle s’inscrit dans le cadre du projet PIA4 « Excellences » MAIA (Maîtrise des Applications de l’IA), dont l’université d’Artois a été lauréate en 2022 pour le site A2U (alliance des universités UArtois, ULCO, UPJV).
21 avr. 2023 Recrutement 4 postes d'ATER en informatique (section 27), à Lens 4 postes d’ATER en informatique (section 27) sont ouverts à Lens pour la rentrée 2023. 2 postes à l’IUT de Lens poste s27-2 (100%) poste s27-3 (100%) 2 postes à la faculté des sciences Jean Perrin : Poste s27 (100%) Poste s27-5 (100%) Les candidatures sont ouvertes sur ALTAIR jusqu’au 21 avril. Ces 4 postes d’ATER sont rattachés au CRIL pour la recherche.
6 avr. 2023 Séminaire Séminaire de Moncef Garouani - EILCO /ULCO University - LISIC Laboratory - Big industrial data mining through explainable automated machine learning Machine learning (ML) has penetrated all aspects of modern life, and brought more convenience and satisfaction for variables of interest. However, building such solutions is a time consuming and challenging process that requires highly technical expertise. This certainly engages many more people, not necessarily experts, to perform analytics tasks. While the selection and the parametrization of ML models require tedious episodes of trial and error. Additionally, domain experts often lack the expertise to apply advanced analytics.
30 mars 2023 Recrutement Deux postes de MCF 27e section - CRIL (Lens) - Université d'Artois Fiche de poste Galaxie 4416 Fiche de poste Galaxie 4417 Calendrier de la campagne de recrutement synchronisée 2023 Profil recherche des postes Le CRIL souhaite, par ces recrutements, renforcer ses axes de recherche, et en particulier l’axe “données” (apprentissage automatique / fouille de données) et l’axe “connaissances” de l’unité. Il ne s’agit que de coloriages thématiques : les candidatures de très bon niveau en dehors de ces coloriages (mais relevant de l’axe “contraintes” de l’unité et en phase avec son projet scientifique) ont toutes leurs chances.
23 mars 2023 Séminaire Séminaire de Chahrazed LABBA - Loria - Université de Lorraine - L’Apprentissage Centralisé et l’Apprentissage Distribué : Avantages à Saisir et Défis à Relever Le choix entre l’apprentissage machine centralisé ou distribué dépend des spécificités de chaque projet de machine learning. Alors que l’apprentissage centralisé est souvent plus simple et plus rapide à mettre en place, il peut être limité par la quantité de données disponibles et peut être coûteux en termes de ressources de stockage et de calcul. En revanche, l’apprentissage distribué, comme l’apprentissage fédéré, permet de traiter des données distribuées sur plusieurs appareils, ce qui peut être plus économique et améliorer la confidentialité des données, mais cela peut également introduire des défis liés à la coordination et à la qualité des données.
20 mars 2023 Séminaire Séminaire de Sami Cherif - Université d'Aix Marseille - Raisonnement et inférence pour la satisfiabilité (maximum) Au cœur de l’informatique et de l’intelligence artificielle, la logique est souvent utilisée comme un langage pour modéliser et résoudre des problèmes complexes issus du milieu académique ou d’applications industrielles. Un formalisme bien connu dans ce contexte est le problème de Satisfiabilité (SAT) qui vérifie simplement si une formule propositionnelle donnée sous la forme d’un ensemble de contraintes, appelées clauses, peut être satisfaite. Une extension naturelle de SAT en problème d’optimisation est la Satisfiabilité Maximum (Max-SAT), qui consiste à déterminer le nombre maximal de contraintes clausales pouvant être satisfaites dans la formule.
16 mars 2023 Séminaire Séminaire de Bruno YUN, University of Aberdeen, UK - Exploring Inverse Problems for Gradual Semantics in Argumentation Gradual semantics within abstract argumentation associate an acceptability score with every argument in a system, and from which a preference ordering over arguments can be derived. While some semantics operate over standard argumentation frameworks, many utilise a weighted framework, where a numeric initial weight is associated with each argument. Recent work has examined inverse problems for gradual semantics. For example: (i) Given an argumentation framework, a gradual semantics, and a preference ordering as inputs, what weights are needed over arguments in the framework to obtain the desired preference ordering?
16 mars 2023 Séminaire Séminaire de Wissem Inoubli, LORIA Lab, KIT - L'apprentissage de représentation de graphes : opportunités et défis Les graphes sont des structures de données puissantes qui peuvent représenter des relations et des interactions complexes entre des entités. Par conséquent, l’apprentissage de représentation des graphes a suscité une attention considérable ces dernières années en raison de son potentiel à permettre des prédictions, des recommandations et des prises de décision plus précises dans une variété de domaines. L’un des principaux avantages de l’apprentissage de la représentation de graphes est sa capacité à capturer les informations structurelles locales et globales ainsi que les informations sémantiques dans les graphes.
9 mars 2023 Séminaire Séminaire de Nejat Arinik - INRAE - Multiplicité dans le partitionnement de graphes signés Selon la théorie de l’équilibre structural, un graphe signé est structurellement équilibré s’il peut être partitionné en sous-groupes mutuellement hostiles (i.e. reliés seulement par des liens négatifs) tout en exhibant une solidarité interne (i.e. contenant uniquement des liens positifs). Mais un réseau réel (i.e. un graphe représentant un système du monde réel) est rarement parfaitement équilibré : on trouvera quelques liens positifs entre les groupes et/ou quelques liens négatifs à l’intérieur de certains groupes.
2 mars 2023 Séminaire Sémianire de Liana Ermakova - Université de Brest - SimpleText: Towards automatic simplification of scientific texts The general public tends to avoid reliable sources such as scientific literature due to their complex language and lacking background knowledge. Instead, they rely on shallow and derived sources on the web and in social media – often published for commercial or political incentives, rather than informational value. Can text simplification help to remove some of these access barriers? In this talk, I will present the CLEF 2023 SimpleText track tackling technical and evaluation challenges of scientific information access for a general audience.
16 févr. 2023 Séminaire Séminaire de Francesco Ricca - University of Calabria, Italy - Modeling and Solving Problems in the Polynomial Hierarchy with ASP(Q) Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems in NP in a compact and elegant way. However, modeling problems beyond NP with ASP is known to be complicated, on the one hand, and limited to problems in ΣP2 on the other. Inspired by the way Quantified Boolean Formulas extend SAT formulas to model problems beyond NP, we proposed an extension of ASP that introduces quantifiers over stable models of programs.
12 janv. 2023 Séminaire Séminaire de Pierre Monnin - Orange Lab - Knowledge graphs: construction, matching, and applications In the Web of data, an increasing number of knowledge graphs (KGs) are concurrently published, edited, and accessed by human and software agents. Their wide adoption makes key their construction, matching, and usage. KG construction can rely on knowledge extraction from various types of data (e.g., text, tables). Matching consists in identifying equivalent, more specific, or somewhat similar units within and across KGs. This task is crucial since concurrent publication and edition may result in coexisting and complementary KGs.
17 nov. 2022 Séminaire Séminaire de Zied Bouraoui - CRIL Univ Artois & CNRS - Inducing Commonsense Knowledge Using Vector Space Embeddings To be announced
10 nov. 2022 Séminaire Séminaire de Grégory Bonnet - MAD Team - GREYC - Normandie University - Intégration d'une éthique guidée par les valeurs dans les processus décisionnels de Markov Il s’agit d’un travail conjoint avec Nadjet Bourdache, Abdel-Illah Mouaddib et Mihail Stojanovski. Nous nous intéressons ici à la prise en compte de critères éthiques dans les problèmes de décision séquentielle mono-agents modélisés par des processus décisionnels de Markov. Sans prétendre à une universalité, nous représentons une morale explicite sous forme d’ensembles de valeurs promues ou trahies lors d’une décision et nous caractérisons différentes notions comme causer ou prévenir du mal ou du bien, inspirées du travail du philosophe Samuel Rickless.
7 oct. 2022 Nouvelle Pierre Marquis nommé AAIA Fellow Pierre Marquis vient d’être nommé Asia-Pacific Artificial Intelligence Association (AAIA) Fellow. La liste des AAIA Fellows est disponible sur le site de l’association.
6 oct. 2022 Séminaire Aide à la co-conception de produits complexes en aéronautique - Anouck Chan - ONERA - Toulouse La création de produits complexes comme un avion ou un satellite, implique non seulement la conception du produit lui-même, mais aussi celle de son moyen de production (comme son usine, ou plus particulièrement sa ligne d’assemblage). Cette nécessité de double conception est motivée par deux facteurs : (1) Les choix de design du produit conditionnent le moyen de production. Par exemple, le choix du matériau du fuselage d’un avion peut impliquer l’utilisation de machines spécifiques.
29 sept. 2022 Séminaire Explainability of possibilistic and fuzzy rule-based systems - Ismail Baaj - CRIL Today, advances in Artificial Intelligence (AI) have led to the emergence of systems that can automate complex processes, using models that can be difficult to understand by humans. When humans use these AI systems, it is well known that they want to understand their behaviors and actions, as they have more confidence in systems that can explain their choices, assumptions and reasoning. The explanatory capability of AI systems has become a user requirement, especially in human-risk environments such as autonomous vehicles or medicine.
20 juil. 2022 Nouvelle Prix du meilleur article étudiant IPMU'22 pour Sara Kebir Sara Kebir a obtenu le prix du meilleur article étudiant à IPMU'2022
13 juil. 2022 Nouvelle Projet MAIA lauréat de l'AAP PIA4 ExcellenceS Le projet MAIA lauréat de l'AAP "ExcellenceS sous toutes ses formes" du PIA4
13 juil. 2022 Nouvelle Papiers acceptés à IJCAI'22 7 papiers ont été acceptés à la conférence IJCAI (Vienne, 2022)
12 juil. 2022 Séminaire Hybrid AI Systems Grounded on Just−in−time Qualitative Spatio−Temporal Reasoning - Michail Sioutis - University of Bamberg I describe a research roadmap for going beyond the state of the art in AI, and Qualitative Spatial and Temporal Reasoning (QSTR) in particular, and building hybrid architectures for AI that involve also robust and dynamic symbolic computation. Simply put, QSTR is a major field of study in AI that abstracts from numerical quantities of space and time by using qualitative descriptions instead (e.g., precedes, contains, is left of), with applications in a plethora of areas and domains such as smart environments, intelligent vehicles, and unmanned aircraft systems.
7 juil. 2022 Séminaire Manthan: A Data-Driven Approach for Boolean Functional Synthesis. - Priyanka Golia - IIT Kanpur, Inde et NUS, Singapour Given a relational specification between Boolean inputs and outputs, the problem of Boolean functional synthesis is to construct each output as a function of the inputs such that the specification is met. Synthesizing Boolean functions is one of the challenging problems in Computer Science. It has seen multiple proposals, including incremental determination, decomposition techniques from knowledge compilation, and counterexample guided refinement techniques via self-substitutions. In this talk, we will discuss Manthan, a novel data-driven approach for Boolean functional synthesis.
7 juil. 2022 Séminaire Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. - Nicolas Schwind - AIST Tokyo Team formation is the problem of deploying the least expensive team of agents while covering a set of skills. Once a team has been formed, some of the agents considered at start may be finally defective and some skills may become uncovered… I will first recall two solution concepts that have been recently introduced to deal with this issue in a proactive manner: one may form a team which is robust to changes so that after some agent losses, all skills remain covered; or one may opt for a recoverable team, i.
9 juin 2022 Séminaire A tutorial on enumeration complexity: defining traceability - Yann Strozecki We review the different ways tractability is defined in enumeration using as complexity measure total time, incremental time, delay and space. We present the associated complexity classes and show how they relate. The focus is on understanding incremental polynomial time and polynomial delay and the typical algorithms with this complexity. We also briefly present low complexity classes and some possible alternative to exhaustive enumeration.
12 mai 2022 Séminaire Knowledge-Based Profile Dynamics - Eduardo Fermé - University of Madeira In the last two decades, user profiles have been used in several areas of information technology. In the literature, the vast majority of research works, and systems focus on the creation of profiles (using Data Mining techniques based on user navigation history) and their dynamics are made by means of systematic recreation of the profiles, without using the last used profile. In this talk we propose to formalize the creation, representation, and dynamics of profiles in a Knowledge-Driven perspective.
14 avr. 2022 Séminaire Production de connaissances compréhensibles et sémantiquement riches à partir de données distribuées, connectées et fortement hétérogènes. - Salma SASSI - Université de Jendouba, Tunisie Les systèmes d’information des entreprises actuelles sont de plus en plus " submergés " par des données distribuées, connectées et de tous types (structurées, semi-structurées et non structurées). Cette croissance et « Big Data », ont transformé́ tous les aspects de l’entreprise et de la société́ actuelle, et ont créé de nouveaux défis pour les entreprises et pour la communauté scientifique, parmi lesquels comment comprendre et analyser de telles masses de données afin d’en extraire des connaissances sémantiquement riches.
14 avr. 2022 Séminaire Quantum Machine Learning - Kaoutar Benlamine Quantum Machine Learning is on the borderline between quantum computing and machine learning and deals with data processing in very large dimensions. It is a new area of study with the recent work on quantum versions of supervised and unsupervised algorithms. In this presentation, I will start by giving an overview of the general concepts of machine learning as well as the quantum computation, then I will show my contributions concerning the quantum one model clustering and multi model clustering.
7 avr. 2022 Séminaire Apprentissage de représentations profondes sur graphes pour l'analyse de données complexes - Akrem Sellami L’apprentissage profond sur les graphes, et plus généralement sur les données structurées non-euclidiennes, est récemment devenu un sujet principal dans le domaine de l’apprentissage automatique, avec de nombreuses applications dans la classification d’images, la détection de communautés, les systèmes de recommandation, le traitement du langage naturel, la classification des molécules, la prédiction d’interface protéique, la chimie quantique, épidémiologie….. etc. En particulier, les modèles profonds tels que les réseaux de neurones sur graphes (Graph Neural Networks) sont devenus des outils très populaires, avec leurs succès dans nombreuses applications.
7 avr. 2022 Séminaire Guider l'intuition en mathématiques grâce à l'IA - Guillaume Bressan - ENS L’émergence d’un théorème en mathématiques est généralement précédée d’une phase d’observation de la part du mathématicien. Son travail d’observation consiste alors à trouver des corrélations entres les différents aspects des objets qu’il manipule pour en déduire des formules. Le papier présenté pendant ce séminaire décrit comment l’on peut mettre la main sur ce genre de corrélations de façon automatique grâce à des algorithmes de deep learning. L’IA permet alors d’étendre le champ des observations possibles et de guider les yeux du mathématicien dans son travail de recherche.
31 mars 2022 Séminaire Regionalized optimisation and message passing algorithms - Grégoire Sergeant We will explain how, motivated by the study of the General Belief Propagation algorithm, which is known to solve variational inference under constraints on the marginal of probability distributions (minimization of Bethe Free Energy), we can define a theoretical framework for a whole new class of optimisation problems built by gluing together local optimization problems. We will show that critical points of these optimization problems are fix points of new message passing algorithms.
31 mars 2022 Recrutement Un poste de MCF 27e section - CRIL (Lens) - Université d'Artois Fiche de poste Galaxie 4385 Calendrier de la campagne de recrutement synchronisée 2022 Profil recherche du poste Le CRIL souhaite, par ce recrutement, renforcer son ouverture sur le thème des données, et particulièrement de l’apprentissage automatique et/ou de la fouille de données. Les projets de recherche des candidats et candidates devront s’inscrire dans ces thématiques. Une expérience post-doctorale est attendue. Les candidatures féminines sont fortement encouragées. Pour être recruté(e), la qualité du dossier scientifique du candidat ou de la candidate sera primordiale.
24 mars 2022 Séminaire Applications of Stochastic Processes and Machine Learning - Abdelrahman EID - IMT Nord Europe Markov chain Monte Carlo (MCMC) algorithms have played a significant role in Statistics, Physics and Computing science over the last two decades. Among the large class of these sampling algorithms, the Metropolis algorithm is found among the ten algorithms which have the greatest influence on the development of science and engineering in the 20th century (Beichl and Sullivan, 2000). We first present some of the applications of MCMC for graphs and networks sampling where mathematical proofs and simulations will be introduced.
17 mars 2022 Séminaire Ludii: Un nouveau souffle pour le General Game Playing - Eric Piette - Maastricht University Le General Game Playing (GGP) a pour objectif de concevoir des techniques d’Intelligence Artificielle capable de jouer à un ensemble de jeux conséquent plutôt qu’être dédié à un jeu particulier. Ce domaine a connu un essor important pendant près de 15 ans à l’aide du Game Description Language (GDL) issu des travaux du Stanford Logic Group. Ce langage est à la source de nombreux travaux sur les techniques de résolutions de jeux comme le bien connu Monte Carlo Tree Search (MCTS).
10 mars 2022 Séminaire Éléments d’informatique quantique - Mouny Samy Modeliar Depuis les années 90, des algorithmes comme celui de Peter Shor [Shor, 1997] ont permis de réaliser le gain substantiel que représenterait la réalisation d’un ordinateur quantique. Dès lors, de grandes entreprises et certains états ont mobilisé de nombreux moyens pour y parvenir. Parallèlement, une recherche très active se développe dans cette éventualité. Tour à tour, les différentes communautés scientifiques s’emparent de ces outils. La communauté RO organise des écoles d’été en lien avec de nouveaux masters (Sorbonne, Master parcours IQ), des liens très forts sont développés en géométrie algébrique [Jaffali, 2020] et des articles comme celui de Montanaro sur le backtracking quantique [Montanaro, 2016] amènent la réflexion à maturité, notamment pour SAT et CSP.
10 mars 2022 Nouvelle 9èmes journées MAFTEC au CRIL Les 9èmes journées du groupe de travail du GdR IA sur la planification Multi-Agent, Flexible, Temporelle, Épistémique et Contingente (MAFTEC) auront lieu au CRIL à Lens du 8 au 10 mars 2022.
24 févr. 2022 Séminaire Vers des Classifieurs d'images Ontologiquement Explicables - Mourad Bouneffa, Grégory Bourguin, Arnaud Lewandowski et Adeel Ahmad - LISIC, Université du Littoral Côte d'Opale Depuis presque deux ans l’équipe SysReIC du LISIC a entrepris des travaux de recherche concernant la problématique de l’eXplicabilité des IA avec une approche orientée vers la prise en compte de la terminologie des utilisateurs qui sont souvent des experts d’un domaine donné. Issus des domaines du Génie Logiciel (GL), des Interactions Homme-Machine (IHM) et de l’Ingénierie des Connaissances (IC), les membres de l’équipe SysReIC ont adopté une démarche de mise en œuvre de l’explicabilité mobilisant les savoir-faire et connaissances acquis dans leurs domaines d’origine.
25 janv. 2022 Nouvelle Evolution de la structure en axes du CRIL La structure du CRIL évolue pour passer de deux axes à trois axes. Un nouvel axe centré sur la notion de données est créé. Les deux axes historiques du laboratoire centrés sur les notions de connaissances et de contraintes sont conservés.
9 déc. 2021 Séminaire Enjeux liés aux ressources termino-ontologiques en santé - Fleur Mougin - Université de Bordeaux On recense un nombre important de ressources termino-ontologiques (RTOs ) en santé, qui sont non seulement volumineuses mais aussi de différents types (classifications, thésaurus, ontologies…). Dans ce séminaire, je décrirai les enjeux liés à l’utilisation des RTOs en santé et j’aborderai plus précisément trois problématiques : l’évaluation de la qualité des RTOs biomédicales, leur interopérabilité sémantique et la conception de nouvelles RTOs.
25 nov. 2021 Séminaire Deep learning appliqué à la génération de matériaux - Arthur Klipfel - Univ Artois La recherche et développement est un processus particulièrement long et coûteux en science des matériaux. Pour pouvoir l’accélérer, le machine learning est déjà très utilisé pour des tâches de modélisation et de génération. Cependant, même si les techniques utilisant des réseaux de neurones profonds ont déjà fait la preuve de leurs capacités pour les problèmes de classifications en chimie, peu de modèles génératifs convaincants existent. Mais quelles sont les contraintes spécifiques de la génération de matériaux?
4 nov. 2021 Séminaire Learning the structure of Bayesian Networks using constraint programming - George Katsirelos - MIAT INRA Bayesian networks are probabilistic graphical models with a wide range of application areas including gene regulatory networks inference, risk analysis and image processing. Learning the structure of a Bayesian network (BNSL) from discrete data is known to be an NP-hard task. In this talk, I will present some recent work on attacking this problem by combining techniques from constraint programming and integer programming. I will show that a subclass of violated inequalities from a well known exponentially large formulation of the problem can be detected efficiently and the resulting LP solved approximately, all using techniques derived from constraint programming.
21 oct. 2021 Séminaire Clustercril v2022 : présentation de la nouvelle architecture et de Slurm - Emmanuel Lonca - CRIL, Univ Artois & CNRS Le cluster du CRIL met à disposition des chercheurs du laboratoire des moyens de calcul depuis sa mise en place en 2009. L’évolution de ces moyens est continue depuis lors, aboutissant à une architecture hétérogène dans laquelle cohabitent des nœuds de calcul traditionnels, des nœuds dédiés au calcul distribué, des nœuds GPU, ainsi que différents serveurs permettant d’animer cette puissance de calcul. Cette évolution matérielle, ainsi que celle en terme d’offre logicielle, nécessitent une refonte du cluster dans une mesure qui n’a pas été atteinte depuis 2013.
24 juil. 2021 Nouvelle Gilles Audemard reçoit le prix de la conférence CAV Gilles Audemard a reçu avec 20 autres chercheurs ce vendredi 23 juillet le prix de la conférence internationale Computer-Aided Verification pour ses contributions aux travaux fondateurs théoriques et pratiques sur le problème de la cohérence modulo une théorie (SMT). Voir l’annonce complète (en anglais).
19 juil. 2021 Nouvelle Le CRIL lauréat d'un appel à manifestation d'intérêt de Confiance.ai Les partenaires du programme Confiance.ai ont souhaité associer la communauté de recherche académique, en complément des laboratoires et instituts déjà présents en leur sein (Inria, CEA, IRT Saint-Exupéry, IRT SystemX), à la résolution de ses défis scientifiques et technologiques. Pour cela, un appel à manifestation d’intérêt a été publié fin 2020 à destination des laboratoires académiques. Les lauréats de cet AMI ont été dévoilés fin juin. Le CRIL fait partie de ces lauréats, dans le cadre du projet “Explications intelligibles”.
17 juin 2021 Séminaire A Simple Framework for Cognitive Planning - Frédéric Maris - IRIT Toulouse We present a novel approach to cognitive planning, i.e., an agent’s planning aimed at changing the cognitive attitudes of another agent including her beliefs and intentions. We encode the cognitive planning problem in an epistemic logic with a semantics exploiting belief bases. We study a NP-fragment of the logic whose satisfiability problem is reduced to SAT. We provide complexity results for the cognitive planning problem. Moreover, we illustrate its potential for applications in human-machine interaction in which an artificial agent is expected to interact with a human agent through dialogue and to persuade the human to behave in a certain way.
22 avr. 2021 Nouvelle Romain Wallon obtient un accessit au prix de thèse IA 2021 de l'AFIA Romain Wallon, qui a fait sa thèse au CRIL sous la direction de Daniel Le Berre, Pierre Marquis et Stefan Mengel, vient d’obtenir un accessit au prix de thèse IA 2021 de l’Association Française d’Intelligence Artificielle. https://afia.asso.fr/breves-davril-2021/ L’AFIA propose chaque année de participer au prix de Thèse en Intelligence Artificielle, pour faire connaître et reconnaître les meilleurs travaux de recherche des jeunes chercheurs de la discipline.
11 mars 2021 Séminaire Baby Description Logic - Ivan Varzinczak This talk will give a brief introduction to formal ontologies, description logics and their applications.
3 mars 2021 Recrutement Learning concept representations from few examples for NLP systems The CRIL (CNRS & Artois University) invites applications for an M2 Research internship of 6 months. It will focus on learning concept representations from few examples for NLP systems. Start date: April 1st, 2021. Deadline for applications: March 15th, 2021. Keywords: Natural language processing, learning concept representation, few-shot learning More details are available at : http://www.cril.univ-artois.fr/~bouraoui/advert/stageM2_morgan.pdf For any information or application please contact Zied Bouraoui ([email protected])
26 févr. 2021 Recrutement Post-doc Position (H/F) - Chaire IA BE4musIA (Belief Change for Multi-Source Information Analysis) - 2 ans Nous proposons un poste de post-doc en intelligence artificielle. Ce poste s’inscrira dans le cadre de la Chaire IA BE4musIA (Belief change for multi-source information analysis), dont le but est d’étudier les outils provenant de la théorie du changement de croyances, et plus généralement du domaine de la représentation des connaissances et du raisonnement, afin d’améliorer l’analyse des informations multi-sources. Postuler Profil recherché Nous encourageons toutes les candidatures de collègues ayant des compétences en lien avec une des thématique du projet.
26 févr. 2021 Recrutement 2 postes de MCF 27e section - CRIL (Lens) - Université d'Artois Fiche de poste Galaxie 4358 Fiche de poste Galaxie 4359 Profil recherche des postes Le CRIL souhaite, par ces recrutements, renforcer son ouverture sur les thèmes de son projet scientifique pour le contrat en cours. Les recrutements pourront concerner l’un ou l’autre de ses deux axes : représentation des connaissances et des raisonnements, algorithmes pour l’inférence et contraintes. Les projets de recherche des candidat.e.s devront s’inscrire dans les thèmes du projet de recherche développé aujourd’hui au CRIL, et concerner, par exemple, un des sujets suivants : l’explication, la vérification, l’apprentissage, l’inférence.
18 févr. 2021 Séminaire Prédiction automatique de constante d'association avec une cyclodextrine : résultats préliminaires - Tahil Gökhan On s’intéresse dans ce travail à prédire la constante d’association entre deux molécules, une molécule appelée « hôte », l’autre appelée « invité ». La constante d’association représente la « robustesse » de l’assemblage des deux molécules. On s’intéresse pour l’hôte à une famille de molécules particulières, les cyclodextrines (qui ont une cavité caractéristique). Cette constante peut être déterminée de diverses manières, par modélisation à partir de la géométrie des molécules, ou de manière expérimentale.
22 janv. 2021 Nouvelle Eric Grégoire nommé membre d'honneur de la SIF Eric Grégoire, professeur des universités à l’Université d’Artois, fondateur du CRIL qu’il a dirigé jusqu’en septembre 2018, et à l’origine du développement de la filière informatique à l’université d’Artois, vient d’être nommé membre d’honneur de la Société Informatique de France (SIF). https://www.societe-informatique-de-france.fr/2021-membres-dhonneur/ La Société informatique de France distingue chaque année des personnalités pour leur engagement dans la promotion de la discipline Informatique, que ce soit dans la société, l’enseignement, la recherche ou l’industrie.
23 oct. 2020 Nouvelle Présentation du CRIL dans le numéro 2 du magazine ActuIA Une présentation du CRIL en deux pages apparaît dans le numéro 2 du magazine ActuIA (www.actuia.com). Ce numéro est actuellement en kiosque.
1 oct. 2020 Séminaire Probabilistic Graphical Models and Marginal Estimation. - Olivier Peltre Graphical models capture structural assumptions about a high dimensional probability distribution, and occur in the context of statistical thermodynamics, telecommunications (decoding) and artificial intelligence. The global probability is assumed to factorise as a product of local functions, conviently represented as nodes in a so-called factor graph. The first part of this talk will introduce the basic concepts of statistical physics and their application to Boltzmann machines. In particular, working at the level of energies (i.
24 sept. 2020 Séminaire METRICS: rEproducible sofTware peRformance analysIs in perfeCt Simplicity - Thibault FALQUE, Romain WALLON, Hugues Wattez Ces deux exposés consisteront en un tutoriel présentant l’utilisation de l’outil d’analyse de résultats METRICS. Pour cela nous pourrons partir directement de vos outputs d’XP pour les analyser en live ! METRICS s’adaptera à vous ! Si vous n’en avez pas, nous pourrons partir des résultats de SAT2020. Concernant les pré-requis il est important d’avoir Python 3.8 sur sa machine ainsi que Jupyter.
17 sept. 2020 Séminaire METRICS: rEproducible sofTware peRformance analysIs in perfeCt Simplicity - Thibault FALQUE, Romain WALLON, Hugues Wattez Ces deux exposés consisteront en un tutoriel présentant l’utilisation de l’outil d’analyse de résultats METRICS. Pour cela nous pourrons partir directement de vos outputs d’XP pour les analyser en live ! METRICS s’adaptera à vous ! Si vous n’en avez pas, nous pourrons partir des résultats de SAT2020. Concernant les pré-requis il est important d’avoir Python 3.8 sur sa machine ainsi que Jupyter.
31 août 2020 Nouvelle Un article co-écrit par des membres du CRIL distingué à ECAI'2020 L'article de Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis et Valentin Montmirail intitulé Consolidating Modal Knowledge Bases a été distingué à ECAI'2020.
18 juin 2020 Nouvelle Stefan Mengel reçoit un ACM SIGMOD Research Highlight Award Stefan Mengel et ses co-auteurs viennent de recevoir un ACM SIGMOD Research Highlight Award lors de la conférence PODS 20 pour une version étendue de leur article ICDT 2019.
29 mai 2020 Nouvelle D’un laboratoire universitaire à 40 millions d’utilisateurs, l’aventure d’un logiciel libre Dans cet article publié par "The Conversation", Daniel Le Berre revient sur l'intégration du logiciel libre Sat4j par Eclipse.
28 mai 2020 Nouvelle Parution des trois volumes A Guided Tour of Artificial Intelligence Research Les 3 volumes de A Guided Tour of Artificial Intelligence Research viennent de paraître chez Springer
28 mai 2020 Nouvelle Parution de « l’Intelligence Artificielle : de quoi s’agit-il vraiment ? » Le GDR IA du CNRS, sous la co-coordination de notre collègue Sébastien KONIECZNY et de Henri PRADE, a dirigé la rédaction d’un livret de 100 pages contribuant à la vulgarisation scientifique de l’intelligence artificielle.
17 mai 2020 Nouvelle Papiers acceptés à IJCAI'20 8 papiers ont été acceptés à la conférence IJCAI (Yokohama, 2020)
29 avr. 2020 Nouvelle L'université d'Artois lauréate de cinq financements « contrats doctoraux en IA » de l'ANR L’ANR vient de dévoiler les lauréats de l’appel à programmes « contrats doctoraux en IA ». Le programme Vivah de l’université d’Artois s’intègre dans le cadre d’une politique de recherche sur l’IA qui a été développée depuis plus de 25 ans (notamment, au sein du CRIL), et qui a conduit, au sein de l’établissement, à la création du domaine d’intérêt majeur (DIM) « Intelligence Artificielle ». Le programme inclut :
13 mars 2020 Nouvelle Le projet H2020 TAILOR de réseau d’excellence européen en IA accepté Le CRIL fait partie des quelques partenaires français du projet H2020 appelé TAILOR, monté par la confédération européenne CLAIRE de laboratoires de recherche en IA et proposé en réponse à l’appel ICT-48 RIA ‘‘Proposal on the Foundations of Trustworthy AI", visant à bâtir un réseau d’excellence européen en IA. TAILOR est l’acronyme de “Trustworthy AI Integrating Learning, Optimisation and Reasoning”. Le projet qui vient d’être accepté, regroupe 55 partenaires (universités, centres de recherche, partenaires industriels) issus d’un large ensemble de pays à travers l’Europe.
28 févr. 2020 Recrutement Poste de PR 27e section 4338 - CRIL (Lens) - Université d'Artois Profil recherche du poste le CRIL souhaite, par ce recrutement, renforcer ses activités sur des thèmes forts du laboratoire, dans l’un ou l’autre de ses deux axes : représentation des connaissances et des raisonnements, algorithmes pour l’inférence et contraintes. Les profils recherche des candidat.e.s devront donc être centrés sur les sujets de recherche développés aujourd’hui au CRIL, et concerner au moins un des sujets suivants : les logiques modales et de description, le raisonnement non monotone et dans l’incertain, l’argumentation, la fouille de données à base de contraintes, la résolution de problèmes ‘’Beyond NP’’ et la compilation de connaissances.
28 févr. 2020 Recrutement Poste de PR 27e section 4337 - CRIL (Lens) - Université d'Artois Profil recherche du poste le CRIL souhaite, par ce recrutement, renforcer ses activités sur des thèmes forts du laboratoire, dans l’un ou l’autre de ses deux axes : représentation des connaissances et des raisonnements, algorithmes pour l’inférence et contraintes. Les profils recherche des candidat.e.s devront donc être centrés sur les sujets de recherche développés aujourd’hui au CRIL, et concerner au moins un des sujets suivants : les logiques modales et de description, le raisonnement non monotone et dans l’incertain, l’argumentation, la fouille de données à base de contraintes, la résolution de problèmes ‘’Beyond NP’’ et la compilation de connaissances.
19 févr. 2020 Séminaire Iterative Voting with Social Networks and Public Opinion Polls - Anaëlle Wilczynski - TU München This talk deals with strategic voting under incomplete information where agents can iteratively change their voting intention, based on the information they receive from their environment. We propose a descriptive model, inspired by political elections, where the information that the agents receive comes from public opinion polls and social networks. The voters are assumed to be confident in the poll and they update the results communicated by the polling agency with the information they get from their relatives in the social network.
23 janv. 2020 Séminaire How to define gradual semantics for weighted argumentation graphs? - Dragan Doder - Utrecht University Argumentation is a reasoning approach based on the justification of claims by arguments. It has been used for solving different Artificial Intelligence problems, including decision making, reasoning with defeasible information and classification. An argumentation framework is a directed graph, in which the nodes represent arguments, and the edges represent attacks between pairs of arguments. Gradual semantics are methods of evaluating arguments in graphs, that assign to each argument a numerical value, representing its strength.
16 déc. 2019 Nouvelle Le CRIL lauréat de deux chaires en IA de l'ANR L’ANR vient de dévoiler les lauréats de l’appel à projets « Chaires de recherche et d’enseignement en intelligence artificielle ». Sur 40 chaires financées, le CRIL obtient le financement de deux projets : BE4musSIA BElief change FOR better MUlti-Source Information Analysis porté par Sébastien Konieczny EXPEKCTATION EXPlainable artificial intelligence: a KnowlEdge CompilaTion FoundATION porté par Pierre Marquis. Ces deux chaires sont complétées au niveau de l’université d’Artois par la chaire « Responsible AI » portée par Nathalie Nevejans et à laquelle participent des membres du CRIL.
13 déc. 2019 Séminaire Satisfiabilité propositionnelle et théorie des graphes - Soutenance de thèse - Yazid Boumarafi Le problème de cohérence en logique propositionnelle (SAT) consiste à déterminer s’il existe une interprétation booléenne d’une formule propositionnelle donnée la rendant vraie. Il est l’un des problèmes centraux en théorie de la complexité et en informatique de manière générale. Étant un problème NP-complet, plusieurs classes traitables de ce problème ont été identifiées dans la littérature (Horn, Horn-renommable, Krom, etc). Une classe traitable d’un problème peut être vue comme une partie des entrées possibles pour laquelle le problème peut être résolu par une procédure s’exécutant en temps polynomial.
11 déc. 2019 Séminaire Hybridation de techniques d’apprentissage de clauses en programmation par contraintes - Soutenance de thèse - Gael Glorian Cette thèse s’inscrit dans le domaine de la programmation par contraintes (CP), un des paradigmes les plus efficaces pour résoudre de nombreux problèmes (de nature combinatoire) en IA. Nous nous sommes intéressés à l’amélioration des techniques de résolution CSP (problème de satisfaction de contraintes), notamment dans un contexte hybride en utilisant la puissance des moteurs d’inférence SAT (problème de satisfaction booléenne). Nous avons ainsi développé plusieurs techniques concernant l’analyse de conflits afin d’extraire des informations utiles pour la résolution, grâce à une analyse fine suivie d’une forme d’apprentissage.
28 nov. 2019 Séminaire Dynamic epistemic logic for distributed computing - asynchrony and concurrency - Hans van ditmarsch We will present some recent work on asynchrony and concurrency in dynamic epistemic logics (DEL), building on foundations in distributed computing and temporal epistemic logics. Asynchrony can be modelled by reasoning over histories of actions of different length. How to do this in DEL was proposed by [Dégremont, Löwe, Witzel: TARK 2011]. By equivalence relations on protocol-generated forests along different depths of trees, they can identify action histories of different length.
27 nov. 2019 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 ».
26 nov. 2019 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 :
21 nov. 2019 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.
24 oct. 2019 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.
17 oct. 2019 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é.
3 oct. 2019 Séminaire General Game Playing : que peut apporter la Programmation Par Contraintes ? - Cédric Piette Depuis la présentation du Game Description Language (GDL) en 2005, puis de ses extensions, de nombreux "programmes-joueurs" ont été proposés. Contrairement aux algorithmes dédiés, conçus pour un jeu donné, ceux-ci visent à être capables de jouer à n’importe quel jeu codé en GDL, sans expertise préalable ni technologie dédiée à un jeu particulier. Les meilleurs programmes-joueurs mondiaux utilisent une technique appelée Monte Carlo Tree Search (MCTS), qui est une approche heuristique basée sur un échantillonnage aléatoire des états atteignables dans un jeu.
13 juin 2019 Nouvelle Papiers acceptés à IJCAI'19 3 papiers ont été acceptés à la conférence IJCAI (Macao, 2019)
16 mai 2019 Séminaire La logique de typicité propositionnelle - Ivan Varzinczak - CRIL CNRS & Univ Artois Dans cet exposé, je présenterai la logique de typicité propositionnelle PTL. Cette logique enrichît la logique propositionnelle classique avec un opérateur unaire permettant de représenter de façon explicite une notion de typicité d’une formule. L’intuition derrière cet opérateur est de capturer les situations les plus typiques (ou normales, ou conventionnelles, en fonction de l’application en question) où une formule donnée est vraie. La sémantique de PTL est en termes de modèles préférentiels, plus précisément les modèles modulaires, étudiés dans l’approche KLM pour le raisonnement non monotone.
9 mai 2019 Séminaire Trust-sensitive Belief Revision - Richard Booth - Cardiff University, UK Belief revision is concerned with incorporating new information into a pre-existing set of beliefs. When the new information comes from another agent, we must first determine if that agent should be trusted. In this talk, we define trust as a pre-processing step before revision. We emphasise that trust in an agent is often restricted to a particular domain of expertise. We demonstrate that this form of trust can be captured by associating a state partition with each agent, then relativising all reports to this partition before revising.
2 mai 2019 Séminaire Beyond NP Revolution - Kuldeep Meel - National University of Singapore The paradigmatic NP-complete problem of Boolean satisfiability (SAT) solving is a central problem in Computer Science. While the mention of SAT can be traced to early 19th century, efforts to develop practically successful SAT solvers go back to 1950s. The past 20 years have witnessed a "NP revolution" with the development of conflict-driven clause-learning (CDCL) SAT solvers. Such solvers combine a classical backtracking search with a rich set of effective heuristics.
25 avr. 2019 Séminaire A Gentle Introduction to Communication Complexity - Stefan Mengel Communication complexity is a classical subarea of theoretical computer science that is however not very well known in other parts of computer science. It studies basic questions on the communication costs when solving computational problems. There are many applications, e.g. in chip design, distributed algorithms and, more interestingly for AI researchers, in knowledge compilation. Here I will give a very gentle introduction into some of the basic concepts of communication complexity.
18 avr. 2019 Séminaire Imprecise probabilities in supervised learning: principles and challenges - Sébastien Destercke Iin this talk, we will first introduce and motivate the verybasic principles of imprecise probabilistic (IP) approaches, that replace precise-valued probabilities and expectations by bounded intervals. The talk will then focus on the use of IP in supervised classification, using the extension of the naive Bayes classifier as an illustration. Finally, we will briefly mention some challenges concerning the application of IP to supervised learning over combinatorial domains.
15 avr. 2019 Recrutement 4,5 postes d'ATER en informatique (section 27), à Lens 4,5 postes d’ATER en informatique (section 27) sont ouverts à Lens pour la rentrée 2019. 2 postes à l’IUT de Lens poste 1 (100%) poste 2 (100%) 2,5 postes à la faculté des sciences Jean Perrin : Poste 3 (100%) Poste 4 (50%) Poste 5 (100%) Les candidatures sont ouvertes sur ALTAIR jusqu’au 30 avril. Ces 4,5 postes d’ATER sont rattachés au CRIL pour la recherche.
28 mars 2019 Séminaire Introduction au réseaux de neurones profonds : keep calm and do gradient descent. - Jean-Baptiste Gouray Ces deux exposés consisteront en des travaux pratiques en jupyter notebook (python). L’idée est de comprendre sur un exemple très concret le fonctionnement et l’apprentissage d’un neurone. C’est pourquoi nous coderons la régression linéaire et l’algorithme de descente de gradient. Experts s’abstenir. N’oubliez pas d’installer jupyter sur votre portable. N’hésitez pas à nous contacter pour toute question ([email protected] et [email protected]).
21 mars 2019 Séminaire Learning Tractable Probabilistic Models in Open Worlds - Amélie Levray Large-scale probabilistic representations, including statistical knowledge bases and graphical models, are increasingly in demand. They are built by mining massive sources of structured and unstructured data, the latter often derived from natural language processing techniques. The very nature of the enterprise makes the extracted representations probabilistic. In particular, inducing relations and facts from noisy and incomplete sources via statistical machine learning models means that the labels are either already probabilistic, or that probabilities approximate confidence.
21 mars 2019 Séminaire Introduction au réseaux de neurones profonds : keep calm and do gradient descent. - Jean-Baptiste Gouray Ces deux exposés consisteront en des travaux pratiques en jupyter notebook (python). L’idée est de comprendre sur un exemple très concret le fonctionnement et l’apprentissage d’un neurone. C’est pourquoi nous coderons la régression linéaire et l’algorithme de descente de gradient. Experts s’abstenir. N’oubliez pas d’installer jupyter sur votre portable. N’hésitez pas à nous contacter pour toute question ([email protected] et [email protected]).
14 mars 2019 Séminaire Explainable DRAT⋆ Recovering Constraints Hidden in Refutations - Valentin Montmirail SAT solvers are efficient enough to deal with real-world applications and are able to deal with instances of hundreds of millions of variables and clauses. They are also able to prove the unsatisfiability of a formula. Because SAT solvers are becoming more and more efficient, the size of the proofs generated are becoming bigger and bigger. One recent example in 2016 by Heule et al. was famously described in the media under the name “largest mathematical proof ever” due to its size of 200 terabytes of data.
11 mars 2019 Séminaire Dual Hashing-Based Algorithms for Discrete Integration - Alexis de Colnet Given a boolean formula F and a weight function ρ, the problem of discrete integration seeks to compute the weight of F, defined as the sum of the weights of satisfying assignments. Discrete integration, also known as weighted model counting, is a fundamental problem in computer science with wide variety of applications ranging from machine learning and statistics to physics and infrastructure reliability. Given the intractability of the exact variant, the problem of approximate weighted model counting has been subject to intense theoretical and practical investigations over the years.
7 mars 2019 Séminaire Introduction au réseaux de neurones profonds : keep calm and do gradient descent. - Yael Fregier Ces deux exposés consisteront en des travaux pratiques en jupyter notebook (python). L’idée est de comprendre sur un exemple très concret le fonctionnement et l’apprentissage d’un neurone. C’est pourquoi nous coderons la régression linéaire et l’algorithme de descente de gradient. Experts s’abstenir. N’oubliez pas d’installer jupyter sur votre portable. N’hésitez pas à nous contacter pour toute question ([email protected] et [email protected]).
14 févr. 2019 Séminaire Calcul heuristique de sous-groupes intéressants dans des données étiquetées - Jean-François Boulicaut Equipe DM2L, LIRIS, UMR CNRS 5205 INSA de Lyon Depuis une vingtaine d’années, nous travaillons au LIRIS à la fouille de nombreux types de données (matrices ou tenseurs, séquences d’événements, graphes éventuellement attribués et/ou dynamiques) pour le calcul efficace de collections de motifs (ensembles d’entités, séquences, sous-arbres ou sous-graphes) qui satisfont des types de contraintes variés et donc non limitées à la classique fréquence minimale. Nous avons une expertise spécifique sur le développement d’algorithmes génériques exhaustifs : tous les motifs qui satisfont les contraintes, et eux seulement, sont retournés.
7 févr. 2019 Séminaire Cardinality Restrictions within Description Logic Connection Calculi - Fred Freitas (Informatics Center, Federal University of Pernambuco, Brazil) In the past, we have proposed the theta-connection method for the description logic (DL) ALC, the ALC theta–CM, which will be briefly explained, together with an introduction of the first-order connection calculus and Description Logic. The ALC theta–CM replaces the usage of Skolem terms and unification by additional annotation and introduces blocking through a new rule in the connection calculus, to ensure termination in the case of cyclic ontologies. RACCOON, the reasoner which embodied this calculus, displayed surprisingly promising performance in a benchmarking given the fact that it consists of an engine which has no typical DL optimizations.
31 janv. 2019 Séminaire De la Contraction Itérée - Sébastien Konieczny - CRIL CNRS La contraction consiste à retirer une information des croyances d’un agent, contrairement à la révision qui consiste à ajouter une nouvelle information (tout en maintenant la cohérence des croyances de l’agent). Alors que les opérateurs de révision itérée sont caractérisés depuis longtemps (Darwiche & Pearl 1997), il n’existait jusque là aucune caractérisation directe des opérateurs de contraction itérée. C’est ce que nous proposons dans ce travail. Cette caractérisation permet d’illustrer la proximité entre ces deux familles d’opérateurs mais permet également de mettre en avant un certain paradoxe: alors que dans le cas non-itéré il y a une correspondance entre opérateurs de révision et de contraction (au travers des identités de Levi et de Harper), celle-ci n’existe pas dans le cadre itéré.
17 janv. 2019 Séminaire Raisonnement qualitatif à base de relations binaires hétérogènes / Algorithmes pour jouer et apprendre à jouer aux jeux à information parfaite - Quentin Cohen-Solal Dans une première partie, je présenterai les travaux de ma thèse qui se focalisent sur les formalismes qualitatifs (le raisonnement à base de relations qualitatives) dans le cadre du raisonnement (temporel) multi-échelle, du raisonnement spatio-temporel et des combinaisons de formalismes. J’exposerai les différentes formalisations effectuées (raisonner avec des points et des intervalles à différentes échelles de temps, raisonner avec des régions mobiles dont la taille est constante au cours du temps, …), mes résultats de NP-complétude concernant la décision de la cohérence dans certains de ces contextes, le cadre formel que j’ai développé, unifiant les raisonnements multi-échelles, spatio-temporels et combinés, permettant d’identifier des fragments traitables, ainsi que les résultats de complexité polynomiale qui en découlent.
10 janv. 2019 Séminaire Fouille de Motifs Graduels Fermés Fréquents Sous Contrainte de la Temporalité - Jerry Lonlac - CRIL CNRS UMR 8188 Les motifs graduels qui capturent les corrélations d’ordre de la forme "plus/moins X, plus/moins Y" jouent un rôle primordial dans plusieurs applications du monde réel où le volume de données numériques à gérer est important, c’est le cas de données biologiques, ou de données médicales. La fouille de motifs graduels a pour but la découverte de co-variations simultanées fréquentes entre attributs numériques dans une base de données. Dans cet exposé, Je commencerai par dresser un état de l’art des approches existantes d’extraction de motifs graduels.
20 déc. 2018 Séminaire Les implications juridiques et éthiques du développement de l'intelligence artificielle - Nathalie Nevejans (Université d'Artois) Depuis plusieurs années, les progrès de l’intelligence artificielle sont prodigieux. Ses impacts en termes économiques, sociaux, juridiques et éthiques sont considérables… et pourtant souvent méconnus, spécialement concernant ses implications juridiques et éthiques. Les systèmes autonomes ont attiré l’attention du législateur européen, comme en témoigne la Résolution européenne sur les règles de droit civil sur la robotique du 16 février 2017. Sous prétexte de régler les problèmes de responsabilité en cas de dommage causé par un tel système, ce texte suscite plus de difficultés qu’il n’en résout, et fait surtout craindre que l’on finisse par considérer les agents autonomes comme des personnes d’un point de vue juridique.
17 déc. 2018 Nouvelle Soutenance de thèse de Marwa Harzi - An optimization based framework for routing and scheduling activities in healthcare emergency departments Le 17 décembre 2018, à 9h, salle des thèses de la faculté Jean Perrin. Résumé : In this thesis, we focus on the routing and scheduling activities of patients in the Healthcare Emergency Department while involving optimization tools. We address three categories of research questions. The first category includes question about patient flow to the Emergency department. In this part we focuses on patient transportation problem derived from emergency medical services (EMS).
17 déc. 2018 Nouvelle Soutenance de thèse d'Imen Ouled Dlala - Declarative Approaches for Mining Frequent Itemsets over Transactional Databases Le 17 décembre 2018, à 14h, salle des thèses de la faculté Jean Perrin. Résumé : La fouille de données est une étape primordiale du processus d’extraction de connaissances à partir des données. Elle a pour but d’analyser de grandes quantités de données afin de découvrir des connaissances. L’extraction des itemsets fréquents à partir d’une base de données transactionnelle est l’une des tâches principales de la fouille de données, qui consiste à identifier divers types de motifs afin de répondre aux besoins des utilisateurs ou des applications.
13 déc. 2018 Séminaire On Belief Promotion - Nicolas Schwind (National Institute of Advanced Industrial Science and Technology, Tokyo, Japan) We introduce a new class of belief change operators, named promotion operators. The aim of these operators is to enhance the acceptation of a formula representing a new piece of information. We give postulates for these operators and provide a representation theorem in terms of minimal change. We also show that this class of operators is a very general one, since it captures as particular cases belief revision, commutative revision, and (essentially) belief contraction.
7 déc. 2018 Nouvelle Soutenance de thèse de Yacine Izza - Informatique ubiquitaire : techniques du curage d'informations perverties Le 7 décembre 2018, à 10h30, salle des thèses de la faculté Jean Perrin. Résumé : Cette thèse étudie une approche possible de l’intelligence artificielle pour la détection et le curage d’informations perverties dans les bases de connaissances des objets et composants intelligents en informatique ubiquitaire. Cette approche est traitée d’un point de vue pratique dans le cadre du formalisme SAT; il s’agit donc de mettre en œuvre des techniques de filtrage d’incohérences dans des bases contradictoires.
6 déc. 2018 Nouvelle Soutenance d'Habilitation à Diriger des Recherches de Saïd Jabbour Le 6 décembre 2018, à 14h, salle des thèses de la faculté Jean Perrin. Résumé : Mes travaux de recherche sont à la frontière de plusieurs domaines incluant l’Intelligence Artificielle (IA) symbolique, la fouille de données, les graphes et les systèmes d’information. Ils se répartissent autour des mots clés suivants : raisonnement par contraintes, représentation des connaissances, modélisation des raisonnements, fouille de motifs sous contraintes, clustering, détection de communautés, compression de données et composition de services web.
3 déc. 2018 Nouvelle Soutenance de thèse de Nizar Mhadhbi Le 3 décembre 2018, à 14h, salle des thèses de la faculté Jean Perrin. Résumé : Cette thèse se situe dans le domaine de l’analyse des réseaux complexes. Un réseau complexe peut être défini comme un système d’entités en interaction représenté souvent par un graphe. Deux problématiques liées à l’analyse des grands graphes sont abordées dans cette thèse. Notre premier objectif est d’extraire de la connaissance pertinente dans les graphes par la recherche des structures communautaires.
29 nov. 2018 Séminaire A distributed version of Syrup - Nicolas Szczepanski (CRIL, CNRS - Université d'Artois) A portfolio SAT solver has to share clauses in order to be efficient. In a distributed environment, such sharing implies additional problems: more information has to be exchanged and communications among solvers can be time consuming. In this paper, we propose a new version of the state-of-the-art SAT solver S YRUP that is now able to run on distributed architectures. We analyze and compare different programming models of communication. We show that, using a dedicated approach, it is possible to share many clauses without penalizing the solvers.
22 nov. 2018 Séminaire Boosting MCSes Enumeration - Jean-Marie Lagniez (CRIL, CNRS - Université d'Artois) The enumeration of all Maximal Satisfiable Subsets (MSSes) or all Minimal Correction Subsets (MCSes) of an unsatisfiable CNF Boolean formula is a useful and sometimes necessary step for solving a variety of important A.I. issues. Although the number of different MCSes of a CNF Boolean formula is exponential in the worst case, it remains low in many practical situations; this makes the tentative enumeration possibly successful in these latter cases. In the paper, a technique is introduced that boosts the currently most efficient practical approaches to enumerate MCSes.
15 nov. 2018 Séminaire Inconsistency Measures for Repair Semantics in OBDA (IJCAI 2018) - Srdjan Vesic (CRIL, CNRS - Université d'Artois) In this paper, we place ourselves in the Ontology Based Data Access (OBDA) setting and investigate reasoning with inconsistent existential rules knowledge bases. We use the notion of inconsistency measures on sets of facts to rank and filter repairs. We propose a generic framework to answer queries by using the best repairs and study productivity and properties of such a framework.
26 oct. 2018 Nouvelle Postes IGR et chercheur en CDD à pourvoir Dans le cadre du CPER DATA, le CRIL recrute un poste temporaire d’ingénieur de recherche et un poste de chercheur en CDD. Les fiches de postes sont visibles sur emploi.cnrs.fr Poste temporaire d’ingénieur de recherche Chercheur en CDD
11 oct. 2018 Séminaire Collective Singleton-based Consistency for Qualitative Constraint Networks: Theory and Practice - Michael Sioutis (Örebro University) Partial singleton weak path-consistency is essential for tackling challenging fundamental reasoning problems associated with qualitative constraints networks. Briefly put, partial singleton weak path-consistency ensures that each base relation of each of the constraints of a qualitative constraint network can define a singleton relation in its corresponding partially weakly path-consistent subnetwork. In this talk, we propose a stronger local consistency that couples partial singleton weak path-consistency with the idea of collectively deleting certain unfeasible base relations by exploiting singleton checks.
11 oct. 2018 Nouvelle Daniel Le Berre reçoit la médaille de l'innovation du CNRS Daniel Le Berre a reçu le mercredi 10 octobre 2018 la médaille de l’innovation du CNRS des mains de la ministre de l’enseignement supérieur, de la recherche et de l’innovation Frédérique Vidal et du PDG du CNRS Antoine Petit, pour le développement du logiciel libre Sat4j et son intégration dans la plateforme Eclipse. La médaille de l’innovation honore une recherche exceptionnelle sur le plan technologique, thérapeutique, économique ou sociétal. Les deux autres lauréats de cette médaille cette année sont Valérie Castellani et Thierry Chartier.
17 sept. 2018 Nouvelle Soutenance de thèse de Valentin Montmirail - Practical resolution of satisfiability testing for modal logics Le 17 septembre 2018, à 10h, salle des thèses de la faculté Jean Perrin Résumé In this thesis, we explored the idea to use modern SAT technology that has seen considerable progress over the last years for solving various kinds of Modal Logics. We tackled the problem from various directions. For the NP-complete variants of Modal Logics it is a natural choice to encode them to SAT and use a SAT solver to decide them.
13 sept. 2018 Nouvelle Soutenance de thèse de Abdelhamid Boudane - Fouille de données par contraintes Le 13 septembre 2018, à 14h, salle des thèses de la faculté Jean Perrin Résumé Dans cette thèse, nous abordons les problèmes bien connus de clustering et de fouille de règles d’association. Notre première contribution introduit un nouveau cadre de clustering, où les objets complexes sont décrits par des formules propositionnelles. Premièrement, nous adaptons les deux fameux algorithmes de clustering, à savoir, le k-means et l’algorithme hiérarchique ascendant, pour traiter ce type d’objets complexes.
26 juil. 2018 Nouvelle Papiers acceptés à KR'18 4 papiers et 3 posters ont été acceptés à la conférence KR (Tempe, Arizona, 2018)
9 juin 2018 Nouvelle Ivan Varzinczak reçoit le prix de logique Louis Couturat Ivan Varzinczak recevra le prix de la logique Louis Couturat lors de la prochaine édition de la conférence UNILOG'18 le 24 juin, pour son article “A note on a description logic of concept and role typicality”.
5 juin 2018 Séminaire Liens entre fusion propositionnelle et agrégation de jugements - Patricia Everaere (Université de Lille) La fusion propositionnelle et l’agrégation de jugements sont deux cadres assez proches en apparence: ils permettent d’agréger des éléments issus de différents agents. Nous avons cherché si ces cadres pouvaient être unifiés, et comment. Un autre axe de recherche est de savoir si les propriétés considérées dans une théorie ont du sens dans l’autre théorie.
22 mai 2018 Recrutement CDD d’ingénieur de recherche en Intelligence Artificielle au CRIL (Lens) - 1 an A partir de Septembre 2018 Poste. Ingénieur de recherche (12 mois, à débuter en Septembre/Octobre 2018). Ce poste est susceptible d’être reconductible. Cette offre s’inscrit dans le cadre du projet CPER (Contrat de Plan Etat-Region 2015-2020) Data de la région “Hauts-de-France”. Le programme scientifique du CPER Data est articulé en trois axes principaux : (i) Internet des objets ; (ii) Intelligence des données et des connaissances ; (iii) Calcul haute-performance et optimisation.
16 mai 2018 Nouvelle Papiers acceptés à IJCAI'18 7 papiers ont été acceptés à la conférence IJCAI (Stockholm, 2018)
9 avr. 2018 Recrutement 3 postes d'ATER en informatique (section 27), à Lens 3 postes d’ATER en informatique (section 27) sont ouverts à Lens pour la rentrée 2018. 1 poste à la faculté des sciences Jean Perrin 2 postes (poste 1, poste 2) à l’IUT de Lens Les candidatures sont ouvertes sur ALTAIR depuis le 9 avril, jusqu’au 30 avril. Ces 3 postes d’ATER sont rattachés au CRIL pour la recherche. Toutes les informations sur la procédure permettant de candidater sur ces postes sont disponibles sur le site de l’université d’Artois.
29 mars 2018 Séminaire How to extend IAR semantics to prioritized lightweight ontologies? - Salem Benferhat (CRIL, Université d'Artois - CNRS) This short talk addresses the problem of handing conflicts in lightweight ontologies. Recently, eight genuine ways to deal with conflicting information have been identified in the context of lightweight ontologies. This paper focuses on a so-called IAR semantics and proposes some desirable properties and algorithms to extend it to prioritized Aboxs.
22 mars 2018 Séminaire Relation Induction in Vector Space Embeddings - Zied Bouraoui (CRIL, Université d'Artois - CNRS) Word embeddings have been found to capture a surprisingly rich amount of syntactic and semantic knowledge. However, it is not yet sufficiently well-understood how the relational knowledge that is implicitly encoded in word embeddings can be extracted in a reliable way. In this talk, I will present two probabilistic models that address this issue. The first model is based on the common relations-as-translations view, but is cast in a probabilistic setting.
15 mars 2018 Séminaire Un tour d'horizon des bandits - Frederic Koriche (CRIL, Université d'Artois - CNRS) Imaginez le jeu répétitif suivant : à chaque tour, vous devez choisir une “action” parmi N décisions possibles et, une fois l’action choisie, l’environnement vous répond par une “récompense”. L’objectif est de minimiser le regret entre vos choix effectués et la meilleure action que vous auriez sélectionnée, si vous aviez connu à l’avance les récompenses données par l’environnement. Ce cadre, appelé “bandits multi-bras”, est au coeur de l’apprentissage par renforcement et apparait dans de nombreuses applications en IA.
13 mars 2018 Séminaire Dependency weighted aggregation - Florent Capelli (Université de Lille) It is well-known that one may faithfully approximate the expected value of a random variable by taking the average of many independant observations of the variables. The average quickly converges to the expected value with good probability. This fact is commonly used when computing statistics in data mining. However, in this setting, the assumption that the observations are independant is usually wrong and we have no more guarantees on the convergence of the average toward the expected value.
15 févr. 2018 Séminaire Learning Conceptual Spaces from Data - Steven Schockaert (Cardiff University) Conceptual spaces have been proposed by Gärdenfors as an intermediate knowledge representation framework, sitting between high-level symbolic representations and low-level neural representations. While the theory of conceptual spaces has been influential in philosophy and cognitive science, to date it has seen relatively few applications within the field of Artificial Intelligence. One of the main stumbling blocks for such applications is that learning conceptual space representations in a purely data-driven way is challenging.
25 janv. 2018 Séminaire Patterns mining under constraints – applied for software testing - Mehdi Maamar (CRIL, CNRS - Université d'Artois) Discovering the set of closed frequent itemsets is one of the fundamental problems in Data Mining. Recent Constraint Programming (CP) approaches for declarative itemset mining have proven their usefulness and flexibility. We propose a global constraint for mining closed frequent itemsets with a filtering algorithm that enforces domain consistency in polynomial time and space. Moreover, itemset mining techniques have been used in a wide range of applications. Over the last years, software testing, and specially the fault localization task, becomes one of the challenging application domains for data mining.
21 déc. 2017 Séminaire An Improved CNF Encoding Scheme for Probabilistic Inference (ECAI 2016) - Jean-Marie Lagniez (CRIL, Université d'Artois - CNRS) We present and evaluate a new CNF encoding scheme for reducing probabilistic inference from a graphical model to weighted model counting. This new encoding scheme elaborates on the CNF encoding scheme ENC4 introduced by Chavira and Darwiche, and improves it by taking advantage of log encodings of the elementary variable/value assignments and of the implicit encoding of the most frequent probability value per conditional probability table. From the theory side, we show that our encoding scheme is faithful, and that for each input network, the CNF formula it leads to contains less variables and less clauses than the CNF formula obtained using ENC4.
14 déc. 2017 Séminaire A structural benchmark for logical argumentation frameworks - Bruno YUN (LIRMM - Université de Montpellier) We proposes a practically-oriented benchmark suite for computational argumentation. We instantiate abstract argumentation frameworks with existential rules, a language widely used in Semantic Web applications and provide a generator of such instantiated graphs. We analyse performance of argumentation solvers on these benchmarks.
13 déc. 2017 Séminaire From Individual Goals to Collective Decisions - Arianna Novaro (IRIT - Université de Toulouse) Classical rules for collective decision-making often require agents to fully specify their preference or opinion to compute the result. In particular, judgment aggregation rules require each agent to answer a yes/no question on a set of issues and they then output a collective judgment. In this talk I will relax this assumption by letting agents express their goals by means of propositional formulas on a finite set of binary issues. I will present some rules for aggregating individual goals into a decision for the group, as well as some adaptations to this setting of axiomatic properties from the literature on Social Choice Theory.
12 déc. 2017 Nouvelle Soutenance de thèse de Nicolas Szczepanski - SAT en Parallèle Le 12 décembre 2017, à 10h, salle des thèses de la faculté Jean Perrin Résumé : La thèse porte sur la résolution des problèmes de satisfaisabilité booléenne (SAT) dans un cadre massivement parallèle. Le problème SAT est largement utilisé pour résoudre des problèmes combinatoires de première importance comme la vérification formelle de matériels et de logiciels, la bio-informatique, la cryptographie, la planification et l’ordonnancement de tâches. Plusieurs contributions sont apportées dans cette thèse.
12 déc. 2017 Nouvelle Soutenance de thèse de Jérôme Delobelle - Sémantique à base de Classement pour l’Argumentation Abstraite Le 12 décembre 2017, à 14h30, salle des thèses de la faculté Jean Perrin Résumé : La théorie de l’argumentation abstraite de Dung est un formalisme permettant d’utiliser un système d’argumentation afin de représenter des informations conflictuelles. Des sémantiques à base d’extensions ont d’abord été introduites dans le but de déterminer quels arguments peuvent être conjointement acceptés. Cependant, ces sémantiques ne sont pas appropriées pour certaines applications, c’est pourquoi des sémantiques à base de classement, permettant de classer les arguments du plus acceptable au moins acceptable, ont été introduites.
8 déc. 2017 Nouvelle Soutenance de thèse de Amélie Levray - Théorie des possibilités à intervalles : Conditionnement et transformations probabilités/possibilités Le 8 décembre 2017, à 14h, salle des thèses de la faculté Jean Perrin Résumé : Cette thèse contribue au développement de formalismes efficaces pour représenter l’information incertaine. Les formalismes existants tels que la théorie des probabilités ou la théorie des possibilités sont parmi les cadres les plus connus et utilisés pour représenter ce type d’information. Différentes extensions (e.g. théorie des probabilités imprécises, théorie des possibilités à intervalles) ont été proposées pour traiter des informations incomplètes ou des connaissances mal-connues, ainsi que pour raisonner avec les connaissances d’un groupe d’experts.
30 nov. 2017 Séminaire Acceptability semantics for weighted argumentation frameworks (IJCAI 2017) - Srdjan Vesic (CRIL, CNRS - Université d'Artois) We study semantics that evaluate arguments in argumentation graphs, where each argument has a basic strength, and may be attacked by other arguments. We start by defining a set of principles, each of which is a property that a semantics could satisfy. We provide a formal analysis and comparison of existing semantics. Finally, we define three novel semantics that satisfy more principles than existing ones.
16 nov. 2017 Séminaire Strong consistencies for efficient solving - Anastasia Paparrizou (CRIL, CNRS - Université d'Artois) It is well-known that the simultaneous satisfaction of a set of constraints is intractable in general and problems can become very difficult to solve as their size increases. Constraint Programming has developed various techniques to tackle this inherent problem. In this talk, I will speak about one of the most important such techniques which is the enforcement of a local consistency. I will mainly focus on less "traditional" local consistencies and recent promising results (presented in IJCAI’17).
19 oct. 2017 Séminaire Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation (CP 2017) - Takehide Soh (Kobe University, Japan) This talk about SAT encoding consists of two parts. The first part briefly explains recent our work around SAT encoding—a SAT-based CP system "scarab" and a hybrid encoding integrating the order and log encodings. In the second part, as an application of the order encoding, we detail a propositional logic based approach to solve MultiObjective Discrete Optimization Problems (MODOPs). In this approach, there exists a one-to-one correspondence between a Pareto front point of MODOP and a P-minimal model of the CNF formula obtained from MODOP.
12 oct. 2017 Séminaire A lower bound on CNF encodings of the at-most-one constraint - Petr Kučera (Charles University, Czech Republic) Constraint “at most one” is a basic cardinality constraint which requires that at most one of its n boolean inputs is set to 1. This constraint is widely used when translating a problem into a conjunctive normal form (CNF) and we investigate its CNF encodings suitable for this purpose. An encoding differs from a CNF representation of a function in that it can use auxiliary variables. We are especially interested in propagation complete encodings which have the property that unit propagation is strong enough to enforce consistency on input variables.
5 oct. 2017 Séminaire A Connection Calculus for the Description Logic ALC - Fred Freitas (Federal University of Pernambuco, Cin/UFPE, Brazil) In this talk, a connection calculus for the description logic (DL) ALC is presented. First, the classical FOL connection calculus will be introduced; and briefly the description logic ALC as well. Then, the new ALC calculus will be presented. It replaces the usage of Skolem terms and uniﬁcation by additional annotation and introduces blocking, a typical feature of DL provers, by a new rule, to ensure termination in the case of cyclic ontologies.
21 sept. 2017 Séminaire Constraint-Based Symmetry Detection in General Game Playing (IJCAI 2017) - Sébastien Tabary (CRIL, Université d'Artois - CNRS) Symmetry detection is a promising approach for reducing the search tree of games. In General Game Playing (GGP), where any game is compactly represented by a set of rules in the Game Description Language (GDL), the state-of-the-art methods for symmetry detection rely on a rule graph associated with the GDL description of the game. Though such rule-based symmetry detection methods can be applied to various tree search algorithms, they cover only a limited number of symmetries which are apparent in the GDL description.
14 sept. 2017 Séminaire RECAR: Recursive Explore and Check Abstraction Refinement (IJCAI 2017) - Valentin Montmirail (CRIL, Université d'Artois - CNRS) L’approche Counter-Example Guided Abstraction Refinement (CEGAR) a été un grand succès dans la vérification de modèle. Depuis lors, elle a été appliquée à de nombreux problèmes différents. Il s’avère qu’il s’agit d’une approche pratique très efficace pour résoudre le problème QBF qui est PSPACE-complet. Dans ce talk, je vous présenterai une nouvelle approche semblable à CEGAR pour aborder des problèmes PSPACE, approche que nous appelons RECAR (Recursive Explore and Check Abstraction Refinement).
1 sept. 2017 Recrutement Poste de MCF 27e section - CRIL (Lens) - Université d'Artois Profil recherche du poste Artificial Intelligence. The successful candidate will join one of the two scientific axes of CRIL. Preference will be given to candidates bringing novel research openings and directions that extend or are linked to any of these axes, and on candidates working on the interaction between both axes. Profil pédagogique du poste L’informaticien-ne recruté-e sera appelé-e à intervenir dans les différentes filières de formation de l’UFR des Sciences de Lens, dont la licence et le master d’informatique.
11 juil. 2017 Séminaire Belief Change in a Preferential Non-monotonic Framework - Tommie Meyer (CAIR, South Africa) Belief change and non-monotonic reasoning are usually viewed as two sides of the same coin, with results showing that one can formally be defined in terms of the other. In this talk we will discuss that it also makes sense to analyse belief change within a non-monotonic framework, and in particular we take under consideration a preferential non-monotonic framework. We consider belief change operators in a non-monotonic propositional setting with a view towards preserving consistency.
6 juil. 2017 Nouvelle Prix de thèse AFIA pour Eric Piette Eric Piette a obtenu le prix de thèse (exr-aequo) de l'Association Française pour l'Intelligence Artificielle pour sa thèse intitulée "Une nouvelle approche au General Game Playing dirigée par les contraintes".
19 mai 2017 Séminaire Constraint Games - Arnaud Lallouet Constraint Games are a recent framework proposed to model and solve static games where Constraint Programming is used to express players preferences. In a recent work, we rethink the solving technique in terms of constraint propagation by considering players preferences as global constraints. It yields not only a more elegant but also a more efficient framework. Our new complete solver is faster than previous state-of-the-art and is able to find all pure Nash equilibria for some problems with 200 players.
18 mai 2017 Séminaire Developing a parallel CP (or SAT) solver through the exploitation of strong propagation methods. - Kostas Stergiou (University of Western Macedonia) As a result of the considerable recent advances in parallel constraint solving, a number of quite efficient parallel CP and SAT solvers have been developed. Parallel constraint solving techniques are roughly divided in search space splitting and portfolio-based ones. In this talk we describe a novel scheme for developing a parallel CP (or SAT) solver through the exploitation of strong propagation methods. This scheme is orthogonal to the two general categories of parallelization methods and it is presented as a search algorithm consisting of a main process, which is a typical CP (or SAT) solver, aided by a number of coworkers running in parallel.
17 mai 2017 Nouvelle Papiers acceptés à IJCAI'17 8 papiers ont été acceptés à la conférence IJCAI (Melbourne, 2017)
18 avr. 2017 Nouvelle Proposition de thèse financée au CRIL sur l’argumentation abstraite Utilisation de l’argumentation pour automatiser l’exploitation des avis clients pour la vente en ligne et pour les consultations citoyennes : modélisation des attaques et supports entre arguments Le but principal de cette thèse est d’étudier la notion de support en argumentation. La première tâche sera d’étudier les faiblesses des approches actuelles. Il faudra en particulier identifier les résultats fournis par ces approches sur des exemples issus de cas réels (avis de clients, textes issus de journaux, plates-formes de débats en ligne, etc.
7 avr. 2017 Recrutement 4 postes d'ATER en informatique (section 27), à Lens 4 postes d’ATER en informatique (section 27) sont ouverts à Lens pour la rentrée 2017. 1 poste à la faculté des sciences Jean Perrin 3 postes à l’IUT de Lens Les candidatures sont ouvertes sur ALTAIR depuis le 4 avril, jusqu’au 24 avril. Noter qu’il n’y a q’un seul profil de poste pour l’IUT de Lens sur ALTAIR, pour 3 postes à pourvoir. Ces 4 postes d’ATER sont rattachés au CRIL pour la recherche.
6 avr. 2017 Séminaire Plausible Reasoning about Ontologies - Zied Bouraoui Structured knowledge about entities increasingly plays an important role in various web applications (e.g. search engines, recommendation sites, and social networks). Such knowledge is available, for example, in ontologies such as SUMO or OpenCyc, in knowledge graphs such as DBpedia, Google Freebase, Facebook Graph and WikiData, as semantic markup (e.g. RDFa), or on web pages (e.g. in the form of tables, lists, or natural language assertions). While these web applications typically require some form of reasoning, deduction is often too limited in this setting.
5 avr. 2017 Séminaire Autour des classes polynomiales pour les problèmes de satisfaction de contraintes - Achref El Mouelhi Le problème de satisfaction des contraintes CSP (pour Constraint Satisfaction Problems en anglais) est connu pour être NP-complet, même pour le cas binaire. Cependant, en imposant certaines restrictions, sur la taille des domaines ou sur les contraintes, la résolution peut être accomplie en temps polynomial. Dans ce cas, on parle des propriétés traitables (tractables properties). L’ensemble d’instances satisfaisant une propriété traitable constitue une classe polynomiale (ou traitable). Par exemple, Il est connu que l’ensemble des instances qui satisfont la propriété des triangles cassés BTP (pour Broken-Triangle Property) ou ZOA (Zero/One/All) définissent des classes polynomiales pour les CSP binaires.
30 mars 2017 Séminaire Resource games and redistributions - Nicolas Troquard
28 mars 2017 Recrutement Poste d’Ingénieur de recherche (Université d’Artois) Le CRIL va bénéficier au printemps 2017 d’un poste universitaire d’ingénieur de recherche (Bap E). La personne recrutée sera en charge, avec un autre ingénieur de recherche, des activités de valorisation et de professionnalisation des prototypes logiciels développés par le laboratoire de recherche qu’elle intégrera (CRIL UMR 8188). Elle participera aussi à la création de ces prototypes. Cette activité concerne donc le développement de logiciels novateurs d’intelligence artificielle et une interaction forte avec l’environnement socio-économique du laboratoire à ce sujet.
23 mars 2017 Séminaire Reasoning Defeasibly over Ontologies - Ivan Varzinczak (Univ Artois) Description Logics (DLs) are a family of logic-based knowledge representation formalisms with appealing computational properties and a variety of applications at the confluence of modern artificial intelligence and other areas. In particular, DLs are well-suited for representing and reasoning about ontologies and therefore constitute the formal foundations of the Semantic Web. The different DL formalisms that have been proposed in the literature provide us with a wide choice of constructors in the object language.
21 mars 2017 Nouvelle Participation du CRIL à #FranceIA Dans le cadre du grand événement public de #FranceIA, la stratégie française en intelligence artificielle, le CRIL sera présent le 21 mars à la cité des sciences, Paris. Le programme de la journée est disponible en ligne. Le laboratoire y présentera son joueur de General Game Playing Woodstock, qui a remporté le dernier championnat du monde de la discipline, comme exemple du savoir faire Français dans le domaine.
16 mars 2017 Séminaire Déploiement et mesure de consommation logicielle à grande échelle - Romain Rouvoy Cette présentation se positionne à l’intersection de plusieurs problématiques que rencontrent certaines communautés scientifiques lorsqu’elles souhaitent évaluer la pertinence de leurs solutions logicielles: i) comment faciliter le déploiement du logiciel pour reproduire mes résultats, ii) comment mieux tirer partie de grandes infrastructures de calcul pour maximiser mes performances et iii) comment mesurer l’efficience énergétique de mes algorithmes. Ces questions couvrent les récents développements menés par l’équipe Inria Spirals autour du déploiement d’architectures logicielles basées sur la technologie Docker (http://docker.
9 mars 2017 Séminaire Data distribution optimization in a system of collaborative systems - Ronan Bocquillon Systems of systems are supersystems comprising elements which are themselves independent operational systems, all interacting to achieve a common goal. When the subsystems are mobile, these may suffer from a lack of continuous end-to-end connectivity. To address the technical issues in such networks, the common approach is termed delay-tolerant networking. Routing relies on a store-forward mechanism. Data are sent from one system to another – depending on the communication opportunities, termed contacts, that arise when two systems are close – and stored throughout the network in hope that all messages will reach their destination.
2 mars 2017 Séminaire Temporal equilibrium logic - Martin Dieguez (IRIT) Commonsense temporal reasoning is full of situations that require drawing default conclusions, since we rarely have all the information available. Unfortunately, most modal temporal logics cannot accommodate default reasoning, since they typically deal with a monotonic inference relation. On the other hand, non-monotonic approaches are very expensive and their treatment of time is not so well delimited and studied as in modal logic. Temporal Equilibrium Logic [Cabalar and Pérez, 2007] (TEL) is the first non-monotonic temporal logic which fully covers the syntax of some standard modal temporal approach without requiring further constructions.
2 févr. 2017 Séminaire Let's compute through infinite time! - Sabrina Ouazzani In this talk, we present infinite time Turing machines (ITTM), from the original definition of the model to some new infinite time algorithms. We will present algorithmic techniques that allow to highlight some properties of the ITTM-computable ordinals. In particular, we will study gaps in ordinal computation times, that is to say, ordinal times at which no infinite time program halts.
30 janv. 2017 Recrutement CDD d’ingénieur de recherche en Intelligence Artificielle au CRIL (Lens) - 1 an renouvelable Un contrat d’ingénieur de recherche est disponible dès à présent au CRIL UMR 8188, Centre de Recherche en Informatique de Lens. La personne recrutée participera à des développements de prototypes logiciels dans le domaine de l’intelligence artificielle, et plus particulièrement dans les thématiques de la représentation des connaissances et des raisonnements, des algorithmes pour la satisfaisabilité et les contraintes. Elle sera idéalement titulaire d’une thèse en informatique et aura une expérience forte du développement logiciel (C, C++, Java).
16 janv. 2017 Recrutement Poste de MCF 27e section - CRIL (Lens) - Université d'Artois 27 MCF Le poste ci-dessous va paraître au début de l’année 2017 lors de la session nationale synchronisée. Profil recherche du poste : Artificial intelligence. The successful candidate will join one of the two scientific axes of CRIL. Preference will be given to candidates bringing novel research openings and directions that extend or are linked to any of these axes, and on candidates working on the interaction between both axes.
12 janv. 2017 Séminaire Introduction aux solveurs CDCL - Jean-Marie Lagniez (CRIL, Université d'Artois)
14 déc. 2016 Nouvelle Soutenance de thèse de Samuel Thomas - Compilation de connaissances pour le comptage de modèles Le 14 décembre 2016, à 10h, amphithéatre S19 de la faculté Jean Perrin Résumé : Le comptage de modèles (i.e., des affectations de valeurs aux variables qui satisfont toutes les contraintes) constitue un traitement clé pour divers problèmes d’intelligence artificielle dans lesquels la programmation par contraintes est employée. La compilation de connaissances est l’une des approches possibles permettant de réaliser efficacement une telle requête de comptage. Dans cette thèse, nous introduisons plusieurs nouveaux langages de compilation de formules propositionnelles, basés sur un connecteur peu utilisé jusqu’ici dans les langages cibles pour la compilation, le ou exclusif.
13 déc. 2016 Nouvelle Soutenance de thèse de Thomas Caridroit - Changements de croyances et logiques modales Le 13 décembre 2016, à 14h, amphithéatre S25 de la faculté Jean Perrin Résumé : Le changement de croyances vise à trouver des moyens adéquats pour faire évoluer les croyances d’un agent lorsqu’il est confronté à de nouvelles informations. Dans la plupart des travaux sur la révision de croyances, l’ensemble de croyances d’un agent est composé de croyances au sujet de l’environnement (le monde) et est représenté par un ensemble de formules de la logique classique.
9 déc. 2016 Nouvelle Soutenance de thèse de Eric Piette - Une nouvelle approche au General Game Playing dirigée par les contraintes Le 9 décembre 2016, à 14h, amphithéatre S25 de la faculté Jean Perrin Résumé : Développer un programme capable de jouer à n’importe quel jeu de stratégie, souvent désigné par le General Game Playing (GGP) constitue un des Graal de l’intelligence artificielle. Les compétitions GGP, où chaque jeu est représenté par un ensemble de règles logiques au travers du Game Description Language (GDL), ont conduit la recherche à confronter de nombreuses approches incluant les méthodes de type Monte Carlo, la construction automatique de fonctions d’évaluations, ou la programmation logique et ASP.
8 déc. 2016 Nouvelle Séminaire informatique conjoint Franco-Japonais Le CRIL accueillera du 7 au 8 décembre des collègues d'établissement de recherche japonais dans le cadre d'un accord de coopération entre le CRIL et le NII.
24 nov. 2016 Nouvelle Meet up cyber-sécurité et protection des données La Louvre Lens Vallée organise son MEET UP autour d’un sujet au coeur de notre actualité et des préoccupations des usagers connectés : « cyber-sécurité et protection des données ». Le CRIL accueillera cet évènement le 24 novembre 2016 à 14h, à la faculté des sciences Jean Perrin. Pour en savoir plus sur cet évènement, et vous inscrire, visitez la page dédiée de la Louvre Lens Vallée
10 nov. 2016 Séminaire Introduction - A Short Guided Tour Through My Work - Stefan Mengel (CRIL CNRS) After a year at CRIL, I guess it is time to introduce myself officially in the seminar. I will give an overview over the main areas of my work and explain what kind of question I am generally interested in. This will be a non-technical talk, sketching areas and ideas instead of giving details, with the aim of being understandable for everyone.
20 oct. 2016 Séminaire Abstract interpretation - Rediffusion Colloquium LIP6 - Patrick Cousot (New York University, USA) The complexity of large programs grows faster than the intellectual ability of programmers in charge of their development and maintenance. The direct consequence is a lot of errors and bugs in programs mostly debugged by their end-users. Programmers are not responsible for these bugs. They are not required to produce provably safe and secure programs. This is because professionals are only required to apply state of the art techniques, that is testing on finitely many cases.
6 oct. 2016 Séminaire Fusion épistémique et impossibilité - Ramón Pino Pérez (Universidad de Los Andes) Nous étendons la fusion des croyances dans deux dimensions. D’abord la représentation des croyances se fait à l’aide d’états épistémiques complexes. Ensuite on ajoute des postulats de nature plus sociale comme les postulats d’Arrow. Dans ce cadre étendu on démontre un résultat d’impossibilité.
28 sept. 2016 Invité(s) Odile Papini nous rend visite entre le 28 septembre et le 3 octobre prochain
21 sept. 2016 Nouvelle session spécifique Raisonnement dans l'incertain à la 30ème conférence internationale FLAIRS (UR17) La 30ème conférence internationale FLAIRS se déroulera à Marco Island, en Floride, du 22 au 24 mai 2017. Différents membres du CRIL font partie du comité de programme de la session dédiée au raisonnement dans l'incertain.
20 sept. 2016 Nouvelle 30eme conférence internationale sur les applications des systèmes intelligents appliqués (IEA/AIE 2017) La conference IEA/AIE 2017 sera organisée l'année prochaine à Arras, du 27 au 30 novembre. Le programme de la conférence et l'organisation local sont gérés par des membres du CRIL.
19 sept. 2016 Invité(s) Visite de Ramón Pino Pérez (université De Los Andes, Venezuela) Ramón Pino Pérez, professeur à l’université De Los Andes, séjournera au CRIL pendant 1 mois (19 septembre au 19 octobre 2016)
30 août 2016 Nouvelle Woodstock vient de gagner la compétition internationale de General Game Playing Le joueur artificiel du CRIL, Woodstock, vient de gagner la compétition internationale de General Game Playing 2016 organisée par l'université de Stanford les 18 et 19 août dernier.
30 juin 2016 Séminaire Qu’est-ce que l’informatique ? - Sébastien Konieczny (CRIL, CNRS & Univ. Artois) Nous présentons une application qui exploite les données issues de DBLP afin de représenter la proximité entre conférences/revues à partir des habitudes de publication des auteurs. Cela permet de mettre en évidence des proximités entre domaines, et d’obtenir une carte représentant les conférences en informatique. Ce travail est encore en cours, et nous devons encore améliorer et ajouter beaucoup de fonctionnalités, donc toutes les suggestions sont les bienvenues. En attendant si vous voulez savoir ce qu’est l’informatique, et où se situe l’IA, rendez-vous dans l’amphi !
21 juin 2016 Invité(s) Visite de Arina Britz (Université de Stellenbosch, Afrique du Sud) Arina Britz, professeur à l’Université de Stellenbosch, Afrique du sud, sera en visite au CRIL du 21 au 30 juin 2016. Arina Britz est membre du Centre for Artificial Intelligence Research en Afrique du Sud. Elle travaille sur les logiques modales, de description, l’abduction, la modularité.
19 juin 2016 Nouvelle Papiers acceptés à ECAI'16 9 papiers ont été acceptés à la conférence ECAI (La Hague, 2016)
10 juin 2016 Séminaire Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness - Hubie Chen (University of the Basque Country et IKERBASQUE) If one looks at typical proof systems for QBF, such as Q-resolution, a dilemma is encountered: lower bounds for Q-resolution are implied immediately by lower bounds for resolution, yet this says nothing about Q-resolution’s ability to cope with quantifier alternation—and moreover clashes severely with the contemporary QBF view of SAT as "easy". In this talk, we will discuss this dilemma and present a possible way to escape it. In particular, we present and study a framework in which one can present alternation-based lower bounds on proof length in proof systems for quantified Boolean formulas.
9 juin 2016 Séminaire On Checking Kripke Models for Modal Logic K - Valentin Montmirail (CRIL, UArtois) We present our work toward a rigorous experimental comparison of the state of the art for the practical resolution of the satisfiability of formulae in modal logic K. Our aim is to provide a way to practically verify the answers provided by those solvers. For this purpose, we propose a certificate format and a checker to validate Kripke models for modal logic K. We present experimental results using state-of-the-art solvers, modified to incorporate this verification step.
6 juin 2016 Nouvelle Séminaire informatique conjoint Nankin-Artois Le CRIL accueillera les 6 et 7 juin des collègues de l'université de Nankin dans le cadre d'un accord de coopération avec l'université Artois.
12 mai 2016 Séminaire Tree Automata for Reasoning in Databases and Artificial Intelligence - Pierre Bourhis (LIFL, CNRS) In database management, one of the principal task is to optimize the queries to evaluate them efficiently. It is in particular the case for recursive queries for which their evaluation can lead to crawl all the database. In particular, one of the main question is to minimize the queries in order to avoid to evaluate useless parts of the query. The core theoretical question around this line of work is the problem of inclusion of a query in another.
27 avr. 2016 Nouvelle Papiers acceptés à IJCAI'16 6 papiers ont été acceptés à la conférence IJCAI (New York, 2016)
21 avr. 2016 Séminaire Ranking Arguments With Compensation-Based Semantics - Srdjan Vesic (CRIL, CNRS) In almost all existing semantics in argumentation, a strong attack has a lethal effect on its target that a set of several weak attacks may not have. This paper investigates the case where several weak attacks may compensate one strong attack. It defines a broad class of ranking semantics, called alpha-BBS, which satisfy compensation. alpha-BBS assign a burden number to each argument and order the arguments with respect to those numbers.
1 avr. 2016 Séminaire Intention refinement and revision based on instrumentality - Andreas Herzig (IRIT, CNRS) According to Bratman’s influential theory, intentions have to be viewed as more or less detailed plans. Such plans are typically high-level as far as the remote future is concerned: they are not worked out in detail and are progressively refined in order to provide basic actions that are directly executable. Inspired by Shoham’s database perspective, we view basic and high-level intentions as organized in an agenda that specifies the temporal intervals within which the corresponding actions have to be performed.
17 mars 2016 Séminaire Towards Declarative Scripting: Combining CP and Analytics - Hassan Ait Kaci This is a high-level glance at current trends in the Analytics and CP landscape from the perspective of declarative programming language use and design (the forest rather than the trees) as well as speculate and extrapolate some perspectives therefrom (what seems to be needed).
10 mars 2016 Nouvelle Prix de la meilleure contribution dans la thématique intelligence artificielle à ICAART 2016 Salem Benferhat vient de recevoir le prix de la meilleure contribution à la conférence ICAART qui s'est déroulée du 24 au 26 février à Rome, Italie.
4 mars 2016 Nouvelle Visite de Madame Najat Vallaud-Belkacem, Ministre de l’Education Nationale, de l’Enseignement Supérieur et de la Recherche Ce vendredi 4 mars 2016, Madame Najat Vallaud-Belkacem, Ministre de l’Education Nationale, de l’Enseignement Supérieur et de la Recherche s’est rendue à Lens pour visiter notre laboratoire et échanger avec ses membres. La visite fut l’occasion pour le laboratoire de présenter à la Ministre sa politique scientifique ainsi que quelques applications et projets du laboratoire, à la pointe des recherches en intelligence artificielle. Lui furent notamment exposés des résultats au sujet de la planification flexible avec contraintes pour une application de visite personnalisée de musées, de la détection de tricheries dans des plates-formes de jeux en ligne, des techniques d’analyse automatisée d’arguments échangés sur les plates-formes de démocratie participative, de techniques d’intelligence artificielle générale pour les jeux, et, enfin, le calcul de compromis et de consensus entre différents agents dotés de capacités déductives.
3 mars 2016 Séminaire Présentation de Pharo par Stéphane Ducasse - Stéphane Ducasse (INRIA Lille) Pharo http://www.pharo.org est un langage à objets pur, inspiré de Smalltalk, qui offre une expérience unique de développement en constante interaction avec des objets vivants. Pharo est élégant, fun à programmer et très puissant. Il est très facile à apprendre et permet de comprendre des concepts très avancés de façon naturelle. En programmant en Pharo vous êtes immergés dans un monde d’objets vivants. Vous modifiez en live sans cesse des objets qui peuvent représenter des applications web, du code lui-même, des graphismes, du réseau…
25 févr. 2016 Séminaire Focused proof systems for modal logic - Marco Volpe (INRIA) Focused proofs are sequent calculus proofs that group inference rules into alternating positive and negative phases. These phases can then be used to define macro-level inference rules from Gentzen’s original and tiny introduction and structural rules. In this talk, I will show that the inference rules of labeled proof systems for modal logics can similarly be described as pairs of such positive and negative phases within focused proof system for first-order classical logic.
22 févr. 2016 Nouvelle 6 communications acceptées à KR 2016 Six communications viennent d’être acceptées à la quinzième conférence internationale sur les principes de la représentation des connaissances et du raisonnement (KR 2016). Jerome Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit and Stefan Woltran Merging of Abstract Argumentation Frameworks Jean-Francois Condotta, Issam Nouaouri and Michael Sioutis A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networksi Leila Amgoud, Jonathan Ben-Naim, Dragan Doder and Srdjan Vesic Ranking Arguments With Compensation-Based Semantics Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais and Yakoub Salhi A MIS Partition Based Framework for Measuring Inconsistency Jean-Francois Condotta, Badran Raddaoui and Yakoub Salhi Quantifying Conflicts for Spatial and Temporal Information Jean-Francois Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Mugnier Marie-Laure, Odile Papini, Swan Rocher and Karim Tabia A General Modifier-based Framework for Inconsistency-Tolerant Query Answering (short paper)
12 janv. 2016 Invité(s) Visite de Takehide Soh (Kobe, Japon) Takehide Soh, de l’université de Kobe, Japon, sera en visite au CRIL les 12 et 13 janvier 2016. Takehide Soh travaille sur la résolution de problèmes à base de contraintes par traduction à SAT. Il est l’auteur des outils Scarab et Diet-Sugar.
10 déc. 2015 Séminaire On Anti-Subsumptive Knowledge Enforcement - Jean-Marie Lagniez (Université d'Artois) The anti-subsumptive enforcement of a clause δ in a set of clauses ∆ consists in extracting one cardinality-maximal satisfiable subset ∆0 of ∆ ∪ {δ} that contains δ but that does not strictly subsume δ. In this paper, the computational issues of this problem are investigated in the Boolean framework. Especially, the minimal change policy that requires a minimal number of clauses to be dropped from ∆ can lead to an exponential computational blow-up.
4 déc. 2015 Nouvelle Soutenance de thèse de Nebras Gharbi - Compression et parallélisation en CSP Le 4 décembre 2015, à 14h, salle des thèses de la faculté Jean Perrin Résumé : La programmation par contraintes est un cadre puissant utilisé pour modéliser et résoudre des problèmes combinatoires, employant des techniques d’intelligence artificielle, de la recherche opérationnelle, de théorie des graphes,…, etc. L’idée de base de la programmation par contraintes est que l’utilisateur exprime ses contraintes et qu’un solveur de contraintes cherche une ou plusieurs solutions.
3 déc. 2015 Séminaire Embarrassingly Parallel Search - Jean-Charles Régin (Sophia-Antipolis) We propose the Embarrassingly Parallel Search, a simple and efficient method for solving constraint programming problems in parallel. We split the initial problem into a huge number of independent subproblems and solve them with available workers (i.e., cores of machines). The decomposition into subproblems is computed by selecting a subset of variables and by enumerating the combinations of values of these variables that are consistent w.r.t. the propagation mechanism of a CP Solver.
26 nov. 2015 Séminaire NOOSBEE - Nextoo Noosbee est une plateforme collaborative d’innovation, construite en co-design avec ses utilisateurs. Actuellement en version beta, Noosbee permet de travailler à plusieurs sur une idée ou un concept. L’approfondissement se fait en discutant bien sur, mais aussi en collectant un maximum de sources d’inspirations provenant du web. Au dela de la plateforme, c’est aussi la méthode suivie pour son développement qui est intéressante. Noosbee est donc une belle histoire à raconter !
12 nov. 2015 Séminaire Autour des processus décisionnels de Markov partiellement ordonnés - Hiba Abdelmoumène Les processus décisionnels de Markov (MDPs : Markov Decision Processes) permettent de modéliser des problèmes de décision séquentielle sous incertitude. La première partie de l’exposé présentera d’une manière générale les concepts de base du modèle MDP. Les modèles MDP standards n’intègrent pas d’hypothèses sur les contraintes d’exécution des actions. Dans la deuxième partie de l’exposé, nous nous intéressons, à l’adaptation du modèle MDP afin de prendre en considération les contraintes temporelles, les contraintes de précédence et les durées probabilistes des actions.
26 oct. 2015 Nouvelle ACAI-2015 Le CRIL organise du 26 au 30 octobre 2015 l'école d'été de l'ECCAI à Lille, consacrée à la résolution pratique de problèmes de contraintes en intelligence artificielle. http://www.cril.fr/acai15
30 sept. 2015 Nouvelle Soutenance de thèse de Jean-Guy Mailly - Dynamique des Systèmes d’Argumentation Le 30 septembre 2015, à 14h, salle des thèses de la faculté Jean Perrin Résumé : Cette thèse traite du problème de l’intégration d’une nouvelle information dans un système d’argumentation abstrait. Un tel système est un graphe orienté dont les nœuds représentent les arguments, et les arcs représentent les attaques entre arguments. Il existe divers moyen de décider quels arguments sont acceptés par l’agent qui utilise un tel système pour représenter ses croyances.
30 sept. 2015 Nouvelle Glucose meilleur solveur parallèle de la SAT Race 2015 Le solveur Glucose a remporté la SAT Race 2015 dans la section "solveurs parallèles"
29 sept. 2015 Nouvelle Atelier "Le Changement dans l'Argumentation" les 29 et 30 septembre Le CRIL organise les mardi 29 et mercredi 30 septembre 2015 un atelier sur “Le Changement dans l’Argumentation” à la faculté des sciences Jean Perrin dans le cadre de l’ANR Amande. Le programme détaillé de l’atelier est disponible en ligne.
24 sept. 2015 Séminaire Compilation de réseau de contraintes en MDDG - Jean-Marie Lagniez (CRIL, Université d'Artois)
17 sept. 2015 Nouvelle Soutenance de thèse de Nicolas Schmidt : Compilation de préférences - application à la configuration de produits Le 17/9/2015 à 11h20 en salle des thèses, faculté des sciences Jean Perrin Résumé : L’intérêt des différents langages de la famille des diagrammes de décision valués (VDD) est qu’ils admettent des algorithmes en temps polynomial pour des traitements (comme l’optimisation, la cohérence inverse globale, l’inférence) qui ne sont pas polynomiaux (sous l’hypothèse P≠NP), si ils sont effectués sur le problème dans sa forme originale tel que les réseaux de contraintes ou les réseaux bayésiens.
25 juil. 2015 Nouvelle CoQuiAAS classé premier à la première compétition d'argumentation Le solveur CoQuiAAS a été classé premier à l'issue de la première compétition d'argumentation organisée lors du workshop Theory and Applications of Formal Arguments à l'IJCAI
25 juin 2015 Séminaire Sur les probabilités qualitatives subjectives - Ramón Pino Perez (Université de Los Andes, Merida)
18 juin 2015 Séminaire Lazy improvement converges to Nash equilibrium in games in extensive form - Stephane Le Roux (Université Libre de Bruxelles) We consider a dynamical approach to sequential games. The lazy improvement dynamics are given through a very simple individual updating rule, and, for finite games, are guaranteed to converge to a Nash equilibrium (provided that the preferences are acyclic). Moreover, even if some players have cyclic preferences, the remaining ones will still finite time. Thus, lazy improvement even induces a notion of rational play in the presence of irrational actors. For infinite sequential games we can retain convergence to a Nash equilibrium (in some sense), if the preferences are given by continuous payoff functions; or obtain a trans finite convergence if the outcome sets of the game are Delta^_02-sets.
11 juin 2015 Invité(s) Kamal Kabyl en visite au CRIL du 11 au 24 juin Kamal Kabyl est Maître de conférences à l’Université de Béjaia (Algérie) dans le Laboratoire LAMOS. Il s’intéresse particulièrement aux graphes et à leurs applications, plus spécifiquement le plongements des arbres dans des structures de type hypercube. Il séjourne au CRIL du 11 juin au 24 juin 2015 à l’initiative de Lakhdar Saïs.
11 juin 2015 Nouvelle Journées des doctorants (JDD'15) Du 11 juin au 12 juin, le CRIL organise les journées des doctorants (JDD-2015). Cette année, les doctorants présenteront leurs travaux sous le soleil de Fort-Mahon. Jeudi 11 juin 2015 E. Lonca : Multiobjective optimization : Complexity under compiled constraints and solving using SAT N. Gharbi : Constraint Solving using Parallel Singleton Arc Consistency E. Piette : General Game Playing with Stochastic CSP S.
8 juin 2015 Séminaire Two questions in formal argumentation - Leon van der Torre (University of Luxembourg) In this talk I will discuss two questions in formal argumentation: If abstract argumentation is the answer, then what is the question? How to explain the acceptance of arguments by changing the argumentation framework?
1 juin 2015 Nouvelle Un nouvel ECCAI Fellow au CRIL Salem Benferhat devient ECCAI Fellow en 2015
1 mai 2015 Nouvelle Papiers acceptés à IJCAI'15 6 papiers ont ete acceptés à la conférence IJCAI (Buenos Aires, 2015)
9 avr. 2015 Séminaire Apprentissage incrémental de modèles d'action relationnels - Christophe Rodrigues (LIPN - Université Paris13) Nous nous intéressons à l’apprentissage artificiel pour l’action. Nous nous situons à l’intersection de l’apprentissage par renforcement (RL) et de la programmation logique inductive (ILP). Nous étudions plus précisément l’apprentissage de modèles d’actions. Un modèle d’action décrit les conditions et effets des actions possibles dans un environnement. Il permet d’anticiper les conséquences des actions d’un agent et peut aussi être utilisé par un planificateur. Nous nous intéressons en particulier à une représentation relationnelle des environnements.
2 avr. 2015 Séminaire Le raisonnement qualitatif (QSTR) et leur encodage en SAT - Julien Hue (CRIL, UArtois) Une des méthodes priviligiée pour la résolution de problèmes en raisonnement qualitatif est la traduction en SAT pour déléguer la résolution à un solveur. Je présenterais un panel des encodages populaires pour les calculi RCC8 et Algèbre des Intervalles de Allen. Je pointerai notamment les différences en terme de pouvoir de propagation de ces différents encodages. Je terminerai par un encodage inédit pour RCC8 qui présente de meilleures propriétés de propagation que les encodages de l’état de l’art.
19 mars 2015 Invité(s) Odile Papini nous rend visite le 24 et 25 mars prochain
12 mars 2015 Séminaire Opérateurs d’amélioration à crédibilité limité ou l’histoire de l’éléphant rose - Sébastien Konieczny (CRIL, CNRS) Nous proposons une nouvelle famille d’opérateurs de changement appelés opérateurs d’amélioration à crédibilité limité. L’idée est d’accepter une nouvelle d’information seulement si elle est jugée suffisamment crédible pour l’agent. Si l’information n’est pas suffisamment crédible alors elle n’est pas directement acceptée, mais sa plausibilité est tout de même augmentée dans l’état épistémique de l’agent. Pour cela nous proposons une généralisation des états épistémiques de Darwiche & Pearl, où, en plus de l’ensemble des formules acceptées par l’agent (i.
10 mars 2015 Recrutement Poste de MCF 27e section - CRIL (Lens) - Université d'Artois 27 MCF 0470 – N° Galaxie : 4163 Poste pourvu Recherche : Profil recherche : Intelligence artificielle Lieu(x) d’exercice : Lens – CRIL (Centre de Recherche en Informatique de Lens) UMR 8188 Nom directeur laboratoire : Eric Grégoire ( 03 21 79 17 23 - [email protected] ) Descriptif laboratoire : Le CRIL est une unité mixte de recherche liant le CNRS et l’Université d’Artois. Il regroupe près de 60 personnes sur la thématique de l’intelligence artificielle et de ses applications.
19 févr. 2015 Séminaire XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems - Vincent Perradin (CRIL, UArtois) Dans cet exposé, nous nous présenterons le format XCSP3, pensé pour représenter des problèmes relevant typiquement de la programmation par contraintes. Par le passé, différents formats de représentation ont été proposés, mais aucun d’entre eux ne peut se targuer d’une adoption massive par la communauté PPC. Notre format se veut unificateur et permet de représenter un nombre très important de cadres de travail : problèmes de décision, d’optimisation (possiblement multi-critère), problèmes distribués, stochastiques, booléens, qualitatifs, etc.
5 févr. 2015 Séminaire A (Biased) Proof Complexity Survey for SAT Practitioners - Jakob Nordstrom (KTH Royal Institute of Technology)
31 janv. 2015 Nouvelle Best Paper Award at ICAART 2015 pour Srdjan Vesic How to Decrease and Resolve Inconsistency of a Knowledge Base?
29 janv. 2015 Séminaire A characterization of strongly monotone scheduling mechanisms - Angelina Vidali (UPMC-LIP6) joint work with Annamária Kovács, Goethe University, Frankfurt/M, Germany. My talk deals with the important problem of globally characterizing truthful mechanisms where players have multiparameter valuations like scheduling unrelated machines or combinatorial auctions. Very few mechanisms are known for these multi-parameter settings and the question is: Can we prove that no other truthful mechanisms exist? We characterize truthful mechanisms for n players and 2 tasks for multiple settings: scheduling unrelated machines, combinatorial auctions where the players have additive or subadditive or submodular valuations and all items have to be allocated: A truthful mechanism is either task-independent or a player-grouping minimizer, a new class of mechanisms we discover and which generalizes affine minimizers.
22 janv. 2015 Séminaire Expander CNFs have Exponential DNNF Size - Stefan Mengel DNNFs are a class of Boolean circuits studied in the area of knowledge compilation where they serve as a target language into which knowledge bases are compiled. DNNFs form a very general language; in particular they generalize classical languages like OBDDs and DNF-formulas. While it was known that under standard complexity theoretic assumptions CNF formulas can generally not be compiled into DNNFs without a superpolynomial size blow-up, no concrete, unconditional lower bounds were known for DNNFs.
5 janv. 2015 Invité(s) Invité du CRIL : Professeur Ramón Pino Pérez Ramón Pino Pérez, professeur à l’université De Los Andes, invité du CRIL pour 6 mois (Jan à Juin - 2015)
4 déc. 2014 Séminaire Coalitional games for abstract argumentation - Elize Bonzon (LIPADE, Université Paris Decartes) In this work we address the issue of uncertainty in abstract argumentation. We propose a way to compute the relative relevance of arguments by merging the classical abstract argumentation framework into a game theoretic coalitional setting, where the worth of a collection of arguments can be seen as the combination of the information concerning the defeat relation and the preferences over arguments of a ``user’’. Via a property-driven approach, we show that the Shapley value for coalitional games defined over an argumentation framework, can be applied to resume all the information about the worth of sets of arguments into an attribution of relevance for the single arguments.
27 nov. 2014 Séminaire Application du problème SAT aux fonctions de hachages cryptographiques - Florian Legendre (CRIL, Université d'Artois) La sécurité des systèmes d’information est devenu un besoin primordial dans le monde numérique qui nous entoure. Cette sécurité est garantie principalement par l’utilisation de protocoles et d’algorithmes cryptographiques qui doivent être résistants contre tous types d’attaques. L’analyse de ces algorithmes - qu’on appelle cryptanalyse - a vu naître ces dernières années une nouvelle branche, nommée cryptanalyse logique, qui consiste à étudier un algorithme de chiffrement via l’utilisation de la logique propositionnelle et plus particulièrement du problème SAT.

28 nov. 2024 Séminaire Séminaire de Damien SILEO - Inria, Lille - Improving large langauge models reasoning with adaptive formal reasoning datasets

21 nov. 2024 Séminaire Séminaire de Alexandre Dubray - UC Louvain - Modeling and Solving Probabilistic Inference Model with Projected Weighted Model Counting

Computing probability from probabilistic models is a challenging problem, which is #P-Hard in general. One popular technique for solving such problems is to transform the model into a propositional formula in CNF form and then calculate the formula’s weighted number of models. However, classical encodings only partially translate the input models’ probabilistic features. For example, the distributions are transformed into clauses, but classical model counters do not use the fact that its values sum up to one.

7 nov. 2024 Séminaire Séminaire de Francine Monchau , Olivier Carpentier et Nabil HIHAT - LGI2A - - Analyse d’une chaine numérique pour développement de dispositifs médicaux implantables adaptatifs réalisés par fabrication additive.

Avec le développement des techniques d’impression 3D et notamment celles utilisant des métaux, les dispositifs médicaux (DM) subissent de constantes évolutions. Si, par exemple, aujourd’hui réaliser un DM parfaitement personnalisé en titane est possible, les délais de conception ainsi que la difficulté à obtenir une image médicale 3D pour tous les cas cliniques rendent la personnalisation à grande échelle complexe à mettre en œuvre. Le projet BIP, financé par la région et par le programme de maturation de la SATT (Sociétés d’Accélération du Transfert de Technologies) sera présenté comme retour d’expérience.

9 oct. 2024 Séminaire Conférence Sébastien Konieczny (CRIL) – EurAI Fellow 2024 - Changement de croyances et états épistémiques

Dans cet exposé nous discuterons de la théorie du changement de croyances, en particulier des opérateurs de révision itérée et leurs généralisations. Cette théorie s’intéresse aux opérateurs permettant de modifier les croyances d’un agent (exprimées par des formules logiques – dans cet exposé nous nous focaliserons sur le cas de la logique propositionnelle) lorsqu’il reçoit de nouvelles informations re-mettant en cause une partie de ses croyances. Nous rappellerons le cadre standard de la révision AGM (Alchourron-Gärdenfors-Makinson) et de la révision itérée (Darwiche-Pearl).

27 sept. 2024 Nouvelle Article sur les travaux de Sébastien Konieczny suite à sa nomination en tant qu'EurAI Fellow 2024

Le CNRS Sciences Informatiques vient de publier l’article « Permettre à l’IA de détecter la vérité malgré des sources contradictoires », qui présente les travaux de Sébastien Konieczny et sa nomination en tant qu’EurAI Fellow 2024.

5 sept. 2024 Séminaire Séminaire de Esteban Marquer - Loria, Nancy. - Operationalizing analogical proportions in embedding spaces using deep learning

An analogical proportion (AP) is a relation between four elements A, B, C, and D meaning "A is to B as C is to D", often written as A:B::C:D. For example, "cat : kitten :: dog : puppy" and "cat : cats :: dog : dogs" are two APs between words. Notice that the relation between "cat" and "kitten" is a semantic one (i.e. on the meaning: "kitten" is a young "cat") while the one between "cat" and "cats" is morphological (i.

5 sept. 2024 Nouvelle Best Application Paper Award CP'24

La communication “Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production” par Duc Anh Le, Stephanie Roussel, Christophe Lecoutre et Anouck Chan a obtenu le Best Application Paper Award de la 30th International Conference on Principles and Practice of Constraint Programming (CP'24).

20 juin 2024 Séminaire Séminaire de Arthur Ledaguenel - IRT SystemX - Neural Classification Informed by Prior Knowledge

Neurosymbolic artificial intelligence is a growing field of research aiming to combine neural networks learning capabilities with the reasoning abilities of symbolic systems. We introduce a formalism for supervised multi-label classification informed by prior knowledge. We build upon this formalism to re-frame three abstract neurosymbolic techniques based on probabilistic reasoning. We then evaluate experimentally and compare the benefits of all three techniques across model scales on several informed classification tasks. Finally, we discuss the computational complexity of probabilistic reasoning, which is of cardinal importance to assess the scalability of probabilistic neurosymbolic techniques.

11 juin 2024 Nouvelle Sébastien Konieczny nommé EurAI fellows

Sébastien Konieczny, Directeur de Recherche au CRIL, a été nommé EurAI fellows 2024. Cette nomination récompense ses activités de recherche portant sur la fusion de croyances et la gestion de l’incohérence.

30 mai 2024 Recrutement Poste de PR 27e section 4453 - CRIL (Lens) - Université d'Artois

Fiche détaillée du poste Recherche Le/la candidat(e) devra avoir développé des activités de recherches en intelligence artificielle, concernant un ou plusieurs axes du CRIL (données, connaissances, contraintes). Son projet de recherche devra rencontrer le projet de recherche de l’unité, autour de l’IA explicable et de l’IA au service d’autres disciplines. Enseignement L’enseignement se fera à l’IUT de Lens au sein du département Informatique. La/Le candidat(e) recruté(e) sera susceptible de prendre en charge ou de participer à l’ensemble des modules informatique proposés dans le programme pédagogique du BUT informatique en première année, deuxième année et troisième année, formation initiale ou par alternance.

16 mai 2024 Séminaire Séminaire de Harry Vinall-Smeeth, TU Ilmenau, Germany - Knowledge Compilation, Rectangles and Lower Bounds

Knowledge compilation studies representations of Boolean formulas. An important task is to map out the pros and cons of various representations. In particular, we study the trade-off between the size of representations and the supported queries and transformations. In this talk, we focus on one method for proving lower bounds on representation size. This involves studying so-called combinatorial rectangles: an important concept from communication complexity. The talk will build up to discussing a recent result showing that structured d-DNNF does not support polynomial time negation.

4 avr. 2024 Séminaire Séminaire de Guillaume Lagarde : Université de Bordeaux, LaBRI - Scaling Neural Program Synthesis with Distribution-based Search

In this talk, we will discuss the problem of automatically constructing computer programs from input-output examples, especially when the target language is domain-specific and defined using a context-free grammar. I will introduce a theoretical framework called distribution-based search, discuss its challenges, and present several search strategies based on learning the weights of a probabilistic context-free grammar (PCFG) and then using this PCFG to enumerate the most promising candidate programs efficiently. The presentation will be based on the following paper published at AAAI'2022: https://arxiv.

29 févr. 2024 Séminaire Séminaire de Vincent Derkinderen KU Leuven - ProbLog: Harnessing Knowledge Compilation for Probabilistic Inference in AI

Probabilistic reasoning is a key aspect of artificial intelligence. In this talk we will look at probabilistic reasoning through the lens of ProbLog, a probabilistic logic programming language. This language extends the logical facts and rules of Prolog with probabilistic facts. Probabilistic reasoning in this language is achieved through knowledge compilation techniques. We will delve deeper into the details of this reasoning pipeline and highlight some of ProbLog’s extensions. In particular we consider DeepProbLog, which heavily benefits from inference through d-DNNF compilation.

22 févr. 2024 Séminaire Séminaire Emmanuel Lonca, CRIL. - Clustercril v2024: CRIL cluster, Slurm & good practices

The CRIL cluster has been providing the laboratory’s researchers with computing resources since it was set up in 2009. Since then, the evolution of these resources has been continuous, leading to a heterogeneous architecture in which traditional computing nodes, nodes dedicated to distributed computing, GPU nodes and various servers to drive this computing power cohabit, all driven by the Slurm resource manager. The aim of this talk is to present the calculation tools available, and how to use them (correctly) via Slurm.

18 déc. 2023 Nouvelle Soutenances de thèses du 18 au 22 décembre 2023

Cette semaine, du lundi 18 au vendredi 22 décembre, sept thèses de doctorat vont être soutenues au CRIL. Lundi 18 décembre 10 heures : Steve Bellart, “Calcul d’explications formelles pour les modèles d’apprentissage automatique à ensemble d’arbres” 14 heures : Chouaib Fellah, “Fusion pondérée de bases de croyances” 15 heures : Anthony Blomme, “Explications pour les solveurs SAT” Mercredi 20 décembre 14 heures 30 : Sara Kebir, “Approches légères pour une solution de maison intelligente pour personnes âgées” Jeudi 21 décembre 10 heures : Thibault Falque, “Optimisation des flux passagers et de la gestion de ressources aéroportuaires via des techniques d’apprentissage automatique et de programmation par contrainte” Vendredi 22 décembre 14 heures : Louenas Bounia : “Modèles formels pour l’IA explicable et robuste” 15 heures : Astrid Klipfel : “Equivariant Message Passing Neural Networks and diffusion model for materials science”

14 déc. 2023 Séminaire Séminaire de Celine Hocquette, Oxford University, UK - Inductive learning of logic programs

Inductive logic programming (ILP) is a form of program synthesis. The goal is to learn logic programs that generalise examples. ILP has attractive features such as strong data efficiency and high expressivity. The challenge lies in efficiently searching large hypothesis spaces. We present approaches to improve the learning performance of ILP systems, building on recent progress in constraint programming. We demonstrate the scalability of our approaches to complex problems involving noise or infinite numerical domains.

16 nov. 2023 Séminaire Séminaire de Khaled Belahcene, MICS, CentraleSupélec, Paris-Saclay University, France - Raisonnement et explications pour les modèles robustes de préférences redistributives

Dans différents cadres de prise de décision, telle que la décision collective ou multicritère, il a été proposé de compléter les recommandations issues de systèmes d’aide à la décision par des explications fondées sur des propriétés normatives. Nous étudierons plus particulièrement le cas où les préférences (de la société ou du décideur) sont redistributives, dans le sens où elles favorisent le sort des plus mal lotis, et incomplètes, dans le sens où l’on ne fait pas l’hypothèse habituelle selon laquelle elles forment un préordre total sur les alternatives.

2 nov. 2023 Séminaire Séminaire de Quentin Manière, Department of Computer Science, ScaDS.AI, Leipzig University, Germany - Querying Circumscribed Description Logic Knowledge Bases

Circumscription is one of the main approaches for defining non-monotonic description logics (DLs) and the decidability and complexity of traditional reasoning tasks, such as satisfiability of circumscribed DL knowledge bases (KBs), are well understood. For evaluating conjunctive queries (CQs) and unions thereof (UCQs), in contrast, not even decidability has been established. In our paper at KR this year, we prove decidability of (U)CQ evaluation on circumscribed DL KBs and obtain a rather complete picture of both the combined complexity and the data complexity for DLs ranging from ALCHIO via EL to various versions of DL-Lite.

12 oct. 2023 Séminaire Séminaire autour du projet MAIA - Présentation du projet MAIA

Le Projet MAIA a pour objectif d’accompagner et d’approfondir les nouveaux usages qui apparaissent depuis quelques années dans de nombreux champs scientifiques suite à l’essor de l’intelligence artificielle. Le projet vise à étudier, développer et déployer les interactions fortes existant entre l’intelligence artificielle et trois domaines d’applications phares de l’alliance A2U : la santé (UPJV), la chimie (matériaux, énergie ; UPJV/UArtois) et l’environnement/mer (ULCO) ainsi que sur les aspects économiques, sociologiques, éthiques et juridiques.

5 oct. 2023 Recrutement Chercheur Post-Doctorant (H/F) en intelligence artificielle

Postuler Durée du contrat : 24 mois Date d’embauche prévue : 1 novembre 2023 Missions Le/La condidat.e travaillera sur Intelligence Artificielle neuro-symbolique dans le cadre du projet ANR JCJC ERIANA. Les connaissances de sens commun jouent un rôle de plus en plus important dans le développement des systèmes d’IA. Les connaissances peuvent être exprimées à l’aide de différents formalismes de représentation, y compris des cadres symboliques et des représentations vectorielles, où chacun de ces formalismes a des forces et des faiblesses complémentaires lorsqu’il s’agit d’implémenter le raisonnement.

19 sept. 2023 Nouvelle La conférence ECSQARU'23 se tient à Arras du 19 au 22 septembre 2023

La dix-septième édition de la conférence ECSQARU (European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2023) se tient à Arras, du 19 au 22 septembre 2023. Elle est co-organisée par Zied Bouraoui, Saïd Jabbour et Srdjan Vesic, du CRIL.

14 sept. 2023 Nouvelle Le logiciel Crustabri s'illustre à ICCMA'23

Une équipe composée de Jean-Marie Lagniez (CRIL), Emmanuel Lonca (CRIL) et Jean-Guy Mailly (LIPADE) s’est distinguée lors de l’édition 2023 de l’International Competition on Computational Models of Argumentation (ICCMA'23) avec son logiciel Crustabri. En particulier, Crustabri s’est adjugé les meilleurs résultats dans la track principale en remportant 9 des 13 subtracks ainsi que dans la track dynamique en remportant l’ensemble des 3 subtracks.

17 juil. 2023 Séminaire Séminaire de Kuldeep Meel - University of Toronto - Distinct Elements in Streams: An Algorithm for the (Text) Book.

Given a data stream of m elements, the Distinct Elements problem is to estimate the number of distinct elements in the stream. Distinct Elements has been a subject of theoretical and empirical investigations over the past four decades resulting in space-optimal algorithms for it. However, all the current state-of-the-art algorithms are often difficult to analyze or impractical. I will present a simple, intuitive, sampling-based space-efficient algorithm whose description and the proof are accessible to undergraduates with a knowledge of basic probability theory.

22 juin 2023 Séminaire Séminaire d'Emiliano Lorini - IRIT Toulouse - A Rule-based Modal View of Causal Reasoning

The presentation is based on a paper that will be presented at IJCAI 2023. It introduces a novel rule-based semantics for causal reasoning as well as a number of modal languages interpreted over it. They enable us to represent some fundamental concepts in the theory of causality including causal necessity and possibility, interventionist conditionals and Lewisian conditionals. We provide complexity results for the satisfiability checking and model checking problem for these modal languages.

25 mai 2023 Séminaire Séminaire de Paulius Dilkas - Synthesising Recursive Functions for First-Order Model Counting

First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this talk, I am going to argue that the capabilities of FOMC algorithms to date are limited by their inability to express many types of recursive computations. To enable such computations, we relax the restrictions that typically accompany domain recursion and generalise the circuits used to express a solution to an FOMC problem to directed graphs that may contain cycles.

11 mai 2023 Séminaire Séminaire de Daniel Le Berre - CRIL Univ Artois & CNRS - Logiciel de recherche : valorisation sous licence libre

La loi sur la république numérique de 2016 et le second plan national de la science ouverte favorisent la diffusion du logiciel de recherche sous licence libre par défaut. La valorisation du logiciel dans ce cadre doit se faire en tenant compte de l’environnement spécifique du logiciel libre. Le choix de la licence est notamment important. Le mode de diffusion du logiciel aussi. Les formes de valorisation peuvent être variées. Le but de cet exposé est de présenter de bonnes pratiques pour favoriser la valorisation sous licence libre des logiciels de recherche.

4 mai 2023 Séminaire Séminaire de Sara Riva - Université de Bordeaux - Synthesis and Reprogramming of Boolean networks: a QBF problem

Boolean networks (BNs) are discrete dynamical systems (DDSs) with applications to the modeling of cellular behaviors, such as cellular differentiation and fate decision processes. These models represent the long-term (i.e., fixed points and attractors) and the transient behaviors of the studied phenomena. The synthesis of Boolean networks aims to provide an automatic way of obtaining networks that satisfy the constraints derived from knowledge of the phenomenon. Usually, this knowledge consists of information on the structure of the interaction graph or on the possible states and transitions between the states of the system to be modeled.

26 avr. 2023 Recrutement Chaire de Professeur Junior (CPJ) : Maîtrise des applications de l'IA

Un poste de Chaire de Professeur Junior (CPJ) est à pourvoir pour la rentrée 2023 à l’Université d’Artois, au sein du laboratoire CRIL, sur la thématique “Maîtrise des usages de Intelligence Artificielle”. La chaire proposée concerne la maîtrise des applications de l’IA et l’IA de confiance. Elle s’inscrit dans le cadre du projet PIA4 « Excellences » MAIA (Maîtrise des Applications de l’IA), dont l’université d’Artois a été lauréate en 2022 pour le site A2U (alliance des universités UArtois, ULCO, UPJV).

21 avr. 2023 Recrutement 4 postes d'ATER en informatique (section 27), à Lens

4 postes d’ATER en informatique (section 27) sont ouverts à Lens pour la rentrée 2023. 2 postes à l’IUT de Lens poste s27-2 (100%) poste s27-3 (100%) 2 postes à la faculté des sciences Jean Perrin : Poste s27 (100%) Poste s27-5 (100%) Les candidatures sont ouvertes sur ALTAIR jusqu’au 21 avril. Ces 4 postes d’ATER sont rattachés au CRIL pour la recherche.

6 avr. 2023 Séminaire Séminaire de Moncef Garouani - EILCO /ULCO University - LISIC Laboratory - Big industrial data mining through explainable automated machine learning

Machine learning (ML) has penetrated all aspects of modern life, and brought more convenience and satisfaction for variables of interest. However, building such solutions is a time consuming and challenging process that requires highly technical expertise. This certainly engages many more people, not necessarily experts, to perform analytics tasks. While the selection and the parametrization of ML models require tedious episodes of trial and error. Additionally, domain experts often lack the expertise to apply advanced analytics.

30 mars 2023 Recrutement Deux postes de MCF 27e section - CRIL (Lens) - Université d'Artois

Fiche de poste Galaxie 4416 Fiche de poste Galaxie 4417 Calendrier de la campagne de recrutement synchronisée 2023 Profil recherche des postes Le CRIL souhaite, par ces recrutements, renforcer ses axes de recherche, et en particulier l’axe “données” (apprentissage automatique / fouille de données) et l’axe “connaissances” de l’unité. Il ne s’agit que de coloriages thématiques : les candidatures de très bon niveau en dehors de ces coloriages (mais relevant de l’axe “contraintes” de l’unité et en phase avec son projet scientifique) ont toutes leurs chances.

23 mars 2023 Séminaire Séminaire de Chahrazed LABBA - Loria - Université de Lorraine - L’Apprentissage Centralisé et l’Apprentissage Distribué : Avantages à Saisir et Défis à Relever

Le choix entre l’apprentissage machine centralisé ou distribué dépend des spécificités de chaque projet de machine learning. Alors que l’apprentissage centralisé est souvent plus simple et plus rapide à mettre en place, il peut être limité par la quantité de données disponibles et peut être coûteux en termes de ressources de stockage et de calcul. En revanche, l’apprentissage distribué, comme l’apprentissage fédéré, permet de traiter des données distribuées sur plusieurs appareils, ce qui peut être plus économique et améliorer la confidentialité des données, mais cela peut également introduire des défis liés à la coordination et à la qualité des données.

20 mars 2023 Séminaire Séminaire de Sami Cherif - Université d'Aix Marseille - Raisonnement et inférence pour la satisfiabilité (maximum)

Au cœur de l’informatique et de l’intelligence artificielle, la logique est souvent utilisée comme un langage pour modéliser et résoudre des problèmes complexes issus du milieu académique ou d’applications industrielles. Un formalisme bien connu dans ce contexte est le problème de Satisfiabilité (SAT) qui vérifie simplement si une formule propositionnelle donnée sous la forme d’un ensemble de contraintes, appelées clauses, peut être satisfaite. Une extension naturelle de SAT en problème d’optimisation est la Satisfiabilité Maximum (Max-SAT), qui consiste à déterminer le nombre maximal de contraintes clausales pouvant être satisfaites dans la formule.

16 mars 2023 Séminaire Séminaire de Bruno YUN, University of Aberdeen, UK - Exploring Inverse Problems for Gradual Semantics in Argumentation

Gradual semantics within abstract argumentation associate an acceptability score with every argument in a system, and from which a preference ordering over arguments can be derived. While some semantics operate over standard argumentation frameworks, many utilise a weighted framework, where a numeric initial weight is associated with each argument. Recent work has examined inverse problems for gradual semantics. For example: (i) Given an argumentation framework, a gradual semantics, and a preference ordering as inputs, what weights are needed over arguments in the framework to obtain the desired preference ordering?

16 mars 2023 Séminaire Séminaire de Wissem Inoubli, LORIA Lab, KIT - L'apprentissage de représentation de graphes : opportunités et défis

Les graphes sont des structures de données puissantes qui peuvent représenter des relations et des interactions complexes entre des entités. Par conséquent, l’apprentissage de représentation des graphes a suscité une attention considérable ces dernières années en raison de son potentiel à permettre des prédictions, des recommandations et des prises de décision plus précises dans une variété de domaines. L’un des principaux avantages de l’apprentissage de la représentation de graphes est sa capacité à capturer les informations structurelles locales et globales ainsi que les informations sémantiques dans les graphes.

9 mars 2023 Séminaire Séminaire de Nejat Arinik - INRAE - Multiplicité dans le partitionnement de graphes signés

Selon la théorie de l’équilibre structural, un graphe signé est structurellement équilibré s’il peut être partitionné en sous-groupes mutuellement hostiles (i.e. reliés seulement par des liens négatifs) tout en exhibant une solidarité interne (i.e. contenant uniquement des liens positifs). Mais un réseau réel (i.e. un graphe représentant un système du monde réel) est rarement parfaitement équilibré : on trouvera quelques liens positifs entre les groupes et/ou quelques liens négatifs à l’intérieur de certains groupes.

2 mars 2023 Séminaire Sémianire de Liana Ermakova - Université de Brest - SimpleText: Towards automatic simplification of scientific texts

The general public tends to avoid reliable sources such as scientific literature due to their complex language and lacking background knowledge. Instead, they rely on shallow and derived sources on the web and in social media – often published for commercial or political incentives, rather than informational value. Can text simplification help to remove some of these access barriers? In this talk, I will present the CLEF 2023 SimpleText track tackling technical and evaluation challenges of scientific information access for a general audience.

16 févr. 2023 Séminaire Séminaire de Francesco Ricca - University of Calabria, Italy - Modeling and Solving Problems in the Polynomial Hierarchy with ASP(Q)

Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems in NP in a compact and elegant way. However, modeling problems beyond NP with ASP is known to be complicated, on the one hand, and limited to problems in ΣP2 on the other. Inspired by the way Quantified Boolean Formulas extend SAT formulas to model problems beyond NP, we proposed an extension of ASP that introduces quantifiers over stable models of programs.

12 janv. 2023 Séminaire Séminaire de Pierre Monnin - Orange Lab - Knowledge graphs: construction, matching, and applications

In the Web of data, an increasing number of knowledge graphs (KGs) are concurrently published, edited, and accessed by human and software agents. Their wide adoption makes key their construction, matching, and usage. KG construction can rely on knowledge extraction from various types of data (e.g., text, tables). Matching consists in identifying equivalent, more specific, or somewhat similar units within and across KGs. This task is crucial since concurrent publication and edition may result in coexisting and complementary KGs.

17 nov. 2022 Séminaire Séminaire de Zied Bouraoui - CRIL Univ Artois & CNRS - Inducing Commonsense Knowledge Using Vector Space Embeddings

To be announced

10 nov. 2022 Séminaire Séminaire de Grégory Bonnet - MAD Team - GREYC - Normandie University - Intégration d'une éthique guidée par les valeurs dans les processus décisionnels de Markov

Il s’agit d’un travail conjoint avec Nadjet Bourdache, Abdel-Illah Mouaddib et Mihail Stojanovski. Nous nous intéressons ici à la prise en compte de critères éthiques dans les problèmes de décision séquentielle mono-agents modélisés par des processus décisionnels de Markov. Sans prétendre à une universalité, nous représentons une morale explicite sous forme d’ensembles de valeurs promues ou trahies lors d’une décision et nous caractérisons différentes notions comme causer ou prévenir du mal ou du bien, inspirées du travail du philosophe Samuel Rickless.

7 oct. 2022 Nouvelle Pierre Marquis nommé AAIA Fellow

Pierre Marquis vient d’être nommé Asia-Pacific Artificial Intelligence Association (AAIA) Fellow. La liste des AAIA Fellows est disponible sur le site de l’association.

6 oct. 2022 Séminaire Aide à la co-conception de produits complexes en aéronautique - Anouck Chan - ONERA - Toulouse

La création de produits complexes comme un avion ou un satellite, implique non seulement la conception du produit lui-même, mais aussi celle de son moyen de production (comme son usine, ou plus particulièrement sa ligne d’assemblage). Cette nécessité de double conception est motivée par deux facteurs : (1) Les choix de design du produit conditionnent le moyen de production. Par exemple, le choix du matériau du fuselage d’un avion peut impliquer l’utilisation de machines spécifiques.

29 sept. 2022 Séminaire Explainability of possibilistic and fuzzy rule-based systems - Ismail Baaj - CRIL

Today, advances in Artificial Intelligence (AI) have led to the emergence of systems that can automate complex processes, using models that can be difficult to understand by humans. When humans use these AI systems, it is well known that they want to understand their behaviors and actions, as they have more confidence in systems that can explain their choices, assumptions and reasoning. The explanatory capability of AI systems has become a user requirement, especially in human-risk environments such as autonomous vehicles or medicine.

20 juil. 2022 Nouvelle Prix du meilleur article étudiant IPMU'22 pour Sara Kebir

Sara Kebir a obtenu le prix du meilleur article étudiant à IPMU'2022

13 juil. 2022 Nouvelle Projet MAIA lauréat de l'AAP PIA4 ExcellenceS

Le projet MAIA lauréat de l'AAP "ExcellenceS sous toutes ses formes" du PIA4

13 juil. 2022 Nouvelle Papiers acceptés à IJCAI'22

7 papiers ont été acceptés à la conférence IJCAI (Vienne, 2022)

12 juil. 2022 Séminaire Hybrid AI Systems Grounded on Just−in−time Qualitative Spatio−Temporal Reasoning - Michail Sioutis - University of Bamberg

I describe a research roadmap for going beyond the state of the art in AI, and Qualitative Spatial and Temporal Reasoning (QSTR) in particular, and building hybrid architectures for AI that involve also robust and dynamic symbolic computation. Simply put, QSTR is a major field of study in AI that abstracts from numerical quantities of space and time by using qualitative descriptions instead (e.g., precedes, contains, is left of), with applications in a plethora of areas and domains such as smart environments, intelligent vehicles, and unmanned aircraft systems.

7 juil. 2022 Séminaire Manthan: A Data-Driven Approach for Boolean Functional Synthesis. - Priyanka Golia - IIT Kanpur, Inde et NUS, Singapour

Given a relational specification between Boolean inputs and outputs, the problem of Boolean functional synthesis is to construct each output as a function of the inputs such that the specification is met. Synthesizing Boolean functions is one of the challenging problems in Computer Science. It has seen multiple proposals, including incremental determination, decomposition techniques from knowledge compilation, and counterexample guided refinement techniques via self-substitutions. In this talk, we will discuss Manthan, a novel data-driven approach for Boolean functional synthesis.

7 juil. 2022 Séminaire Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. - Nicolas Schwind - AIST Tokyo

Team formation is the problem of deploying the least expensive team of agents while covering a set of skills. Once a team has been formed, some of the agents considered at start may be finally defective and some skills may become uncovered… I will first recall two solution concepts that have been recently introduced to deal with this issue in a proactive manner: one may form a team which is robust to changes so that after some agent losses, all skills remain covered; or one may opt for a recoverable team, i.

9 juin 2022 Séminaire A tutorial on enumeration complexity: defining traceability - Yann Strozecki

We review the different ways tractability is defined in enumeration using as complexity measure total time, incremental time, delay and space. We present the associated complexity classes and show how they relate. The focus is on understanding incremental polynomial time and polynomial delay and the typical algorithms with this complexity. We also briefly present low complexity classes and some possible alternative to exhaustive enumeration.

12 mai 2022 Séminaire Knowledge-Based Profile Dynamics - Eduardo Fermé - University of Madeira

In the last two decades, user profiles have been used in several areas of information technology. In the literature, the vast majority of research works, and systems focus on the creation of profiles (using Data Mining techniques based on user navigation history) and their dynamics are made by means of systematic recreation of the profiles, without using the last used profile. In this talk we propose to formalize the creation, representation, and dynamics of profiles in a Knowledge-Driven perspective.

14 avr. 2022 Séminaire Production de connaissances compréhensibles et sémantiquement riches à partir de données distribuées, connectées et fortement hétérogènes. - Salma SASSI - Université de Jendouba, Tunisie

Les systèmes d’information des entreprises actuelles sont de plus en plus " submergés " par des données distribuées, connectées et de tous types (structurées, semi-structurées et non structurées). Cette croissance et « Big Data », ont transformé́ tous les aspects de l’entreprise et de la société́ actuelle, et ont créé de nouveaux défis pour les entreprises et pour la communauté scientifique, parmi lesquels comment comprendre et analyser de telles masses de données afin d’en extraire des connaissances sémantiquement riches.

14 avr. 2022 Séminaire Quantum Machine Learning - Kaoutar Benlamine

Quantum Machine Learning is on the borderline between quantum computing and machine learning and deals with data processing in very large dimensions. It is a new area of study with the recent work on quantum versions of supervised and unsupervised algorithms. In this presentation, I will start by giving an overview of the general concepts of machine learning as well as the quantum computation, then I will show my contributions concerning the quantum one model clustering and multi model clustering.

7 avr. 2022 Séminaire Apprentissage de représentations profondes sur graphes pour l'analyse de données complexes - Akrem Sellami

L’apprentissage profond sur les graphes, et plus généralement sur les données structurées non-euclidiennes, est récemment devenu un sujet principal dans le domaine de l’apprentissage automatique, avec de nombreuses applications dans la classification d’images, la détection de communautés, les systèmes de recommandation, le traitement du langage naturel, la classification des molécules, la prédiction d’interface protéique, la chimie quantique, épidémiologie….. etc. En particulier, les modèles profonds tels que les réseaux de neurones sur graphes (Graph Neural Networks) sont devenus des outils très populaires, avec leurs succès dans nombreuses applications.

7 avr. 2022 Séminaire Guider l'intuition en mathématiques grâce à l'IA - Guillaume Bressan - ENS

L’émergence d’un théorème en mathématiques est généralement précédée d’une phase d’observation de la part du mathématicien. Son travail d’observation consiste alors à trouver des corrélations entres les différents aspects des objets qu’il manipule pour en déduire des formules. Le papier présenté pendant ce séminaire décrit comment l’on peut mettre la main sur ce genre de corrélations de façon automatique grâce à des algorithmes de deep learning. L’IA permet alors d’étendre le champ des observations possibles et de guider les yeux du mathématicien dans son travail de recherche.

31 mars 2022 Séminaire Regionalized optimisation and message passing algorithms - Grégoire Sergeant

We will explain how, motivated by the study of the General Belief Propagation algorithm, which is known to solve variational inference under constraints on the marginal of probability distributions (minimization of Bethe Free Energy), we can define a theoretical framework for a whole new class of optimisation problems built by gluing together local optimization problems. We will show that critical points of these optimization problems are fix points of new message passing algorithms.

31 mars 2022 Recrutement Un poste de MCF 27e section - CRIL (Lens) - Université d'Artois

Fiche de poste Galaxie 4385 Calendrier de la campagne de recrutement synchronisée 2022 Profil recherche du poste Le CRIL souhaite, par ce recrutement, renforcer son ouverture sur le thème des données, et particulièrement de l’apprentissage automatique et/ou de la fouille de données. Les projets de recherche des candidats et candidates devront s’inscrire dans ces thématiques. Une expérience post-doctorale est attendue. Les candidatures féminines sont fortement encouragées. Pour être recruté(e), la qualité du dossier scientifique du candidat ou de la candidate sera primordiale.

24 mars 2022 Séminaire Applications of Stochastic Processes and Machine Learning - Abdelrahman EID - IMT Nord Europe

Markov chain Monte Carlo (MCMC) algorithms have played a significant role in Statistics, Physics and Computing science over the last two decades. Among the large class of these sampling algorithms, the Metropolis algorithm is found among the ten algorithms which have the greatest influence on the development of science and engineering in the 20th century (Beichl and Sullivan, 2000). We first present some of the applications of MCMC for graphs and networks sampling where mathematical proofs and simulations will be introduced.

17 mars 2022 Séminaire Ludii: Un nouveau souffle pour le General Game Playing - Eric Piette - Maastricht University

Le General Game Playing (GGP) a pour objectif de concevoir des techniques d’Intelligence Artificielle capable de jouer à un ensemble de jeux conséquent plutôt qu’être dédié à un jeu particulier. Ce domaine a connu un essor important pendant près de 15 ans à l’aide du Game Description Language (GDL) issu des travaux du Stanford Logic Group. Ce langage est à la source de nombreux travaux sur les techniques de résolutions de jeux comme le bien connu Monte Carlo Tree Search (MCTS).

10 mars 2022 Séminaire Éléments d’informatique quantique - Mouny Samy Modeliar

Depuis les années 90, des algorithmes comme celui de Peter Shor [Shor, 1997] ont permis de réaliser le gain substantiel que représenterait la réalisation d’un ordinateur quantique. Dès lors, de grandes entreprises et certains états ont mobilisé de nombreux moyens pour y parvenir. Parallèlement, une recherche très active se développe dans cette éventualité. Tour à tour, les différentes communautés scientifiques s’emparent de ces outils. La communauté RO organise des écoles d’été en lien avec de nouveaux masters (Sorbonne, Master parcours IQ), des liens très forts sont développés en géométrie algébrique [Jaffali, 2020] et des articles comme celui de Montanaro sur le backtracking quantique [Montanaro, 2016] amènent la réflexion à maturité, notamment pour SAT et CSP.

10 mars 2022 Nouvelle 9èmes journées MAFTEC au CRIL

Les 9èmes journées du groupe de travail du GdR IA sur la planification Multi-Agent, Flexible, Temporelle, Épistémique et Contingente (MAFTEC) auront lieu au CRIL à Lens du 8 au 10 mars 2022.

24 févr. 2022 Séminaire Vers des Classifieurs d'images Ontologiquement Explicables - Mourad Bouneffa, Grégory Bourguin, Arnaud Lewandowski et Adeel Ahmad - LISIC, Université du Littoral Côte d'Opale

Depuis presque deux ans l’équipe SysReIC du LISIC a entrepris des travaux de recherche concernant la problématique de l’eXplicabilité des IA avec une approche orientée vers la prise en compte de la terminologie des utilisateurs qui sont souvent des experts d’un domaine donné. Issus des domaines du Génie Logiciel (GL), des Interactions Homme-Machine (IHM) et de l’Ingénierie des Connaissances (IC), les membres de l’équipe SysReIC ont adopté une démarche de mise en œuvre de l’explicabilité mobilisant les savoir-faire et connaissances acquis dans leurs domaines d’origine.

25 janv. 2022 Nouvelle Evolution de la structure en axes du CRIL

La structure du CRIL évolue pour passer de deux axes à trois axes. Un nouvel axe centré sur la notion de données est créé. Les deux axes historiques du laboratoire centrés sur les notions de connaissances et de contraintes sont conservés.

9 déc. 2021 Séminaire Enjeux liés aux ressources termino-ontologiques en santé - Fleur Mougin - Université de Bordeaux

On recense un nombre important de ressources termino-ontologiques (RTOs ) en santé, qui sont non seulement volumineuses mais aussi de différents types (classifications, thésaurus, ontologies…). Dans ce séminaire, je décrirai les enjeux liés à l’utilisation des RTOs en santé et j’aborderai plus précisément trois problématiques : l’évaluation de la qualité des RTOs biomédicales, leur interopérabilité sémantique et la conception de nouvelles RTOs.

25 nov. 2021 Séminaire Deep learning appliqué à la génération de matériaux - Arthur Klipfel - Univ Artois

La recherche et développement est un processus particulièrement long et coûteux en science des matériaux. Pour pouvoir l’accélérer, le machine learning est déjà très utilisé pour des tâches de modélisation et de génération. Cependant, même si les techniques utilisant des réseaux de neurones profonds ont déjà fait la preuve de leurs capacités pour les problèmes de classifications en chimie, peu de modèles génératifs convaincants existent. Mais quelles sont les contraintes spécifiques de la génération de matériaux?

4 nov. 2021 Séminaire Learning the structure of Bayesian Networks using constraint programming - George Katsirelos - MIAT INRA

Bayesian networks are probabilistic graphical models with a wide range of application areas including gene regulatory networks inference, risk analysis and image processing. Learning the structure of a Bayesian network (BNSL) from discrete data is known to be an NP-hard task. In this talk, I will present some recent work on attacking this problem by combining techniques from constraint programming and integer programming. I will show that a subclass of violated inequalities from a well known exponentially large formulation of the problem can be detected efficiently and the resulting LP solved approximately, all using techniques derived from constraint programming.

21 oct. 2021 Séminaire Clustercril v2022 : présentation de la nouvelle architecture et de Slurm - Emmanuel Lonca - CRIL, Univ Artois & CNRS

Le cluster du CRIL met à disposition des chercheurs du laboratoire des moyens de calcul depuis sa mise en place en 2009. L’évolution de ces moyens est continue depuis lors, aboutissant à une architecture hétérogène dans laquelle cohabitent des nœuds de calcul traditionnels, des nœuds dédiés au calcul distribué, des nœuds GPU, ainsi que différents serveurs permettant d’animer cette puissance de calcul. Cette évolution matérielle, ainsi que celle en terme d’offre logicielle, nécessitent une refonte du cluster dans une mesure qui n’a pas été atteinte depuis 2013.

24 juil. 2021 Nouvelle Gilles Audemard reçoit le prix de la conférence CAV

Gilles Audemard a reçu avec 20 autres chercheurs ce vendredi 23 juillet le prix de la conférence internationale Computer-Aided Verification pour ses contributions aux travaux fondateurs théoriques et pratiques sur le problème de la cohérence modulo une théorie (SMT). Voir l’annonce complète (en anglais).

19 juil. 2021 Nouvelle Le CRIL lauréat d'un appel à manifestation d'intérêt de Confiance.ai

Les partenaires du programme Confiance.ai ont souhaité associer la communauté de recherche académique, en complément des laboratoires et instituts déjà présents en leur sein (Inria, CEA, IRT Saint-Exupéry, IRT SystemX), à la résolution de ses défis scientifiques et technologiques. Pour cela, un appel à manifestation d’intérêt a été publié fin 2020 à destination des laboratoires académiques. Les lauréats de cet AMI ont été dévoilés fin juin. Le CRIL fait partie de ces lauréats, dans le cadre du projet “Explications intelligibles”.

17 juin 2021 Séminaire A Simple Framework for Cognitive Planning - Frédéric Maris - IRIT Toulouse

We present a novel approach to cognitive planning, i.e., an agent’s planning aimed at changing the cognitive attitudes of another agent including her beliefs and intentions. We encode the cognitive planning problem in an epistemic logic with a semantics exploiting belief bases. We study a NP-fragment of the logic whose satisfiability problem is reduced to SAT. We provide complexity results for the cognitive planning problem. Moreover, we illustrate its potential for applications in human-machine interaction in which an artificial agent is expected to interact with a human agent through dialogue and to persuade the human to behave in a certain way.

22 avr. 2021 Nouvelle Romain Wallon obtient un accessit au prix de thèse IA 2021 de l'AFIA

Romain Wallon, qui a fait sa thèse au CRIL sous la direction de Daniel Le Berre, Pierre Marquis et Stefan Mengel, vient d’obtenir un accessit au prix de thèse IA 2021 de l’Association Française d’Intelligence Artificielle. https://afia.asso.fr/breves-davril-2021/ L’AFIA propose chaque année de participer au prix de Thèse en Intelligence Artificielle, pour faire connaître et reconnaître les meilleurs travaux de recherche des jeunes chercheurs de la discipline.

11 mars 2021 Séminaire Baby Description Logic - Ivan Varzinczak

This talk will give a brief introduction to formal ontologies, description logics and their applications.

3 mars 2021 Recrutement Learning concept representations from few examples for NLP systems

The CRIL (CNRS & Artois University) invites applications for an M2 Research internship of 6 months. It will focus on learning concept representations from few examples for NLP systems. Start date: April 1st, 2021. Deadline for applications: March 15th, 2021. Keywords: Natural language processing, learning concept representation, few-shot learning More details are available at : http://www.cril.univ-artois.fr/~bouraoui/advert/stageM2_morgan.pdf For any information or application please contact Zied Bouraoui ([email protected])

26 févr. 2021 Recrutement Post-doc Position (H/F) - Chaire IA BE4musIA (Belief Change for Multi-Source Information Analysis) - 2 ans

Nous proposons un poste de post-doc en intelligence artificielle. Ce poste s’inscrira dans le cadre de la Chaire IA BE4musIA (Belief change for multi-source information analysis), dont le but est d’étudier les outils provenant de la théorie du changement de croyances, et plus généralement du domaine de la représentation des connaissances et du raisonnement, afin d’améliorer l’analyse des informations multi-sources. Postuler Profil recherché Nous encourageons toutes les candidatures de collègues ayant des compétences en lien avec une des thématique du projet.

26 févr. 2021 Recrutement 2 postes de MCF 27e section - CRIL (Lens) - Université d'Artois

Fiche de poste Galaxie 4358 Fiche de poste Galaxie 4359 Profil recherche des postes Le CRIL souhaite, par ces recrutements, renforcer son ouverture sur les thèmes de son projet scientifique pour le contrat en cours. Les recrutements pourront concerner l’un ou l’autre de ses deux axes : représentation des connaissances et des raisonnements, algorithmes pour l’inférence et contraintes. Les projets de recherche des candidat.e.s devront s’inscrire dans les thèmes du projet de recherche développé aujourd’hui au CRIL, et concerner, par exemple, un des sujets suivants : l’explication, la vérification, l’apprentissage, l’inférence.

18 févr. 2021 Séminaire Prédiction automatique de constante d'association avec une cyclodextrine : résultats préliminaires - Tahil Gökhan

On s’intéresse dans ce travail à prédire la constante d’association entre deux molécules, une molécule appelée « hôte », l’autre appelée « invité ». La constante d’association représente la « robustesse » de l’assemblage des deux molécules. On s’intéresse pour l’hôte à une famille de molécules particulières, les cyclodextrines (qui ont une cavité caractéristique). Cette constante peut être déterminée de diverses manières, par modélisation à partir de la géométrie des molécules, ou de manière expérimentale.

22 janv. 2021 Nouvelle Eric Grégoire nommé membre d'honneur de la SIF

Eric Grégoire, professeur des universités à l’Université d’Artois, fondateur du CRIL qu’il a dirigé jusqu’en septembre 2018, et à l’origine du développement de la filière informatique à l’université d’Artois, vient d’être nommé membre d’honneur de la Société Informatique de France (SIF). https://www.societe-informatique-de-france.fr/2021-membres-dhonneur/ La Société informatique de France distingue chaque année des personnalités pour leur engagement dans la promotion de la discipline Informatique, que ce soit dans la société, l’enseignement, la recherche ou l’industrie.

23 oct. 2020 Nouvelle Présentation du CRIL dans le numéro 2 du magazine ActuIA

Une présentation du CRIL en deux pages apparaît dans le numéro 2 du magazine ActuIA (www.actuia.com). Ce numéro est actuellement en kiosque.

1 oct. 2020 Séminaire Probabilistic Graphical Models and Marginal Estimation. - Olivier Peltre

Graphical models capture structural assumptions about a high dimensional probability distribution, and occur in the context of statistical thermodynamics, telecommunications (decoding) and artificial intelligence. The global probability is assumed to factorise as a product of local functions, conviently represented as nodes in a so-called factor graph. The first part of this talk will introduce the basic concepts of statistical physics and their application to Boltzmann machines. In particular, working at the level of energies (i.

24 sept. 2020 Séminaire METRICS: rEproducible sofTware peRformance analysIs in perfeCt Simplicity - Thibault FALQUE, Romain WALLON, Hugues Wattez

Ces deux exposés consisteront en un tutoriel présentant l’utilisation de l’outil d’analyse de résultats METRICS. Pour cela nous pourrons partir directement de vos outputs d’XP pour les analyser en live ! METRICS s’adaptera à vous ! Si vous n’en avez pas, nous pourrons partir des résultats de SAT2020. Concernant les pré-requis il est important d’avoir Python 3.8 sur sa machine ainsi que Jupyter.

17 sept. 2020 Séminaire METRICS: rEproducible sofTware peRformance analysIs in perfeCt Simplicity - Thibault FALQUE, Romain WALLON, Hugues Wattez

Ces deux exposés consisteront en un tutoriel présentant l’utilisation de l’outil d’analyse de résultats METRICS. Pour cela nous pourrons partir directement de vos outputs d’XP pour les analyser en live ! METRICS s’adaptera à vous ! Si vous n’en avez pas, nous pourrons partir des résultats de SAT2020. Concernant les pré-requis il est important d’avoir Python 3.8 sur sa machine ainsi que Jupyter.

31 août 2020 Nouvelle Un article co-écrit par des membres du CRIL distingué à ECAI'2020

L'article de Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis et Valentin Montmirail intitulé Consolidating Modal Knowledge Bases a été distingué à ECAI'2020.

18 juin 2020 Nouvelle Stefan Mengel reçoit un ACM SIGMOD Research Highlight Award

Stefan Mengel et ses co-auteurs viennent de recevoir un ACM SIGMOD Research Highlight Award lors de la conférence PODS 20 pour une version étendue de leur article ICDT 2019.

29 mai 2020 Nouvelle D’un laboratoire universitaire à 40 millions d’utilisateurs, l’aventure d’un logiciel libre

Dans cet article publié par "The Conversation", Daniel Le Berre revient sur l'intégration du logiciel libre Sat4j par Eclipse.

28 mai 2020 Nouvelle Parution des trois volumes A Guided Tour of Artificial Intelligence Research

Les 3 volumes de A Guided Tour of Artificial Intelligence Research viennent de paraître chez Springer

28 mai 2020 Nouvelle Parution de « l’Intelligence Artificielle : de quoi s’agit-il vraiment ? »

Le GDR IA du CNRS, sous la co-coordination de notre collègue Sébastien KONIECZNY et de Henri PRADE, a dirigé la rédaction d’un livret de 100 pages contribuant à la vulgarisation scientifique de l’intelligence artificielle.

17 mai 2020 Nouvelle Papiers acceptés à IJCAI'20

8 papiers ont été acceptés à la conférence IJCAI (Yokohama, 2020)

29 avr. 2020 Nouvelle L'université d'Artois lauréate de cinq financements « contrats doctoraux en IA » de l'ANR

L’ANR vient de dévoiler les lauréats de l’appel à programmes « contrats doctoraux en IA ». Le programme Vivah de l’université d’Artois s’intègre dans le cadre d’une politique de recherche sur l’IA qui a été développée depuis plus de 25 ans (notamment, au sein du CRIL), et qui a conduit, au sein de l’établissement, à la création du domaine d’intérêt majeur (DIM) « Intelligence Artificielle ». Le programme inclut :

13 mars 2020 Nouvelle Le projet H2020 TAILOR de réseau d’excellence européen en IA accepté

Le CRIL fait partie des quelques partenaires français du projet H2020 appelé TAILOR, monté par la confédération européenne CLAIRE de laboratoires de recherche en IA et proposé en réponse à l’appel ICT-48 RIA ‘‘Proposal on the Foundations of Trustworthy AI", visant à bâtir un réseau d’excellence européen en IA. TAILOR est l’acronyme de “Trustworthy AI Integrating Learning, Optimisation and Reasoning”. Le projet qui vient d’être accepté, regroupe 55 partenaires (universités, centres de recherche, partenaires industriels) issus d’un large ensemble de pays à travers l’Europe.

28 févr. 2020 Recrutement Poste de PR 27e section 4338 - CRIL (Lens) - Université d'Artois

Profil recherche du poste le CRIL souhaite, par ce recrutement, renforcer ses activités sur des thèmes forts du laboratoire, dans l’un ou l’autre de ses deux axes : représentation des connaissances et des raisonnements, algorithmes pour l’inférence et contraintes. Les profils recherche des candidat.e.s devront donc être centrés sur les sujets de recherche développés aujourd’hui au CRIL, et concerner au moins un des sujets suivants : les logiques modales et de description, le raisonnement non monotone et dans l’incertain, l’argumentation, la fouille de données à base de contraintes, la résolution de problèmes ‘’Beyond NP’’ et la compilation de connaissances.

28 févr. 2020 Recrutement Poste de PR 27e section 4337 - CRIL (Lens) - Université d'Artois

Profil recherche du poste le CRIL souhaite, par ce recrutement, renforcer ses activités sur des thèmes forts du laboratoire, dans l’un ou l’autre de ses deux axes : représentation des connaissances et des raisonnements, algorithmes pour l’inférence et contraintes. Les profils recherche des candidat.e.s devront donc être centrés sur les sujets de recherche développés aujourd’hui au CRIL, et concerner au moins un des sujets suivants : les logiques modales et de description, le raisonnement non monotone et dans l’incertain, l’argumentation, la fouille de données à base de contraintes, la résolution de problèmes ‘’Beyond NP’’ et la compilation de connaissances.

19 févr. 2020 Séminaire Iterative Voting with Social Networks and Public Opinion Polls - Anaëlle Wilczynski - TU München

This talk deals with strategic voting under incomplete information where agents can iteratively change their voting intention, based on the information they receive from their environment. We propose a descriptive model, inspired by political elections, where the information that the agents receive comes from public opinion polls and social networks. The voters are assumed to be confident in the poll and they update the results communicated by the polling agency with the information they get from their relatives in the social network.

23 janv. 2020 Séminaire How to define gradual semantics for weighted argumentation graphs? - Dragan Doder - Utrecht University

Argumentation is a reasoning approach based on the justification of claims by arguments. It has been used for solving different Artificial Intelligence problems, including decision making, reasoning with defeasible information and classification. An argumentation framework is a directed graph, in which the nodes represent arguments, and the edges represent attacks between pairs of arguments. Gradual semantics are methods of evaluating arguments in graphs, that assign to each argument a numerical value, representing its strength.

16 déc. 2019 Nouvelle Le CRIL lauréat de deux chaires en IA de l'ANR

L’ANR vient de dévoiler les lauréats de l’appel à projets « Chaires de recherche et d’enseignement en intelligence artificielle ». Sur 40 chaires financées, le CRIL obtient le financement de deux projets : BE4musSIA BElief change FOR better MUlti-Source Information Analysis porté par Sébastien Konieczny EXPEKCTATION EXPlainable artificial intelligence: a KnowlEdge CompilaTion FoundATION porté par Pierre Marquis. Ces deux chaires sont complétées au niveau de l’université d’Artois par la chaire « Responsible AI » portée par Nathalie Nevejans et à laquelle participent des membres du CRIL.

13 déc. 2019 Séminaire Satisfiabilité propositionnelle et théorie des graphes - Soutenance de thèse - Yazid Boumarafi

Le problème de cohérence en logique propositionnelle (SAT) consiste à déterminer s’il existe une interprétation booléenne d’une formule propositionnelle donnée la rendant vraie. Il est l’un des problèmes centraux en théorie de la complexité et en informatique de manière générale. Étant un problème NP-complet, plusieurs classes traitables de ce problème ont été identifiées dans la littérature (Horn, Horn-renommable, Krom, etc). Une classe traitable d’un problème peut être vue comme une partie des entrées possibles pour laquelle le problème peut être résolu par une procédure s’exécutant en temps polynomial.

11 déc. 2019 Séminaire Hybridation de techniques d’apprentissage de clauses en programmation par contraintes - Soutenance de thèse - Gael Glorian

Cette thèse s’inscrit dans le domaine de la programmation par contraintes (CP), un des paradigmes les plus efficaces pour résoudre de nombreux problèmes (de nature combinatoire) en IA. Nous nous sommes intéressés à l’amélioration des techniques de résolution CSP (problème de satisfaction de contraintes), notamment dans un contexte hybride en utilisant la puissance des moteurs d’inférence SAT (problème de satisfaction booléenne). Nous avons ainsi développé plusieurs techniques concernant l’analyse de conflits afin d’extraire des informations utiles pour la résolution, grâce à une analyse fine suivie d’une forme d’apprentissage.

28 nov. 2019 Séminaire Dynamic epistemic logic for distributed computing - asynchrony and concurrency - Hans van ditmarsch

We will present some recent work on asynchrony and concurrency in dynamic epistemic logics (DEL), building on foundations in distributed computing and temporal epistemic logics. Asynchrony can be modelled by reasoning over histories of actions of different length. How to do this in DEL was proposed by [Dégremont, Löwe, Witzel: TARK 2011]. By equivalence relations on protocol-generated forests along different depths of trees, they can identify action histories of different length.

27 nov. 2019 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 ».

26 nov. 2019 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 :

21 nov. 2019 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.

24 oct. 2019 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.

17 oct. 2019 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é.

3 oct. 2019 Séminaire General Game Playing : que peut apporter la Programmation Par Contraintes ? - Cédric Piette

Depuis la présentation du Game Description Language (GDL) en 2005, puis de ses extensions, de nombreux "programmes-joueurs" ont été proposés. Contrairement aux algorithmes dédiés, conçus pour un jeu donné, ceux-ci visent à être capables de jouer à n’importe quel jeu codé en GDL, sans expertise préalable ni technologie dédiée à un jeu particulier. Les meilleurs programmes-joueurs mondiaux utilisent une technique appelée Monte Carlo Tree Search (MCTS), qui est une approche heuristique basée sur un échantillonnage aléatoire des états atteignables dans un jeu.

13 juin 2019 Nouvelle Papiers acceptés à IJCAI'19

3 papiers ont été acceptés à la conférence IJCAI (Macao, 2019)

16 mai 2019 Séminaire La logique de typicité propositionnelle - Ivan Varzinczak - CRIL CNRS & Univ Artois

Dans cet exposé, je présenterai la logique de typicité propositionnelle PTL. Cette logique enrichît la logique propositionnelle classique avec un opérateur unaire permettant de représenter de façon explicite une notion de typicité d’une formule. L’intuition derrière cet opérateur est de capturer les situations les plus typiques (ou normales, ou conventionnelles, en fonction de l’application en question) où une formule donnée est vraie. La sémantique de PTL est en termes de modèles préférentiels, plus précisément les modèles modulaires, étudiés dans l’approche KLM pour le raisonnement non monotone.

9 mai 2019 Séminaire Trust-sensitive Belief Revision - Richard Booth - Cardiff University, UK

Belief revision is concerned with incorporating new information into a pre-existing set of beliefs. When the new information comes from another agent, we must first determine if that agent should be trusted. In this talk, we define trust as a pre-processing step before revision. We emphasise that trust in an agent is often restricted to a particular domain of expertise. We demonstrate that this form of trust can be captured by associating a state partition with each agent, then relativising all reports to this partition before revising.

2 mai 2019 Séminaire Beyond NP Revolution - Kuldeep Meel - National University of Singapore

The paradigmatic NP-complete problem of Boolean satisfiability (SAT) solving is a central problem in Computer Science. While the mention of SAT can be traced to early 19th century, efforts to develop practically successful SAT solvers go back to 1950s. The past 20 years have witnessed a "NP revolution" with the development of conflict-driven clause-learning (CDCL) SAT solvers. Such solvers combine a classical backtracking search with a rich set of effective heuristics.

25 avr. 2019 Séminaire A Gentle Introduction to Communication Complexity - Stefan Mengel

Communication complexity is a classical subarea of theoretical computer science that is however not very well known in other parts of computer science. It studies basic questions on the communication costs when solving computational problems. There are many applications, e.g. in chip design, distributed algorithms and, more interestingly for AI researchers, in knowledge compilation. Here I will give a very gentle introduction into some of the basic concepts of communication complexity.

18 avr. 2019 Séminaire Imprecise probabilities in supervised learning: principles and challenges - Sébastien Destercke

Iin this talk, we will first introduce and motivate the verybasic principles of imprecise probabilistic (IP) approaches, that replace precise-valued probabilities and expectations by bounded intervals. The talk will then focus on the use of IP in supervised classification, using the extension of the naive Bayes classifier as an illustration. Finally, we will briefly mention some challenges concerning the application of IP to supervised learning over combinatorial domains.

15 avr. 2019 Recrutement 4,5 postes d'ATER en informatique (section 27), à Lens

4,5 postes d’ATER en informatique (section 27) sont ouverts à Lens pour la rentrée 2019. 2 postes à l’IUT de Lens poste 1 (100%) poste 2 (100%) 2,5 postes à la faculté des sciences Jean Perrin : Poste 3 (100%) Poste 4 (50%) Poste 5 (100%) Les candidatures sont ouvertes sur ALTAIR jusqu’au 30 avril. Ces 4,5 postes d’ATER sont rattachés au CRIL pour la recherche.

28 mars 2019 Séminaire Introduction au réseaux de neurones profonds : keep calm and do gradient descent. - Jean-Baptiste Gouray

Ces deux exposés consisteront en des travaux pratiques en jupyter notebook (python). L’idée est de comprendre sur un exemple très concret le fonctionnement et l’apprentissage d’un neurone. C’est pourquoi nous coderons la régression linéaire et l’algorithme de descente de gradient. Experts s’abstenir. N’oubliez pas d’installer jupyter sur votre portable. N’hésitez pas à nous contacter pour toute question ([email protected] et [email protected]).

21 mars 2019 Séminaire Learning Tractable Probabilistic Models in Open Worlds - Amélie Levray

Large-scale probabilistic representations, including statistical knowledge bases and graphical models, are increasingly in demand. They are built by mining massive sources of structured and unstructured data, the latter often derived from natural language processing techniques. The very nature of the enterprise makes the extracted representations probabilistic. In particular, inducing relations and facts from noisy and incomplete sources via statistical machine learning models means that the labels are either already probabilistic, or that probabilities approximate confidence.

21 mars 2019 Séminaire Introduction au réseaux de neurones profonds : keep calm and do gradient descent. - Jean-Baptiste Gouray

Ces deux exposés consisteront en des travaux pratiques en jupyter notebook (python). L’idée est de comprendre sur un exemple très concret le fonctionnement et l’apprentissage d’un neurone. C’est pourquoi nous coderons la régression linéaire et l’algorithme de descente de gradient. Experts s’abstenir. N’oubliez pas d’installer jupyter sur votre portable. N’hésitez pas à nous contacter pour toute question ([email protected] et [email protected]).

14 mars 2019 Séminaire Explainable DRAT⋆ Recovering Constraints Hidden in Refutations - Valentin Montmirail

SAT solvers are efficient enough to deal with real-world applications and are able to deal with instances of hundreds of millions of variables and clauses. They are also able to prove the unsatisfiability of a formula. Because SAT solvers are becoming more and more efficient, the size of the proofs generated are becoming bigger and bigger. One recent example in 2016 by Heule et al. was famously described in the media under the name “largest mathematical proof ever” due to its size of 200 terabytes of data.

11 mars 2019 Séminaire Dual Hashing-Based Algorithms for Discrete Integration - Alexis de Colnet

Given a boolean formula F and a weight function ρ, the problem of discrete integration seeks to compute the weight of F, defined as the sum of the weights of satisfying assignments. Discrete integration, also known as weighted model counting, is a fundamental problem in computer science with wide variety of applications ranging from machine learning and statistics to physics and infrastructure reliability. Given the intractability of the exact variant, the problem of approximate weighted model counting has been subject to intense theoretical and practical investigations over the years.

7 mars 2019 Séminaire Introduction au réseaux de neurones profonds : keep calm and do gradient descent. - Yael Fregier

Ces deux exposés consisteront en des travaux pratiques en jupyter notebook (python). L’idée est de comprendre sur un exemple très concret le fonctionnement et l’apprentissage d’un neurone. C’est pourquoi nous coderons la régression linéaire et l’algorithme de descente de gradient. Experts s’abstenir. N’oubliez pas d’installer jupyter sur votre portable. N’hésitez pas à nous contacter pour toute question ([email protected] et [email protected]).

14 févr. 2019 Séminaire Calcul heuristique de sous-groupes intéressants dans des données étiquetées - Jean-François Boulicaut Equipe DM2L, LIRIS, UMR CNRS 5205 INSA de Lyon

Depuis une vingtaine d’années, nous travaillons au LIRIS à la fouille de nombreux types de données (matrices ou tenseurs, séquences d’événements, graphes éventuellement attribués et/ou dynamiques) pour le calcul efficace de collections de motifs (ensembles d’entités, séquences, sous-arbres ou sous-graphes) qui satisfont des types de contraintes variés et donc non limitées à la classique fréquence minimale. Nous avons une expertise spécifique sur le développement d’algorithmes génériques exhaustifs : tous les motifs qui satisfont les contraintes, et eux seulement, sont retournés.

7 févr. 2019 Séminaire Cardinality Restrictions within Description Logic Connection Calculi - Fred Freitas (Informatics Center, Federal University of Pernambuco, Brazil)

In the past, we have proposed the theta-connection method for the description logic (DL) ALC, the ALC theta–CM, which will be briefly explained, together with an introduction of the first-order connection calculus and Description Logic. The ALC theta–CM replaces the usage of Skolem terms and unification by additional annotation and introduces blocking through a new rule in the connection calculus, to ensure termination in the case of cyclic ontologies. RACCOON, the reasoner which embodied this calculus, displayed surprisingly promising performance in a benchmarking given the fact that it consists of an engine which has no typical DL optimizations.

31 janv. 2019 Séminaire De la Contraction Itérée - Sébastien Konieczny - CRIL CNRS

La contraction consiste à retirer une information des croyances d’un agent, contrairement à la révision qui consiste à ajouter une nouvelle information (tout en maintenant la cohérence des croyances de l’agent). Alors que les opérateurs de révision itérée sont caractérisés depuis longtemps (Darwiche & Pearl 1997), il n’existait jusque là aucune caractérisation directe des opérateurs de contraction itérée. C’est ce que nous proposons dans ce travail. Cette caractérisation permet d’illustrer la proximité entre ces deux familles d’opérateurs mais permet également de mettre en avant un certain paradoxe: alors que dans le cas non-itéré il y a une correspondance entre opérateurs de révision et de contraction (au travers des identités de Levi et de Harper), celle-ci n’existe pas dans le cadre itéré.

17 janv. 2019 Séminaire Raisonnement qualitatif à base de relations binaires hétérogènes / Algorithmes pour jouer et apprendre à jouer aux jeux à information parfaite - Quentin Cohen-Solal

Dans une première partie, je présenterai les travaux de ma thèse qui se focalisent sur les formalismes qualitatifs (le raisonnement à base de relations qualitatives) dans le cadre du raisonnement (temporel) multi-échelle, du raisonnement spatio-temporel et des combinaisons de formalismes. J’exposerai les différentes formalisations effectuées (raisonner avec des points et des intervalles à différentes échelles de temps, raisonner avec des régions mobiles dont la taille est constante au cours du temps, …), mes résultats de NP-complétude concernant la décision de la cohérence dans certains de ces contextes, le cadre formel que j’ai développé, unifiant les raisonnements multi-échelles, spatio-temporels et combinés, permettant d’identifier des fragments traitables, ainsi que les résultats de complexité polynomiale qui en découlent.

10 janv. 2019 Séminaire Fouille de Motifs Graduels Fermés Fréquents Sous Contrainte de la Temporalité - Jerry Lonlac - CRIL CNRS UMR 8188

Les motifs graduels qui capturent les corrélations d’ordre de la forme "plus/moins X, plus/moins Y" jouent un rôle primordial dans plusieurs applications du monde réel où le volume de données numériques à gérer est important, c’est le cas de données biologiques, ou de données médicales. La fouille de motifs graduels a pour but la découverte de co-variations simultanées fréquentes entre attributs numériques dans une base de données. Dans cet exposé, Je commencerai par dresser un état de l’art des approches existantes d’extraction de motifs graduels.

20 déc. 2018 Séminaire Les implications juridiques et éthiques du développement de l'intelligence artificielle - Nathalie Nevejans (Université d'Artois)

Depuis plusieurs années, les progrès de l’intelligence artificielle sont prodigieux. Ses impacts en termes économiques, sociaux, juridiques et éthiques sont considérables… et pourtant souvent méconnus, spécialement concernant ses implications juridiques et éthiques. Les systèmes autonomes ont attiré l’attention du législateur européen, comme en témoigne la Résolution européenne sur les règles de droit civil sur la robotique du 16 février 2017. Sous prétexte de régler les problèmes de responsabilité en cas de dommage causé par un tel système, ce texte suscite plus de difficultés qu’il n’en résout, et fait surtout craindre que l’on finisse par considérer les agents autonomes comme des personnes d’un point de vue juridique.

17 déc. 2018 Nouvelle Soutenance de thèse de Marwa Harzi - An optimization based framework for routing and scheduling activities in healthcare emergency departments

Le 17 décembre 2018, à 9h, salle des thèses de la faculté Jean Perrin. Résumé : In this thesis, we focus on the routing and scheduling activities of patients in the Healthcare Emergency Department while involving optimization tools. We address three categories of research questions. The first category includes question about patient flow to the Emergency department. In this part we focuses on patient transportation problem derived from emergency medical services (EMS).

17 déc. 2018 Nouvelle Soutenance de thèse d'Imen Ouled Dlala - Declarative Approaches for Mining Frequent Itemsets over Transactional Databases

Le 17 décembre 2018, à 14h, salle des thèses de la faculté Jean Perrin. Résumé : La fouille de données est une étape primordiale du processus d’extraction de connaissances à partir des données. Elle a pour but d’analyser de grandes quantités de données afin de découvrir des connaissances. L’extraction des itemsets fréquents à partir d’une base de données transactionnelle est l’une des tâches principales de la fouille de données, qui consiste à identifier divers types de motifs afin de répondre aux besoins des utilisateurs ou des applications.

13 déc. 2018 Séminaire On Belief Promotion - Nicolas Schwind (National Institute of Advanced Industrial Science and Technology, Tokyo, Japan)

We introduce a new class of belief change operators, named promotion operators. The aim of these operators is to enhance the acceptation of a formula representing a new piece of information. We give postulates for these operators and provide a representation theorem in terms of minimal change. We also show that this class of operators is a very general one, since it captures as particular cases belief revision, commutative revision, and (essentially) belief contraction.

7 déc. 2018 Nouvelle Soutenance de thèse de Yacine Izza - Informatique ubiquitaire : techniques du curage d'informations perverties

Le 7 décembre 2018, à 10h30, salle des thèses de la faculté Jean Perrin. Résumé : Cette thèse étudie une approche possible de l’intelligence artificielle pour la détection et le curage d’informations perverties dans les bases de connaissances des objets et composants intelligents en informatique ubiquitaire. Cette approche est traitée d’un point de vue pratique dans le cadre du formalisme SAT; il s’agit donc de mettre en œuvre des techniques de filtrage d’incohérences dans des bases contradictoires.

6 déc. 2018 Nouvelle Soutenance d'Habilitation à Diriger des Recherches de Saïd Jabbour

Le 6 décembre 2018, à 14h, salle des thèses de la faculté Jean Perrin. Résumé : Mes travaux de recherche sont à la frontière de plusieurs domaines incluant l’Intelligence Artificielle (IA) symbolique, la fouille de données, les graphes et les systèmes d’information. Ils se répartissent autour des mots clés suivants : raisonnement par contraintes, représentation des connaissances, modélisation des raisonnements, fouille de motifs sous contraintes, clustering, détection de communautés, compression de données et composition de services web.

3 déc. 2018 Nouvelle Soutenance de thèse de Nizar Mhadhbi

Le 3 décembre 2018, à 14h, salle des thèses de la faculté Jean Perrin. Résumé : Cette thèse se situe dans le domaine de l’analyse des réseaux complexes. Un réseau complexe peut être défini comme un système d’entités en interaction représenté souvent par un graphe. Deux problématiques liées à l’analyse des grands graphes sont abordées dans cette thèse. Notre premier objectif est d’extraire de la connaissance pertinente dans les graphes par la recherche des structures communautaires.

29 nov. 2018 Séminaire A distributed version of Syrup - Nicolas Szczepanski (CRIL, CNRS - Université d'Artois)

A portfolio SAT solver has to share clauses in order to be efficient. In a distributed environment, such sharing implies additional problems: more information has to be exchanged and communications among solvers can be time consuming. In this paper, we propose a new version of the state-of-the-art SAT solver S YRUP that is now able to run on distributed architectures. We analyze and compare different programming models of communication. We show that, using a dedicated approach, it is possible to share many clauses without penalizing the solvers.

22 nov. 2018 Séminaire Boosting MCSes Enumeration - Jean-Marie Lagniez (CRIL, CNRS - Université d'Artois)

The enumeration of all Maximal Satisfiable Subsets (MSSes) or all Minimal Correction Subsets (MCSes) of an unsatisfiable CNF Boolean formula is a useful and sometimes necessary step for solving a variety of important A.I. issues. Although the number of different MCSes of a CNF Boolean formula is exponential in the worst case, it remains low in many practical situations; this makes the tentative enumeration possibly successful in these latter cases. In the paper, a technique is introduced that boosts the currently most efficient practical approaches to enumerate MCSes.

15 nov. 2018 Séminaire Inconsistency Measures for Repair Semantics in OBDA (IJCAI 2018) - Srdjan Vesic (CRIL, CNRS - Université d'Artois)

In this paper, we place ourselves in the Ontology Based Data Access (OBDA) setting and investigate reasoning with inconsistent existential rules knowledge bases. We use the notion of inconsistency measures on sets of facts to rank and filter repairs. We propose a generic framework to answer queries by using the best repairs and study productivity and properties of such a framework.

26 oct. 2018 Nouvelle Postes IGR et chercheur en CDD à pourvoir

Dans le cadre du CPER DATA, le CRIL recrute un poste temporaire d’ingénieur de recherche et un poste de chercheur en CDD. Les fiches de postes sont visibles sur emploi.cnrs.fr Poste temporaire d’ingénieur de recherche Chercheur en CDD

11 oct. 2018 Séminaire Collective Singleton-based Consistency for Qualitative Constraint Networks: Theory and Practice - Michael Sioutis (Örebro University)

Partial singleton weak path-consistency is essential for tackling challenging fundamental reasoning problems associated with qualitative constraints networks. Briefly put, partial singleton weak path-consistency ensures that each base relation of each of the constraints of a qualitative constraint network can define a singleton relation in its corresponding partially weakly path-consistent subnetwork. In this talk, we propose a stronger local consistency that couples partial singleton weak path-consistency with the idea of collectively deleting certain unfeasible base relations by exploiting singleton checks.

11 oct. 2018 Nouvelle Daniel Le Berre reçoit la médaille de l'innovation du CNRS

Daniel Le Berre a reçu le mercredi 10 octobre 2018 la médaille de l’innovation du CNRS des mains de la ministre de l’enseignement supérieur, de la recherche et de l’innovation Frédérique Vidal et du PDG du CNRS Antoine Petit, pour le développement du logiciel libre Sat4j et son intégration dans la plateforme Eclipse. La médaille de l’innovation honore une recherche exceptionnelle sur le plan technologique, thérapeutique, économique ou sociétal. Les deux autres lauréats de cette médaille cette année sont Valérie Castellani et Thierry Chartier.

17 sept. 2018 Nouvelle Soutenance de thèse de Valentin Montmirail - Practical resolution of satisfiability testing for modal logics

Le 17 septembre 2018, à 10h, salle des thèses de la faculté Jean Perrin Résumé In this thesis, we explored the idea to use modern SAT technology that has seen considerable progress over the last years for solving various kinds of Modal Logics. We tackled the problem from various directions. For the NP-complete variants of Modal Logics it is a natural choice to encode them to SAT and use a SAT solver to decide them.

13 sept. 2018 Nouvelle Soutenance de thèse de Abdelhamid Boudane - Fouille de données par contraintes

Le 13 septembre 2018, à 14h, salle des thèses de la faculté Jean Perrin Résumé Dans cette thèse, nous abordons les problèmes bien connus de clustering et de fouille de règles d’association. Notre première contribution introduit un nouveau cadre de clustering, où les objets complexes sont décrits par des formules propositionnelles. Premièrement, nous adaptons les deux fameux algorithmes de clustering, à savoir, le k-means et l’algorithme hiérarchique ascendant, pour traiter ce type d’objets complexes.

26 juil. 2018 Nouvelle Papiers acceptés à KR'18

4 papiers et 3 posters ont été acceptés à la conférence KR (Tempe, Arizona, 2018)

9 juin 2018 Nouvelle Ivan Varzinczak reçoit le prix de logique Louis Couturat

Ivan Varzinczak recevra le prix de la logique Louis Couturat lors de la prochaine édition de la conférence UNILOG'18 le 24 juin, pour son article “A note on a description logic of concept and role typicality”.

5 juin 2018 Séminaire Liens entre fusion propositionnelle et agrégation de jugements - Patricia Everaere (Université de Lille)

La fusion propositionnelle et l’agrégation de jugements sont deux cadres assez proches en apparence: ils permettent d’agréger des éléments issus de différents agents. Nous avons cherché si ces cadres pouvaient être unifiés, et comment. Un autre axe de recherche est de savoir si les propriétés considérées dans une théorie ont du sens dans l’autre théorie.

22 mai 2018 Recrutement CDD d’ingénieur de recherche en Intelligence Artificielle au CRIL (Lens) - 1 an

A partir de Septembre 2018 Poste. Ingénieur de recherche (12 mois, à débuter en Septembre/Octobre 2018). Ce poste est susceptible d’être reconductible. Cette offre s’inscrit dans le cadre du projet CPER (Contrat de Plan Etat-Region 2015-2020) Data de la région “Hauts-de-France”. Le programme scientifique du CPER Data est articulé en trois axes principaux : (i) Internet des objets ; (ii) Intelligence des données et des connaissances ; (iii) Calcul haute-performance et optimisation.

16 mai 2018 Nouvelle Papiers acceptés à IJCAI'18

7 papiers ont été acceptés à la conférence IJCAI (Stockholm, 2018)

9 avr. 2018 Recrutement 3 postes d'ATER en informatique (section 27), à Lens

3 postes d’ATER en informatique (section 27) sont ouverts à Lens pour la rentrée 2018. 1 poste à la faculté des sciences Jean Perrin 2 postes (poste 1, poste 2) à l’IUT de Lens Les candidatures sont ouvertes sur ALTAIR depuis le 9 avril, jusqu’au 30 avril. Ces 3 postes d’ATER sont rattachés au CRIL pour la recherche. Toutes les informations sur la procédure permettant de candidater sur ces postes sont disponibles sur le site de l’université d’Artois.

29 mars 2018 Séminaire How to extend IAR semantics to prioritized lightweight ontologies? - Salem Benferhat (CRIL, Université d'Artois - CNRS)

This short talk addresses the problem of handing conflicts in lightweight ontologies. Recently, eight genuine ways to deal with conflicting information have been identified in the context of lightweight ontologies. This paper focuses on a so-called IAR semantics and proposes some desirable properties and algorithms to extend it to prioritized Aboxs.

22 mars 2018 Séminaire Relation Induction in Vector Space Embeddings - Zied Bouraoui (CRIL, Université d'Artois - CNRS)

Word embeddings have been found to capture a surprisingly rich amount of syntactic and semantic knowledge. However, it is not yet sufficiently well-understood how the relational knowledge that is implicitly encoded in word embeddings can be extracted in a reliable way. In this talk, I will present two probabilistic models that address this issue. The first model is based on the common relations-as-translations view, but is cast in a probabilistic setting.

15 mars 2018 Séminaire Un tour d'horizon des bandits - Frederic Koriche (CRIL, Université d'Artois - CNRS)

Imaginez le jeu répétitif suivant : à chaque tour, vous devez choisir une “action” parmi N décisions possibles et, une fois l’action choisie, l’environnement vous répond par une “récompense”. L’objectif est de minimiser le regret entre vos choix effectués et la meilleure action que vous auriez sélectionnée, si vous aviez connu à l’avance les récompenses données par l’environnement. Ce cadre, appelé “bandits multi-bras”, est au coeur de l’apprentissage par renforcement et apparait dans de nombreuses applications en IA.

13 mars 2018 Séminaire Dependency weighted aggregation - Florent Capelli (Université de Lille)

It is well-known that one may faithfully approximate the expected value of a random variable by taking the average of many independant observations of the variables. The average quickly converges to the expected value with good probability. This fact is commonly used when computing statistics in data mining. However, in this setting, the assumption that the observations are independant is usually wrong and we have no more guarantees on the convergence of the average toward the expected value.

15 févr. 2018 Séminaire Learning Conceptual Spaces from Data - Steven Schockaert (Cardiff University)

Conceptual spaces have been proposed by Gärdenfors as an intermediate knowledge representation framework, sitting between high-level symbolic representations and low-level neural representations. While the theory of conceptual spaces has been influential in philosophy and cognitive science, to date it has seen relatively few applications within the field of Artificial Intelligence. One of the main stumbling blocks for such applications is that learning conceptual space representations in a purely data-driven way is challenging.

25 janv. 2018 Séminaire Patterns mining under constraints – applied for software testing - Mehdi Maamar (CRIL, CNRS - Université d'Artois)

Discovering the set of closed frequent itemsets is one of the fundamental problems in Data Mining. Recent Constraint Programming (CP) approaches for declarative itemset mining have proven their usefulness and flexibility. We propose a global constraint for mining closed frequent itemsets with a filtering algorithm that enforces domain consistency in polynomial time and space. Moreover, itemset mining techniques have been used in a wide range of applications. Over the last years, software testing, and specially the fault localization task, becomes one of the challenging application domains for data mining.

21 déc. 2017 Séminaire An Improved CNF Encoding Scheme for Probabilistic Inference (ECAI 2016) - Jean-Marie Lagniez (CRIL, Université d'Artois - CNRS)

We present and evaluate a new CNF encoding scheme for reducing probabilistic inference from a graphical model to weighted model counting. This new encoding scheme elaborates on the CNF encoding scheme ENC4 introduced by Chavira and Darwiche, and improves it by taking advantage of log encodings of the elementary variable/value assignments and of the implicit encoding of the most frequent probability value per conditional probability table. From the theory side, we show that our encoding scheme is faithful, and that for each input network, the CNF formula it leads to contains less variables and less clauses than the CNF formula obtained using ENC4.

14 déc. 2017 Séminaire A structural benchmark for logical argumentation frameworks - Bruno YUN (LIRMM - Université de Montpellier)

We proposes a practically-oriented benchmark suite for computational argumentation. We instantiate abstract argumentation frameworks with existential rules, a language widely used in Semantic Web applications and provide a generator of such instantiated graphs. We analyse performance of argumentation solvers on these benchmarks.

13 déc. 2017 Séminaire From Individual Goals to Collective Decisions - Arianna Novaro (IRIT - Université de Toulouse)

Classical rules for collective decision-making often require agents to fully specify their preference or opinion to compute the result. In particular, judgment aggregation rules require each agent to answer a yes/no question on a set of issues and they then output a collective judgment. In this talk I will relax this assumption by letting agents express their goals by means of propositional formulas on a finite set of binary issues. I will present some rules for aggregating individual goals into a decision for the group, as well as some adaptations to this setting of axiomatic properties from the literature on Social Choice Theory.

12 déc. 2017 Nouvelle Soutenance de thèse de Nicolas Szczepanski - SAT en Parallèle

Le 12 décembre 2017, à 10h, salle des thèses de la faculté Jean Perrin Résumé : La thèse porte sur la résolution des problèmes de satisfaisabilité booléenne (SAT) dans un cadre massivement parallèle. Le problème SAT est largement utilisé pour résoudre des problèmes combinatoires de première importance comme la vérification formelle de matériels et de logiciels, la bio-informatique, la cryptographie, la planification et l’ordonnancement de tâches. Plusieurs contributions sont apportées dans cette thèse.

12 déc. 2017 Nouvelle Soutenance de thèse de Jérôme Delobelle - Sémantique à base de Classement pour l’Argumentation Abstraite

Le 12 décembre 2017, à 14h30, salle des thèses de la faculté Jean Perrin Résumé : La théorie de l’argumentation abstraite de Dung est un formalisme permettant d’utiliser un système d’argumentation afin de représenter des informations conflictuelles. Des sémantiques à base d’extensions ont d’abord été introduites dans le but de déterminer quels arguments peuvent être conjointement acceptés. Cependant, ces sémantiques ne sont pas appropriées pour certaines applications, c’est pourquoi des sémantiques à base de classement, permettant de classer les arguments du plus acceptable au moins acceptable, ont été introduites.

8 déc. 2017 Nouvelle Soutenance de thèse de Amélie Levray - Théorie des possibilités à intervalles : Conditionnement et transformations probabilités/possibilités

Le 8 décembre 2017, à 14h, salle des thèses de la faculté Jean Perrin Résumé : Cette thèse contribue au développement de formalismes efficaces pour représenter l’information incertaine. Les formalismes existants tels que la théorie des probabilités ou la théorie des possibilités sont parmi les cadres les plus connus et utilisés pour représenter ce type d’information. Différentes extensions (e.g. théorie des probabilités imprécises, théorie des possibilités à intervalles) ont été proposées pour traiter des informations incomplètes ou des connaissances mal-connues, ainsi que pour raisonner avec les connaissances d’un groupe d’experts.

30 nov. 2017 Séminaire Acceptability semantics for weighted argumentation frameworks (IJCAI 2017) - Srdjan Vesic (CRIL, CNRS - Université d'Artois)

We study semantics that evaluate arguments in argumentation graphs, where each argument has a basic strength, and may be attacked by other arguments. We start by defining a set of principles, each of which is a property that a semantics could satisfy. We provide a formal analysis and comparison of existing semantics. Finally, we define three novel semantics that satisfy more principles than existing ones.

16 nov. 2017 Séminaire Strong consistencies for efficient solving - Anastasia Paparrizou (CRIL, CNRS - Université d'Artois)

It is well-known that the simultaneous satisfaction of a set of constraints is intractable in general and problems can become very difficult to solve as their size increases. Constraint Programming has developed various techniques to tackle this inherent problem. In this talk, I will speak about one of the most important such techniques which is the enforcement of a local consistency. I will mainly focus on less "traditional" local consistencies and recent promising results (presented in IJCAI’17).

19 oct. 2017 Séminaire Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation (CP 2017) - Takehide Soh (Kobe University, Japan)

This talk about SAT encoding consists of two parts. The first part briefly explains recent our work around SAT encoding—a SAT-based CP system "scarab" and a hybrid encoding integrating the order and log encodings. In the second part, as an application of the order encoding, we detail a propositional logic based approach to solve MultiObjective Discrete Optimization Problems (MODOPs). In this approach, there exists a one-to-one correspondence between a Pareto front point of MODOP and a P-minimal model of the CNF formula obtained from MODOP.

12 oct. 2017 Séminaire A lower bound on CNF encodings of the at-most-one constraint - Petr Kučera (Charles University, Czech Republic)

Constraint “at most one” is a basic cardinality constraint which requires that at most one of its n boolean inputs is set to 1. This constraint is widely used when translating a problem into a conjunctive normal form (CNF) and we investigate its CNF encodings suitable for this purpose. An encoding differs from a CNF representation of a function in that it can use auxiliary variables. We are especially interested in propagation complete encodings which have the property that unit propagation is strong enough to enforce consistency on input variables.

5 oct. 2017 Séminaire A Connection Calculus for the Description Logic ALC - Fred Freitas (Federal University of Pernambuco, Cin/UFPE, Brazil)

In this talk, a connection calculus for the description logic (DL) ALC is presented. First, the classical FOL connection calculus will be introduced; and briefly the description logic ALC as well. Then, the new ALC calculus will be presented. It replaces the usage of Skolem terms and uniﬁcation by additional annotation and introduces blocking, a typical feature of DL provers, by a new rule, to ensure termination in the case of cyclic ontologies.

21 sept. 2017 Séminaire Constraint-Based Symmetry Detection in General Game Playing (IJCAI 2017) - Sébastien Tabary (CRIL, Université d'Artois - CNRS)

Symmetry detection is a promising approach for reducing the search tree of games. In General Game Playing (GGP), where any game is compactly represented by a set of rules in the Game Description Language (GDL), the state-of-the-art methods for symmetry detection rely on a rule graph associated with the GDL description of the game. Though such rule-based symmetry detection methods can be applied to various tree search algorithms, they cover only a limited number of symmetries which are apparent in the GDL description.

14 sept. 2017 Séminaire RECAR: Recursive Explore and Check Abstraction Refinement (IJCAI 2017) - Valentin Montmirail (CRIL, Université d'Artois - CNRS)

L’approche Counter-Example Guided Abstraction Refinement (CEGAR) a été un grand succès dans la vérification de modèle. Depuis lors, elle a été appliquée à de nombreux problèmes différents. Il s’avère qu’il s’agit d’une approche pratique très efficace pour résoudre le problème QBF qui est PSPACE-complet. Dans ce talk, je vous présenterai une nouvelle approche semblable à CEGAR pour aborder des problèmes PSPACE, approche que nous appelons RECAR (Recursive Explore and Check Abstraction Refinement).

1 sept. 2017 Recrutement Poste de MCF 27e section - CRIL (Lens) - Université d'Artois

Profil recherche du poste Artificial Intelligence. The successful candidate will join one of the two scientific axes of CRIL. Preference will be given to candidates bringing novel research openings and directions that extend or are linked to any of these axes, and on candidates working on the interaction between both axes. Profil pédagogique du poste L’informaticien-ne recruté-e sera appelé-e à intervenir dans les différentes filières de formation de l’UFR des Sciences de Lens, dont la licence et le master d’informatique.

11 juil. 2017 Séminaire Belief Change in a Preferential Non-monotonic Framework - Tommie Meyer (CAIR, South Africa)

Belief change and non-monotonic reasoning are usually viewed as two sides of the same coin, with results showing that one can formally be defined in terms of the other. In this talk we will discuss that it also makes sense to analyse belief change within a non-monotonic framework, and in particular we take under consideration a preferential non-monotonic framework. We consider belief change operators in a non-monotonic propositional setting with a view towards preserving consistency.

6 juil. 2017 Nouvelle Prix de thèse AFIA pour Eric Piette

Eric Piette a obtenu le prix de thèse (exr-aequo) de l'Association Française pour l'Intelligence Artificielle pour sa thèse intitulée "Une nouvelle approche au General Game Playing dirigée par les contraintes".

19 mai 2017 Séminaire Constraint Games - Arnaud Lallouet

Constraint Games are a recent framework proposed to model and solve static games where Constraint Programming is used to express players preferences. In a recent work, we rethink the solving technique in terms of constraint propagation by considering players preferences as global constraints. It yields not only a more elegant but also a more efficient framework. Our new complete solver is faster than previous state-of-the-art and is able to find all pure Nash equilibria for some problems with 200 players.

18 mai 2017 Séminaire Developing a parallel CP (or SAT) solver through the exploitation of strong propagation methods. - Kostas Stergiou (University of Western Macedonia)

As a result of the considerable recent advances in parallel constraint solving, a number of quite efficient parallel CP and SAT solvers have been developed. Parallel constraint solving techniques are roughly divided in search space splitting and portfolio-based ones. In this talk we describe a novel scheme for developing a parallel CP (or SAT) solver through the exploitation of strong propagation methods. This scheme is orthogonal to the two general categories of parallelization methods and it is presented as a search algorithm consisting of a main process, which is a typical CP (or SAT) solver, aided by a number of coworkers running in parallel.

17 mai 2017 Nouvelle Papiers acceptés à IJCAI'17

8 papiers ont été acceptés à la conférence IJCAI (Melbourne, 2017)

18 avr. 2017 Nouvelle Proposition de thèse financée au CRIL sur l’argumentation abstraite

Utilisation de l’argumentation pour automatiser l’exploitation des avis clients pour la vente en ligne et pour les consultations citoyennes : modélisation des attaques et supports entre arguments Le but principal de cette thèse est d’étudier la notion de support en argumentation. La première tâche sera d’étudier les faiblesses des approches actuelles. Il faudra en particulier identifier les résultats fournis par ces approches sur des exemples issus de cas réels (avis de clients, textes issus de journaux, plates-formes de débats en ligne, etc.

7 avr. 2017 Recrutement 4 postes d'ATER en informatique (section 27), à Lens

4 postes d’ATER en informatique (section 27) sont ouverts à Lens pour la rentrée 2017. 1 poste à la faculté des sciences Jean Perrin 3 postes à l’IUT de Lens Les candidatures sont ouvertes sur ALTAIR depuis le 4 avril, jusqu’au 24 avril. Noter qu’il n’y a q’un seul profil de poste pour l’IUT de Lens sur ALTAIR, pour 3 postes à pourvoir. Ces 4 postes d’ATER sont rattachés au CRIL pour la recherche.

6 avr. 2017 Séminaire Plausible Reasoning about Ontologies - Zied Bouraoui

Structured knowledge about entities increasingly plays an important role in various web applications (e.g. search engines, recommendation sites, and social networks). Such knowledge is available, for example, in ontologies such as SUMO or OpenCyc, in knowledge graphs such as DBpedia, Google Freebase, Facebook Graph and WikiData, as semantic markup (e.g. RDFa), or on web pages (e.g. in the form of tables, lists, or natural language assertions). While these web applications typically require some form of reasoning, deduction is often too limited in this setting.

5 avr. 2017 Séminaire Autour des classes polynomiales pour les problèmes de satisfaction de contraintes - Achref El Mouelhi

Le problème de satisfaction des contraintes CSP (pour Constraint Satisfaction Problems en anglais) est connu pour être NP-complet, même pour le cas binaire. Cependant, en imposant certaines restrictions, sur la taille des domaines ou sur les contraintes, la résolution peut être accomplie en temps polynomial. Dans ce cas, on parle des propriétés traitables (tractables properties). L’ensemble d’instances satisfaisant une propriété traitable constitue une classe polynomiale (ou traitable). Par exemple, Il est connu que l’ensemble des instances qui satisfont la propriété des triangles cassés BTP (pour Broken-Triangle Property) ou ZOA (Zero/One/All) définissent des classes polynomiales pour les CSP binaires.

30 mars 2017 Séminaire Resource games and redistributions - Nicolas Troquard

28 mars 2017 Recrutement Poste d’Ingénieur de recherche (Université d’Artois)

Le CRIL va bénéficier au printemps 2017 d’un poste universitaire d’ingénieur de recherche (Bap E). La personne recrutée sera en charge, avec un autre ingénieur de recherche, des activités de valorisation et de professionnalisation des prototypes logiciels développés par le laboratoire de recherche qu’elle intégrera (CRIL UMR 8188). Elle participera aussi à la création de ces prototypes. Cette activité concerne donc le développement de logiciels novateurs d’intelligence artificielle et une interaction forte avec l’environnement socio-économique du laboratoire à ce sujet.

23 mars 2017 Séminaire Reasoning Defeasibly over Ontologies - Ivan Varzinczak (Univ Artois)

Description Logics (DLs) are a family of logic-based knowledge representation formalisms with appealing computational properties and a variety of applications at the confluence of modern artificial intelligence and other areas. In particular, DLs are well-suited for representing and reasoning about ontologies and therefore constitute the formal foundations of the Semantic Web. The different DL formalisms that have been proposed in the literature provide us with a wide choice of constructors in the object language.

21 mars 2017 Nouvelle Participation du CRIL à #FranceIA

Dans le cadre du grand événement public de #FranceIA, la stratégie française en intelligence artificielle, le CRIL sera présent le 21 mars à la cité des sciences, Paris. Le programme de la journée est disponible en ligne. Le laboratoire y présentera son joueur de General Game Playing Woodstock, qui a remporté le dernier championnat du monde de la discipline, comme exemple du savoir faire Français dans le domaine.

16 mars 2017 Séminaire Déploiement et mesure de consommation logicielle à grande échelle - Romain Rouvoy

Cette présentation se positionne à l’intersection de plusieurs problématiques que rencontrent certaines communautés scientifiques lorsqu’elles souhaitent évaluer la pertinence de leurs solutions logicielles: i) comment faciliter le déploiement du logiciel pour reproduire mes résultats, ii) comment mieux tirer partie de grandes infrastructures de calcul pour maximiser mes performances et iii) comment mesurer l’efficience énergétique de mes algorithmes. Ces questions couvrent les récents développements menés par l’équipe Inria Spirals autour du déploiement d’architectures logicielles basées sur la technologie Docker (http://docker.

9 mars 2017 Séminaire Data distribution optimization in a system of collaborative systems - Ronan Bocquillon

Systems of systems are supersystems comprising elements which are themselves independent operational systems, all interacting to achieve a common goal. When the subsystems are mobile, these may suffer from a lack of continuous end-to-end connectivity. To address the technical issues in such networks, the common approach is termed delay-tolerant networking. Routing relies on a store-forward mechanism. Data are sent from one system to another – depending on the communication opportunities, termed contacts, that arise when two systems are close – and stored throughout the network in hope that all messages will reach their destination.

2 mars 2017 Séminaire Temporal equilibrium logic - Martin Dieguez (IRIT)

Commonsense temporal reasoning is full of situations that require drawing default conclusions, since we rarely have all the information available. Unfortunately, most modal temporal logics cannot accommodate default reasoning, since they typically deal with a monotonic inference relation. On the other hand, non-monotonic approaches are very expensive and their treatment of time is not so well delimited and studied as in modal logic. Temporal Equilibrium Logic [Cabalar and Pérez, 2007] (TEL) is the first non-monotonic temporal logic which fully covers the syntax of some standard modal temporal approach without requiring further constructions.

2 févr. 2017 Séminaire Let's compute through infinite time! - Sabrina Ouazzani

In this talk, we present infinite time Turing machines (ITTM), from the original definition of the model to some new infinite time algorithms. We will present algorithmic techniques that allow to highlight some properties of the ITTM-computable ordinals. In particular, we will study gaps in ordinal computation times, that is to say, ordinal times at which no infinite time program halts.

30 janv. 2017 Recrutement CDD d’ingénieur de recherche en Intelligence Artificielle au CRIL (Lens) - 1 an renouvelable

Un contrat d’ingénieur de recherche est disponible dès à présent au CRIL UMR 8188, Centre de Recherche en Informatique de Lens. La personne recrutée participera à des développements de prototypes logiciels dans le domaine de l’intelligence artificielle, et plus particulièrement dans les thématiques de la représentation des connaissances et des raisonnements, des algorithmes pour la satisfaisabilité et les contraintes. Elle sera idéalement titulaire d’une thèse en informatique et aura une expérience forte du développement logiciel (C, C++, Java).

16 janv. 2017 Recrutement Poste de MCF 27e section - CRIL (Lens) - Université d'Artois

27 MCF Le poste ci-dessous va paraître au début de l’année 2017 lors de la session nationale synchronisée. Profil recherche du poste : Artificial intelligence. The successful candidate will join one of the two scientific axes of CRIL. Preference will be given to candidates bringing novel research openings and directions that extend or are linked to any of these axes, and on candidates working on the interaction between both axes.

12 janv. 2017 Séminaire Introduction aux solveurs CDCL - Jean-Marie Lagniez (CRIL, Université d'Artois)

14 déc. 2016 Nouvelle Soutenance de thèse de Samuel Thomas - Compilation de connaissances pour le comptage de modèles

Le 14 décembre 2016, à 10h, amphithéatre S19 de la faculté Jean Perrin Résumé : Le comptage de modèles (i.e., des affectations de valeurs aux variables qui satisfont toutes les contraintes) constitue un traitement clé pour divers problèmes d’intelligence artificielle dans lesquels la programmation par contraintes est employée. La compilation de connaissances est l’une des approches possibles permettant de réaliser efficacement une telle requête de comptage. Dans cette thèse, nous introduisons plusieurs nouveaux langages de compilation de formules propositionnelles, basés sur un connecteur peu utilisé jusqu’ici dans les langages cibles pour la compilation, le ou exclusif.

13 déc. 2016 Nouvelle Soutenance de thèse de Thomas Caridroit - Changements de croyances et logiques modales

Le 13 décembre 2016, à 14h, amphithéatre S25 de la faculté Jean Perrin Résumé : Le changement de croyances vise à trouver des moyens adéquats pour faire évoluer les croyances d’un agent lorsqu’il est confronté à de nouvelles informations. Dans la plupart des travaux sur la révision de croyances, l’ensemble de croyances d’un agent est composé de croyances au sujet de l’environnement (le monde) et est représenté par un ensemble de formules de la logique classique.

9 déc. 2016 Nouvelle Soutenance de thèse de Eric Piette - Une nouvelle approche au General Game Playing dirigée par les contraintes

Le 9 décembre 2016, à 14h, amphithéatre S25 de la faculté Jean Perrin Résumé : Développer un programme capable de jouer à n’importe quel jeu de stratégie, souvent désigné par le General Game Playing (GGP) constitue un des Graal de l’intelligence artificielle. Les compétitions GGP, où chaque jeu est représenté par un ensemble de règles logiques au travers du Game Description Language (GDL), ont conduit la recherche à confronter de nombreuses approches incluant les méthodes de type Monte Carlo, la construction automatique de fonctions d’évaluations, ou la programmation logique et ASP.

8 déc. 2016 Nouvelle Séminaire informatique conjoint Franco-Japonais

Le CRIL accueillera du 7 au 8 décembre des collègues d'établissement de recherche japonais dans le cadre d'un accord de coopération entre le CRIL et le NII.

24 nov. 2016 Nouvelle Meet up cyber-sécurité et protection des données

La Louvre Lens Vallée organise son MEET UP autour d’un sujet au coeur de notre actualité et des préoccupations des usagers connectés : « cyber-sécurité et protection des données ». Le CRIL accueillera cet évènement le 24 novembre 2016 à 14h, à la faculté des sciences Jean Perrin. Pour en savoir plus sur cet évènement, et vous inscrire, visitez la page dédiée de la Louvre Lens Vallée

10 nov. 2016 Séminaire Introduction - A Short Guided Tour Through My Work - Stefan Mengel (CRIL CNRS)

After a year at CRIL, I guess it is time to introduce myself officially in the seminar. I will give an overview over the main areas of my work and explain what kind of question I am generally interested in. This will be a non-technical talk, sketching areas and ideas instead of giving details, with the aim of being understandable for everyone.

20 oct. 2016 Séminaire Abstract interpretation - Rediffusion Colloquium LIP6 - Patrick Cousot (New York University, USA)

The complexity of large programs grows faster than the intellectual ability of programmers in charge of their development and maintenance. The direct consequence is a lot of errors and bugs in programs mostly debugged by their end-users. Programmers are not responsible for these bugs. They are not required to produce provably safe and secure programs. This is because professionals are only required to apply state of the art techniques, that is testing on finitely many cases.

6 oct. 2016 Séminaire Fusion épistémique et impossibilité - Ramón Pino Pérez (Universidad de Los Andes)

Nous étendons la fusion des croyances dans deux dimensions. D’abord la représentation des croyances se fait à l’aide d’états épistémiques complexes. Ensuite on ajoute des postulats de nature plus sociale comme les postulats d’Arrow. Dans ce cadre étendu on démontre un résultat d’impossibilité.

28 sept. 2016 Invité(s) Odile Papini nous rend visite entre le 28 septembre et le 3 octobre prochain

21 sept. 2016 Nouvelle session spécifique Raisonnement dans l'incertain à la 30ème conférence internationale FLAIRS (UR17)

La 30ème conférence internationale FLAIRS se déroulera à Marco Island, en Floride, du 22 au 24 mai 2017. Différents membres du CRIL font partie du comité de programme de la session dédiée au raisonnement dans l'incertain.

20 sept. 2016 Nouvelle 30eme conférence internationale sur les applications des systèmes intelligents appliqués (IEA/AIE 2017)

La conference IEA/AIE 2017 sera organisée l'année prochaine à Arras, du 27 au 30 novembre. Le programme de la conférence et l'organisation local sont gérés par des membres du CRIL.

19 sept. 2016 Invité(s) Visite de Ramón Pino Pérez (université De Los Andes, Venezuela)

Ramón Pino Pérez, professeur à l’université De Los Andes, séjournera au CRIL pendant 1 mois (19 septembre au 19 octobre 2016)

30 août 2016 Nouvelle Woodstock vient de gagner la compétition internationale de General Game Playing

Le joueur artificiel du CRIL, Woodstock, vient de gagner la compétition internationale de General Game Playing 2016 organisée par l'université de Stanford les 18 et 19 août dernier.

30 juin 2016 Séminaire Qu’est-ce que l’informatique ? - Sébastien Konieczny (CRIL, CNRS & Univ. Artois)

Nous présentons une application qui exploite les données issues de DBLP afin de représenter la proximité entre conférences/revues à partir des habitudes de publication des auteurs. Cela permet de mettre en évidence des proximités entre domaines, et d’obtenir une carte représentant les conférences en informatique. Ce travail est encore en cours, et nous devons encore améliorer et ajouter beaucoup de fonctionnalités, donc toutes les suggestions sont les bienvenues. En attendant si vous voulez savoir ce qu’est l’informatique, et où se situe l’IA, rendez-vous dans l’amphi !

21 juin 2016 Invité(s) Visite de Arina Britz (Université de Stellenbosch, Afrique du Sud)

Arina Britz, professeur à l’Université de Stellenbosch, Afrique du sud, sera en visite au CRIL du 21 au 30 juin 2016. Arina Britz est membre du Centre for Artificial Intelligence Research en Afrique du Sud. Elle travaille sur les logiques modales, de description, l’abduction, la modularité.

19 juin 2016 Nouvelle Papiers acceptés à ECAI'16

9 papiers ont été acceptés à la conférence ECAI (La Hague, 2016)

10 juin 2016 Séminaire Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness - Hubie Chen (University of the Basque Country et IKERBASQUE)

If one looks at typical proof systems for QBF, such as Q-resolution, a dilemma is encountered: lower bounds for Q-resolution are implied immediately by lower bounds for resolution, yet this says nothing about Q-resolution’s ability to cope with quantifier alternation—and moreover clashes severely with the contemporary QBF view of SAT as "easy". In this talk, we will discuss this dilemma and present a possible way to escape it. In particular, we present and study a framework in which one can present alternation-based lower bounds on proof length in proof systems for quantified Boolean formulas.

9 juin 2016 Séminaire On Checking Kripke Models for Modal Logic K - Valentin Montmirail (CRIL, UArtois)

We present our work toward a rigorous experimental comparison of the state of the art for the practical resolution of the satisfiability of formulae in modal logic K. Our aim is to provide a way to practically verify the answers provided by those solvers. For this purpose, we propose a certificate format and a checker to validate Kripke models for modal logic K. We present experimental results using state-of-the-art solvers, modified to incorporate this verification step.

6 juin 2016 Nouvelle Séminaire informatique conjoint Nankin-Artois

Le CRIL accueillera les 6 et 7 juin des collègues de l'université de Nankin dans le cadre d'un accord de coopération avec l'université Artois.

12 mai 2016 Séminaire Tree Automata for Reasoning in Databases and Artificial Intelligence - Pierre Bourhis (LIFL, CNRS)

In database management, one of the principal task is to optimize the queries to evaluate them efficiently. It is in particular the case for recursive queries for which their evaluation can lead to crawl all the database. In particular, one of the main question is to minimize the queries in order to avoid to evaluate useless parts of the query. The core theoretical question around this line of work is the problem of inclusion of a query in another.

27 avr. 2016 Nouvelle Papiers acceptés à IJCAI'16

6 papiers ont été acceptés à la conférence IJCAI (New York, 2016)

21 avr. 2016 Séminaire Ranking Arguments With Compensation-Based Semantics - Srdjan Vesic (CRIL, CNRS)

In almost all existing semantics in argumentation, a strong attack has a lethal effect on its target that a set of several weak attacks may not have. This paper investigates the case where several weak attacks may compensate one strong attack. It defines a broad class of ranking semantics, called alpha-BBS, which satisfy compensation. alpha-BBS assign a burden number to each argument and order the arguments with respect to those numbers.

1 avr. 2016 Séminaire Intention refinement and revision based on instrumentality - Andreas Herzig (IRIT, CNRS)

According to Bratman’s influential theory, intentions have to be viewed as more or less detailed plans. Such plans are typically high-level as far as the remote future is concerned: they are not worked out in detail and are progressively refined in order to provide basic actions that are directly executable. Inspired by Shoham’s database perspective, we view basic and high-level intentions as organized in an agenda that specifies the temporal intervals within which the corresponding actions have to be performed.

17 mars 2016 Séminaire Towards Declarative Scripting: Combining CP and Analytics - Hassan Ait Kaci

This is a high-level glance at current trends in the Analytics and CP landscape from the perspective of declarative programming language use and design (the forest rather than the trees) as well as speculate and extrapolate some perspectives therefrom (what seems to be needed).

10 mars 2016 Nouvelle Prix de la meilleure contribution dans la thématique intelligence artificielle à ICAART 2016

Salem Benferhat vient de recevoir le prix de la meilleure contribution à la conférence ICAART qui s'est déroulée du 24 au 26 février à Rome, Italie.

4 mars 2016 Nouvelle Visite de Madame Najat Vallaud-Belkacem, Ministre de l’Education Nationale, de l’Enseignement Supérieur et de la Recherche

Ce vendredi 4 mars 2016, Madame Najat Vallaud-Belkacem, Ministre de l’Education Nationale, de l’Enseignement Supérieur et de la Recherche s’est rendue à Lens pour visiter notre laboratoire et échanger avec ses membres. La visite fut l’occasion pour le laboratoire de présenter à la Ministre sa politique scientifique ainsi que quelques applications et projets du laboratoire, à la pointe des recherches en intelligence artificielle. Lui furent notamment exposés des résultats au sujet de la planification flexible avec contraintes pour une application de visite personnalisée de musées, de la détection de tricheries dans des plates-formes de jeux en ligne, des techniques d’analyse automatisée d’arguments échangés sur les plates-formes de démocratie participative, de techniques d’intelligence artificielle générale pour les jeux, et, enfin, le calcul de compromis et de consensus entre différents agents dotés de capacités déductives.

3 mars 2016 Séminaire Présentation de Pharo par Stéphane Ducasse - Stéphane Ducasse (INRIA Lille)

Pharo http://www.pharo.org est un langage à objets pur, inspiré de Smalltalk, qui offre une expérience unique de développement en constante interaction avec des objets vivants. Pharo est élégant, fun à programmer et très puissant. Il est très facile à apprendre et permet de comprendre des concepts très avancés de façon naturelle. En programmant en Pharo vous êtes immergés dans un monde d’objets vivants. Vous modifiez en live sans cesse des objets qui peuvent représenter des applications web, du code lui-même, des graphismes, du réseau…

25 févr. 2016 Séminaire Focused proof systems for modal logic - Marco Volpe (INRIA)

Focused proofs are sequent calculus proofs that group inference rules into alternating positive and negative phases. These phases can then be used to define macro-level inference rules from Gentzen’s original and tiny introduction and structural rules. In this talk, I will show that the inference rules of labeled proof systems for modal logics can similarly be described as pairs of such positive and negative phases within focused proof system for first-order classical logic.

22 févr. 2016 Nouvelle 6 communications acceptées à KR 2016

Six communications viennent d’être acceptées à la quinzième conférence internationale sur les principes de la représentation des connaissances et du raisonnement (KR 2016). Jerome Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit and Stefan Woltran Merging of Abstract Argumentation Frameworks Jean-Francois Condotta, Issam Nouaouri and Michael Sioutis A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networksi Leila Amgoud, Jonathan Ben-Naim, Dragan Doder and Srdjan Vesic Ranking Arguments With Compensation-Based Semantics Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais and Yakoub Salhi A MIS Partition Based Framework for Measuring Inconsistency Jean-Francois Condotta, Badran Raddaoui and Yakoub Salhi Quantifying Conflicts for Spatial and Temporal Information Jean-Francois Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Mugnier Marie-Laure, Odile Papini, Swan Rocher and Karim Tabia A General Modifier-based Framework for Inconsistency-Tolerant Query Answering (short paper)

12 janv. 2016 Invité(s) Visite de Takehide Soh (Kobe, Japon)

Takehide Soh, de l’université de Kobe, Japon, sera en visite au CRIL les 12 et 13 janvier 2016. Takehide Soh travaille sur la résolution de problèmes à base de contraintes par traduction à SAT. Il est l’auteur des outils Scarab et Diet-Sugar.

10 déc. 2015 Séminaire On Anti-Subsumptive Knowledge Enforcement - Jean-Marie Lagniez (Université d'Artois)

The anti-subsumptive enforcement of a clause δ in a set of clauses ∆ consists in extracting one cardinality-maximal satisfiable subset ∆0 of ∆ ∪ {δ} that contains δ but that does not strictly subsume δ. In this paper, the computational issues of this problem are investigated in the Boolean framework. Especially, the minimal change policy that requires a minimal number of clauses to be dropped from ∆ can lead to an exponential computational blow-up.

4 déc. 2015 Nouvelle Soutenance de thèse de Nebras Gharbi - Compression et parallélisation en CSP

Le 4 décembre 2015, à 14h, salle des thèses de la faculté Jean Perrin Résumé : La programmation par contraintes est un cadre puissant utilisé pour modéliser et résoudre des problèmes combinatoires, employant des techniques d’intelligence artificielle, de la recherche opérationnelle, de théorie des graphes,…, etc. L’idée de base de la programmation par contraintes est que l’utilisateur exprime ses contraintes et qu’un solveur de contraintes cherche une ou plusieurs solutions.

3 déc. 2015 Séminaire Embarrassingly Parallel Search - Jean-Charles Régin (Sophia-Antipolis)

We propose the Embarrassingly Parallel Search, a simple and efficient method for solving constraint programming problems in parallel. We split the initial problem into a huge number of independent subproblems and solve them with available workers (i.e., cores of machines). The decomposition into subproblems is computed by selecting a subset of variables and by enumerating the combinations of values of these variables that are consistent w.r.t. the propagation mechanism of a CP Solver.

26 nov. 2015 Séminaire NOOSBEE - Nextoo

Noosbee est une plateforme collaborative d’innovation, construite en co-design avec ses utilisateurs. Actuellement en version beta, Noosbee permet de travailler à plusieurs sur une idée ou un concept. L’approfondissement se fait en discutant bien sur, mais aussi en collectant un maximum de sources d’inspirations provenant du web. Au dela de la plateforme, c’est aussi la méthode suivie pour son développement qui est intéressante. Noosbee est donc une belle histoire à raconter !

12 nov. 2015 Séminaire Autour des processus décisionnels de Markov partiellement ordonnés - Hiba Abdelmoumène

Les processus décisionnels de Markov (MDPs : Markov Decision Processes) permettent de modéliser des problèmes de décision séquentielle sous incertitude. La première partie de l’exposé présentera d’une manière générale les concepts de base du modèle MDP. Les modèles MDP standards n’intègrent pas d’hypothèses sur les contraintes d’exécution des actions. Dans la deuxième partie de l’exposé, nous nous intéressons, à l’adaptation du modèle MDP afin de prendre en considération les contraintes temporelles, les contraintes de précédence et les durées probabilistes des actions.

26 oct. 2015 Nouvelle ACAI-2015

Le CRIL organise du 26 au 30 octobre 2015 l'école d'été de l'ECCAI à Lille, consacrée à la résolution pratique de problèmes de contraintes en intelligence artificielle. http://www.cril.fr/acai15

30 sept. 2015 Nouvelle Soutenance de thèse de Jean-Guy Mailly - Dynamique des Systèmes d’Argumentation

Le 30 septembre 2015, à 14h, salle des thèses de la faculté Jean Perrin Résumé : Cette thèse traite du problème de l’intégration d’une nouvelle information dans un système d’argumentation abstrait. Un tel système est un graphe orienté dont les nœuds représentent les arguments, et les arcs représentent les attaques entre arguments. Il existe divers moyen de décider quels arguments sont acceptés par l’agent qui utilise un tel système pour représenter ses croyances.

30 sept. 2015 Nouvelle Glucose meilleur solveur parallèle de la SAT Race 2015

Le solveur Glucose a remporté la SAT Race 2015 dans la section "solveurs parallèles"

29 sept. 2015 Nouvelle Atelier "Le Changement dans l'Argumentation" les 29 et 30 septembre

Le CRIL organise les mardi 29 et mercredi 30 septembre 2015 un atelier sur “Le Changement dans l’Argumentation” à la faculté des sciences Jean Perrin dans le cadre de l’ANR Amande. Le programme détaillé de l’atelier est disponible en ligne.

24 sept. 2015 Séminaire Compilation de réseau de contraintes en MDDG - Jean-Marie Lagniez (CRIL, Université d'Artois)

17 sept. 2015 Nouvelle Soutenance de thèse de Nicolas Schmidt : Compilation de préférences - application à la configuration de produits

Le 17/9/2015 à 11h20 en salle des thèses, faculté des sciences Jean Perrin Résumé : L’intérêt des différents langages de la famille des diagrammes de décision valués (VDD) est qu’ils admettent des algorithmes en temps polynomial pour des traitements (comme l’optimisation, la cohérence inverse globale, l’inférence) qui ne sont pas polynomiaux (sous l’hypothèse P≠NP), si ils sont effectués sur le problème dans sa forme originale tel que les réseaux de contraintes ou les réseaux bayésiens.

25 juil. 2015 Nouvelle CoQuiAAS classé premier à la première compétition d'argumentation

Le solveur CoQuiAAS a été classé premier à l'issue de la première compétition d'argumentation organisée lors du workshop Theory and Applications of Formal Arguments à l'IJCAI

25 juin 2015 Séminaire Sur les probabilités qualitatives subjectives - Ramón Pino Perez (Université de Los Andes, Merida)

18 juin 2015 Séminaire Lazy improvement converges to Nash equilibrium in games in extensive form - Stephane Le Roux (Université Libre de Bruxelles)

We consider a dynamical approach to sequential games. The lazy improvement dynamics are given through a very simple individual updating rule, and, for finite games, are guaranteed to converge to a Nash equilibrium (provided that the preferences are acyclic). Moreover, even if some players have cyclic preferences, the remaining ones will still finite time. Thus, lazy improvement even induces a notion of rational play in the presence of irrational actors. For infinite sequential games we can retain convergence to a Nash equilibrium (in some sense), if the preferences are given by continuous payoff functions; or obtain a trans finite convergence if the outcome sets of the game are Delta^_02-sets.

11 juin 2015 Invité(s) Kamal Kabyl en visite au CRIL du 11 au 24 juin

Kamal Kabyl est Maître de conférences à l’Université de Béjaia (Algérie) dans le Laboratoire LAMOS. Il s’intéresse particulièrement aux graphes et à leurs applications, plus spécifiquement le plongements des arbres dans des structures de type hypercube. Il séjourne au CRIL du 11 juin au 24 juin 2015 à l’initiative de Lakhdar Saïs.

11 juin 2015 Nouvelle Journées des doctorants (JDD'15)

Du 11 juin au 12 juin, le CRIL organise les journées des doctorants (JDD-2015). Cette année, les doctorants présenteront leurs travaux sous le soleil de Fort-Mahon. Jeudi 11 juin 2015 E. Lonca : Multiobjective optimization : Complexity under compiled constraints and solving using SAT N. Gharbi : Constraint Solving using Parallel Singleton Arc Consistency E. Piette : General Game Playing with Stochastic CSP S.

8 juin 2015 Séminaire Two questions in formal argumentation - Leon van der Torre (University of Luxembourg)

In this talk I will discuss two questions in formal argumentation: If abstract argumentation is the answer, then what is the question? How to explain the acceptance of arguments by changing the argumentation framework?

1 juin 2015 Nouvelle Un nouvel ECCAI Fellow au CRIL

Salem Benferhat devient ECCAI Fellow en 2015

1 mai 2015 Nouvelle Papiers acceptés à IJCAI'15

6 papiers ont ete acceptés à la conférence IJCAI (Buenos Aires, 2015)

9 avr. 2015 Séminaire Apprentissage incrémental de modèles d'action relationnels - Christophe Rodrigues (LIPN - Université Paris13)

Nous nous intéressons à l’apprentissage artificiel pour l’action. Nous nous situons à l’intersection de l’apprentissage par renforcement (RL) et de la programmation logique inductive (ILP). Nous étudions plus précisément l’apprentissage de modèles d’actions. Un modèle d’action décrit les conditions et effets des actions possibles dans un environnement. Il permet d’anticiper les conséquences des actions d’un agent et peut aussi être utilisé par un planificateur. Nous nous intéressons en particulier à une représentation relationnelle des environnements.

2 avr. 2015 Séminaire Le raisonnement qualitatif (QSTR) et leur encodage en SAT - Julien Hue (CRIL, UArtois)

Une des méthodes priviligiée pour la résolution de problèmes en raisonnement qualitatif est la traduction en SAT pour déléguer la résolution à un solveur. Je présenterais un panel des encodages populaires pour les calculi RCC8 et Algèbre des Intervalles de Allen. Je pointerai notamment les différences en terme de pouvoir de propagation de ces différents encodages. Je terminerai par un encodage inédit pour RCC8 qui présente de meilleures propriétés de propagation que les encodages de l’état de l’art.

19 mars 2015 Invité(s) Odile Papini nous rend visite le 24 et 25 mars prochain

12 mars 2015 Séminaire Opérateurs d’amélioration à crédibilité limité ou l’histoire de l’éléphant rose - Sébastien Konieczny (CRIL, CNRS)

Nous proposons une nouvelle famille d’opérateurs de changement appelés opérateurs d’amélioration à crédibilité limité. L’idée est d’accepter une nouvelle d’information seulement si elle est jugée suffisamment crédible pour l’agent. Si l’information n’est pas suffisamment crédible alors elle n’est pas directement acceptée, mais sa plausibilité est tout de même augmentée dans l’état épistémique de l’agent. Pour cela nous proposons une généralisation des états épistémiques de Darwiche & Pearl, où, en plus de l’ensemble des formules acceptées par l’agent (i.

10 mars 2015 Recrutement Poste de MCF 27e section - CRIL (Lens) - Université d'Artois

27 MCF 0470 – N° Galaxie : 4163 Poste pourvu Recherche : Profil recherche : Intelligence artificielle Lieu(x) d’exercice : Lens – CRIL (Centre de Recherche en Informatique de Lens) UMR 8188 Nom directeur laboratoire : Eric Grégoire ( 03 21 79 17 23 - [email protected] ) Descriptif laboratoire : Le CRIL est une unité mixte de recherche liant le CNRS et l’Université d’Artois. Il regroupe près de 60 personnes sur la thématique de l’intelligence artificielle et de ses applications.

19 févr. 2015 Séminaire XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems - Vincent Perradin (CRIL, UArtois)

Dans cet exposé, nous nous présenterons le format XCSP3, pensé pour représenter des problèmes relevant typiquement de la programmation par contraintes. Par le passé, différents formats de représentation ont été proposés, mais aucun d’entre eux ne peut se targuer d’une adoption massive par la communauté PPC. Notre format se veut unificateur et permet de représenter un nombre très important de cadres de travail : problèmes de décision, d’optimisation (possiblement multi-critère), problèmes distribués, stochastiques, booléens, qualitatifs, etc.

5 févr. 2015 Séminaire A (Biased) Proof Complexity Survey for SAT Practitioners - Jakob Nordstrom (KTH Royal Institute of Technology)

31 janv. 2015 Nouvelle Best Paper Award at ICAART 2015 pour Srdjan Vesic

How to Decrease and Resolve Inconsistency of a Knowledge Base?

29 janv. 2015 Séminaire A characterization of strongly monotone scheduling mechanisms - Angelina Vidali (UPMC-LIP6)

joint work with Annamária Kovács, Goethe University, Frankfurt/M, Germany. My talk deals with the important problem of globally characterizing truthful mechanisms where players have multiparameter valuations like scheduling unrelated machines or combinatorial auctions. Very few mechanisms are known for these multi-parameter settings and the question is: Can we prove that no other truthful mechanisms exist? We characterize truthful mechanisms for n players and 2 tasks for multiple settings: scheduling unrelated machines, combinatorial auctions where the players have additive or subadditive or submodular valuations and all items have to be allocated: A truthful mechanism is either task-independent or a player-grouping minimizer, a new class of mechanisms we discover and which generalizes affine minimizers.

22 janv. 2015 Séminaire Expander CNFs have Exponential DNNF Size - Stefan Mengel

DNNFs are a class of Boolean circuits studied in the area of knowledge compilation where they serve as a target language into which knowledge bases are compiled. DNNFs form a very general language; in particular they generalize classical languages like OBDDs and DNF-formulas. While it was known that under standard complexity theoretic assumptions CNF formulas can generally not be compiled into DNNFs without a superpolynomial size blow-up, no concrete, unconditional lower bounds were known for DNNFs.

5 janv. 2015 Invité(s) Invité du CRIL : Professeur Ramón Pino Pérez

Ramón Pino Pérez, professeur à l’université De Los Andes, invité du CRIL pour 6 mois (Jan à Juin - 2015)

4 déc. 2014 Séminaire Coalitional games for abstract argumentation - Elize Bonzon (LIPADE, Université Paris Decartes)

In this work we address the issue of uncertainty in abstract argumentation. We propose a way to compute the relative relevance of arguments by merging the classical abstract argumentation framework into a game theoretic coalitional setting, where the worth of a collection of arguments can be seen as the combination of the information concerning the defeat relation and the preferences over arguments of a ``user’’. Via a property-driven approach, we show that the Shapley value for coalitional games defined over an argumentation framework, can be applied to resume all the information about the worth of sets of arguments into an attribution of relevance for the single arguments.

27 nov. 2014 Séminaire Application du problème SAT aux fonctions de hachages cryptographiques - Florian Legendre (CRIL, Université d'Artois)

La sécurité des systèmes d’information est devenu un besoin primordial dans le monde numérique qui nous entoure. Cette sécurité est garantie principalement par l’utilisation de protocoles et d’algorithmes cryptographiques qui doivent être résistants contre tous types d’attaques. L’analyse de ces algorithmes - qu’on appelle cryptanalyse - a vu naître ces dernières années une nouvelle branche, nommée cryptanalyse logique, qui consiste à étudier un algorithme de chiffrement via l’utilisation de la logique propositionnelle et plus particulièrement du problème SAT.

Actualités

Nous contacter

Nos adresses