Instituto de Lógica, Lenguaje y Computación

El Instituto de Lógica, Lenguaje y Computación ( ILLC ) es un instituto de investigación de la Universidad de Ámsterdam , donde colaboran investigadores de la Facultad de Ciencias y 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 . Si bien se hace hincapié en los lenguajes naturales y formales , también se estudian otros soportes de información, como imágenes y 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 su procesamiento, 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 (directora del proyecto: Yde Venema), Lógica y Lenguaje (director del proyecto: Robert van Rooij) y Lenguaje y Computación (director del proyecto: Jelle Zuidema), unidos por los temas clave de IA 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 destaca el Centro Conjunto de Investigación en Lógica (JRC), una colaboración especial entre la Universidad de Tsinghua y la Universidad de Ámsterdam.

Además de sus actividades de investigación, el ILLC imparte el Programa de Posgrado en Lógica con un programa de doctorado y la Maestría en Lógica, un máster interdisciplinario de gran prestigio internacional ( página web de la Maestría en Lógica ). En septiembre de 2018, el instituto inauguró la Especialización en Lógica y Computación, que acoge a estudiantes de grado locales e internacionales. El programa de la Especialización en Lógica y Computación consta de 30 créditos ECTS, elegidos de una lista de cursos de alto nivel organizados en torno a cuatro temas: Matemáticas, Filosofía, Informática Teórica y Lingüística Computacional e Inteligencia Artificial.

El ILLC se fundó en 1986 como Instituut voor Taal, Logica en Informatie (ITLI; Instituto de Lenguaje, Lógica e Información). Inicialmente, fue una asociación informal de 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 constituyó oficialmente como Instituto de Investigación Universitaria. Entre 1991 y 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 perteneció al ILLC desde 1996 hasta 2003. Otros grupos de informática y ciencias cognitivas se asociaron 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.

Otros miembros destacados y antiguos miembros incluyen:

• Instituto de Matemáticas Korteweg-de Vries
• Centrum Wiskunde & Informatica

• Sitio web oficial

52°21′20″N 4°57′01″E / 52.3555°N 4.9504°E / 52.3555; 4.9504