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.

8 déc. 2022   Séminaire Séminaire de Mikaël Monet - INRIA Lille - Mikaël Monet - INRIA Lille

To be announced.

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 systèmes d’information des entreprises actuelles sont de plus en plus " submergés " par des données distribuées, connectées et de tous types (structurées, semi-structurées et non structurées). Cette croissance et « Big Data », ont transformé́ tous les aspects de l’entreprise et de la société́ actuelle, et ont créé de nouveaux défis pour les entreprises et pour la communauté scientifique, parmi lesquels comment comprendre et analyser de telles masses de données afin d’en extraire des connaissances sé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.

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.

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

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.

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.

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 (yael.fregier@gmail.com et jeanbaptiste.gouray@gmail.com).

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 (yael.fregier@gmail.com et jeanbaptiste.gouray@gmail.com).

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 (yael.fregier@gmail.com et jeanbaptiste.gouray@gmail.com).

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.

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

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

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 unification 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).

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.

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

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.

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é.

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.

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.

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.

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.