Le CRIL en bref

présentation

Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS qui regroupe plus de cinquante membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.

En savoir plus

Recherches en intelligence artificielle et applications

mots clés du CRIL

Actualités (RSS)

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. Deuxièmement, nous introduisons un nouvel algorithme hiérarchique descendant
pour le clustering des objets représentés explicitement par des ensembles de modèles. Enfin, nous
proposons un encodage basé sur la satisfiabilité propositionnelle du problème de clustering des formules
propositionnelles sans avoir besoin d’une représentation explicite de leurs modèles. Dans une seconde
contribution, nous proposons une nouvelle approche basée sur la satisfiabilité pour extraire les règles
d’association en une seule étape. La tâche est modélisée comme une formule propositionnelle dont les
modèles correspondent aux règles à extraire. Pour montrer la flexibilité de notre cadre, nous abordons
également d’autres variantes, à savoir, l’extraction des règles d’association fermées, minimales non
redondantes, les plus générales et les indirectes. Les expérimentations sur de nombreux jeux de données
montrent que sur la majorité des tâches de fouille de règles d’association considérées, notre approche
déclarative réalise de meilleures performances que les méthodes spécialisées.

Mots-clés : fouille de données, clustering, règles d’association, satisfiabilité propositionnelle.

En savoir plus

Papiers acceptés à KR'18

Cette année, ce seront 4 papiers et 3 posters co-écrits par des membres du CRIL qui seront présentés à KR 2018.

Quatre papiers seront présentés dans la conférence générale :


Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny and Nicolas Maudet Gradual semantics accounting for similarity between arguments
Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny and Nicolas Maudet Combining Extension-based semantics and Ranking-based semantics for Abstract Argumentation
Nicolas Schwind, Sébastien Konieczny and Pierre Marquis On Belief Promotion
Giovanni Casini, Thomas Meyer, Eduardo Fermé and Ivan Varzinczak A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework


Les trois posters suivants seront également présentés :


Sébastien Konieczny, Pierre Marquis and Srdjan Vesic New inference relations from maximal consistent subsets
Jean Marie Lagniez, Daniel Le Berre, Tiago de Lima and Valentin Montmirail Space-Awareness in a SAT-Based Approach For PSPACE Modal Logics
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez and Pierre Marquis Probabilistic Coalition Structure Generation

En savoir plus

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

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.

Séminaire 

Présentation des projets QDoSSI et AniAge