Hispanopedia WikiEl Instituto de Lógica, Lenguaje y Computación ( ILLC ) es un instituto de investigación de la Universidad de Ámsterdam , en el que colaboran investigadores de la Facultad de Ciencias y de la Facultad de Humanidades . El área central de investigación del ILLC es el estudio de los principios fundamentales de la 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 varias 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á organizada en tres grupos : Lógica y Computación (líder del proyecto: Yde Venema), Lógica y Lenguaje (líder del proyecto: Robert van Rooij) y Lenguaje y Computación (líder del proyecto: Jelle Zuidema), unidos por los temas clave Inteligencia Artificial Explicable y Ética , Aprendizaje Automático Interpretable para el Procesamiento del Lenguaje Natural , Modelado Cognitivo , Lógica, Juegos y Agencia Social e Información y Computación Cuántica . El ILLC participa en varias colaboraciones internacionales entre las que destacamos el Centro de Investigación Conjunta para la Lógica (JRC), una asociación de colaboración especial entre la Universidad de Tsinghua y la Universidad de Ámsterdam.
Además de sus actividades de investigación, el ILLC ofrece un programa de posgrado en lógica, con un programa de doctorado y una maestría en lógica, una maestría interdisciplinaria y de primer nivel internacional en lógica (página web de la maestría en lógica). En septiembre de 2018, el instituto abrió la especialización en lógica y computación, que da la bienvenida a estudiantes de licenciatura locales e internacionales. El programa de la especializació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 inteligencia artificial.
Historia
El ILLC comenzó a funcionar 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 de 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 Instituto de Investigación Universitaria. Durante el período 1991-1996, el grupo de investigación de 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 informática y ciencia cognitiva se han asociado al instituto en 1996.
El ILLC tiene sus raíces en la tradición de investigación lógica de Ámsterdam 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
Miembros
Otros miembros notables y ex miembros incluyen:
Véase también
Enlaces externos
- Sitio web oficial