Instituto de Lógica, Lenguaje y Computación - Institute for Logic, Language and Computation

Instituto de Lógica, Lenguaje y Computación
Nombres anteriores
 Instituut voor Taal
Logica en Informatie
Establecido 1991 ; Hace 30 años ( 1991 )
Director Sonja Smets
Dirección
Parque de las Ciencias 107
,
Amsterdam
,
1098 XG
,
Países Bajos
Sitio web illc .uva .nl

El Instituto de Lógica, Lenguaje y Computación ( ILLC ) es un instituto de investigación de la Universidad de Amsterdam , en el que colaboran investigadores de la Facultad de Ciencias y la Facultad de Humanidades . El área de investigación central del ILLC es el estudio de los principios fundamentales de codificación , transmisión y comprensión de la información . Se hace hincapié en los lenguajes naturales y formales , pero también se estudian otros portadores de información, como las imágenes y la música .

La investigación en el ILLC es interdisciplinaria y tiene como objetivo reunir conocimientos de diversas disciplinas relacionadas con la información y el procesamiento de la información, como la lógica , las matemáticas , la informática , la lingüística computacional , la ciencia cognitiva , la inteligencia artificial y la filosofía . Está organizado en los tres grupos Logic & Computation (líder del proyecto: Yde Venema), Logic & Language (líder del proyecto: Robert van Rooij) y Language & Computation (líder del proyecto: Jelle Zuidema) unidos por los temas clave Explicable y Ethical AI , Machine Learning interpretable para procesamiento de lenguaje natural , modelado cognitivo , lógica, juegos y agencia social e información y computación cuántica . El ILLC está involucrado en varias colaboraciones internacionales entre las que destacamos el Centro de Investigación Conjunta de Lógica (JRC), una asociación de colaboración especial entre la Universidad de Tsinghua y la Universidad de Amsterdam.

Además de sus actividades de investigación, el ILLC está ejecutando el Programa de Posgrado en Lógica con un programa de doctorado y la Maestría en Lógica, una maestría internacional de primer nivel e interdisciplinaria en lógica ( página web de MSc Logic ). En septiembre de 2018, el instituto inauguró el Minor en Lógica y Computación, dando la bienvenida a estudiantes de licenciatura locales e internacionales. El programa de la Mención en Lógica y Computación consta de 30 EC, elegidos de una lista de cursos de alto perfil organizados según cuatro temas: Matemáticas, Filosofía, Informática Teórica y Lingüística Computacional e IA.

Historia

El ILLC comenzó en 1986 como Instituut voor Taal, Logica en Informatie (ITLI; Instituto de Lenguaje, Lógica e Información). Al principio, era una asociación informal de miembros del personal de la Facultad de Matemáticas e Informática y la Facultad de Filosofía , a la que se unieron lingüistas computacionales de la Facultad de Humanidades en 1989. En 1991, el instituto se estableció oficialmente como una Universidad. Instituto de Investigación. Durante 1991-1996, el grupo de investigación en programación de la Facultad de Matemáticas e Informática también formó parte del instituto. El Laboratorio de Lógica Aplicada de la Facultad de Ciencias Sociales formó parte del ILLC de 1996 a 2003. Otros grupos de ciencias de la computación y ciencias cognitivas se han asociado al instituto en 1996.

El ILLC tiene sus raíces en la tradición de investigación lógica de Amsterdam que se remonta a principios del siglo XX (incluidos investigadores como LEJ Brouwer , Arend Heyting y Evert Willem Beth ). Considera al Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen de Beth (fundado en 1952) como su precursor.

Directores

Nombre Termino de oficina
1er Director Johan van Benthem 1991-1998
2do Director Martin Stokhof 1998-2003
3er Director Frank Veltman 2003-2009
4to Director Jeroen Groenendijk 2009
5to Director Leen Torenvliet 2009-2011
6to Director Yde Venema 2011-2016
Séptimo Director Sonja Smets 2016-2021
8vo Director Robert Van Rooij desde 2021

Miembros

Otros miembros notables y miembros anteriores incluyen:

Ver también

enlaces externos