Centre de Recherche en Informatique de LensRecherches en intelligence artificielle et ses applications.
|
Le laboratoire:Directeur: Pierre Marquis Le CRIL est localisé sur deux sites à Lens : la faculté des sciences Jean Perrin et l’IUT. Il regroupe près de 70 membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques. Le CRIL participe à la Confédération Européenne de Laboratoires en Intelligence Artificielle CLAIRE et à l'alliance régionale humAIn. Il bénéficie du soutien du Ministère de l’Enseignement Supérieur et de la Recherche, du CNRS, de l’Université d’Artois et de la région Hauts de France.
Texte intégral451
Notices1 234
Actualités
Probabilistic reasoning is a key aspect of artificial intelligence. In this talk we will look at probabilistic reasoning through the lens of ProbLog, a probabilistic logic programming language. This language extends the logical facts and rules of Prolog with probabilistic facts. Probabilistic reasoning in this language is achieved through knowledge compilation techniques. We will delve deeper into the details of this reasoning pipeline and highlight some of ProbLog's extensions. In particular we consider DeepProbLog, which heavily benefits from inference through d-DNNF compilation.
The CRIL cluster has been providing the laboratory's researchers with computing resources since it was set up in 2009. Since then, the evolution of these resources has been continuous, leading to a heterogeneous architecture in which traditional computing nodes, nodes dedicated to distributed computing, GPU nodes and various servers to drive this computing power cohabit, all driven by the Slurm resource manager. The aim of this talk is to present the calculation tools available, and how to use them (correctly) via Slurm.
Cette semaine, du lundi 18 au vendredi 22 décembre, sept thèses de doctorat vont être soutenues au CRIL.
Lundi 18 décembre 10 heures : Steve Bellart, “Calcul d’explications formelles pour les modèles d’apprentissage automatique à ensemble d’arbres” 14 heures : Chouaib Fellah, “Fusion pondérée de bases de croyances” 15 heures : Anthony Blomme, “Explications pour les solveurs SAT” Mercredi 20 décembre 14 heures 30 : Sara Kebir, “Approches légères pour une solution de maison intelligente pour personnes âgées” Jeudi 21 décembre 10 heures : Thibault Falque, “Optimisation des flux passagers et de la gestion de ressources aéroportuaires via des techniques d’apprentissage automatique et de programmation par contrainte” Vendredi 22 décembre 14 heures : Louenas Bounia : “Modèles formels pour l’IA explicable et robuste” 15 heures : Astrid Klipfel : “Equivariant Message Passing Neural Networks and diffusion model for materials science”
|