Centre de recherche en informatique de Lens

CRIL
Siège	Lens
Rattachement	Université d'Artois
CNRS	CNRS UMR 8188
Disciplines	Informatique
modifier

Le Centre de recherche en informatique de Lens (CRIL) est un laboratoire de l’université d’Artois situé à Lens et associé au Centre national de la recherche scientifique (CNRS), UMR8188. Il regroupe une quarantaine de chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques. La thématique de recherche fédératrice du CRIL concerne l'intelligence artificielle symbolique et ses applications.

Thématiques de recherche du CRIL

Les recherches développées au CRIL concernent la conception de systèmes intelligents autonomes. En fonction des informations disponibles, de tels systèmes doivent être capables de prise de décisions raisonnables afin d’atteindre au mieux leur objectif. Pour ce faire, ils doivent disposer de capacités inférentielles. Les principales difficultés à résoudre pour réaliser de tels systèmes sont d’origines variées. D’abord, les informations disponibles sont usuellement hétérogènes et imparfaites. Elles incluent typiquement connaissances et croyances sur l’état du monde dans lequel le système intelligent évolue (par exemple, les lois physiques du monde mais aussi des informations issues de capteurs plus ou moins fiables), sur les informations que les autres agents intervenant dans ce monde peuvent posséder, des descriptions des actions disponibles et de leurs effets, des préférences des agents. L’imperfection des informations disponibles a plusieurs facettes (qui sont corrélées) : incomplétude, incertitude, incohérence, contextualité, entre autres. Ensuite, les types d’inférence nécessaires à la réalisation d’un comportement dit intelligent sont multiples. Enfin, la concision des langages de représentation utilisés rend souvent l’inférence et la prise de décision calculatoirement intraitables dans le pire des cas. Il importe alors d’identifier les sources de complexité mises en jeu pour les pallier au mieux, en développant une algorithmique la plus efficace possible en pratique ou encore en développant des méthodes de type approximation ou compilation. À cet égard, le CRIL structure ses activités selon deux axes principaux : d’une part, le traitement des informations imparfaites, dynamiques, contextuelles et multi-sources, et d’autre part, l’algorithmique pour l’inférence et la prise de décision.

Voir aussi

• Intelligence artificielle
• Inférence et Prise de décision
• Représentation des connaissances
• Logique pour l’intelligence artificielle
• SAT, CSP, QBF
• École doctorale des sciences pour l'ingénieur (ED-SPI 72)
• Laboratoire d'Automatique, Génie Informatique et Signal
• Laboratoire d'Informatique Fondamentale de Lille

Liens externes

• (fr) Centre de recherche en informatique de Lens

v · Université Lille Nord de France
Membres fondateurs	Université Lille I • Université Lille II • Université Lille III • École centrale de Lille Université d'Artois • Université du Littoral Côte d'Opale • Université de Valenciennes • École des mines de Douai
Membres associés	Centre hospitalier régional universitaire de Lille (CHRU de Lille)• École nationale supérieure des arts et industries textiles (ENSAIT) • École nationale supérieure d'architecture et de paysage de Lille (ENSAPL) • École nationale supérieure de chimie de Lille (ENSCL) • École supérieure de commerce de Lille-Skema Business School • École supérieure de journalisme de Lille (ESJ Lille) • TELECOM Lille1 • Fédération universitaire et polytechnique de Lille (Université catholique de Lille) • Institut d'études politiques de Lille (IEP de Lille) • Institut français des sciences et technologies des transports, de l'aménagement et des réseaux (IFSTTAR) • Institut national de recherche en informatique et en automatique (INRIA Lille - Nord Europe) • Institut Pasteur de Lille (IPL) • Institut français de recherche pour l'exploitation de la mer (IFREMER)
Histoire universitaire : Universités de Douai (1559-1795) • Facultés de Douai (1808-1815, 1854-1887) • Facultés de Lille (1854-1896) • Université de Lille (1896-1970)

• Portail de l’informatique