Le CRIL en bref
Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS dont la thématique de recherche fédératrice concerne l'intelligence artificielle et ses applications. Il regroupe plus de 50 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.
Le CRIL est localisé sur deux sites à Lens : la faculté des sciences Jean Perrin et l’IUT.
Recherches en intelligence artificielle et applications
Actualités (RSS)
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).
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”.
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.
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.
Séminaire Baby Description Logic
**Ivan Varzinczak **
This talk will give a brief introduction to formal ontologies, description logics and their applications.