Институт логики, языка и вычислений ( ILLC ) — исследовательский институт Амстердамского университета , в котором сотрудничают исследователи факультета естественных наук и факультета гуманитарных наук . Центральным направлением исследований ILLC является изучение фундаментальных принципов кодирования , передачи и понимания информации . Особое внимание уделяется естественным и формальным языкам, но изучаются и другие носители информации, такие как изображения и музыка .
Исследования в ILLC носят междисциплинарный характер и направлены на объединение идей из различных дисциплин, связанных с информацией и ее обработкой, таких как логика , математика , информатика, компьютерная лингвистика , когнитивная наука , искусственный интеллект и философия . Он организован в три группы: «Логика и вычисления» (руководитель проекта: Иде Венема), «Логика и язык» (руководитель проекта: Роберт ван Рой) и «Язык и вычисления» (руководитель проекта: Джелле Зуйдема), объединенные ключевыми темами « Объяснимый и этический ИИ». , Интерпретируемое машинное обучение для обработки естественного языка , Когнитивное моделирование , Логика, Игры и социальные действия , а также Квантовая информация и вычисления . ILLC участвует в нескольких международных проектах, среди которых мы выделяем Объединенный исследовательский центр логики (JRC), специальное партнерство между Университетом Цинхуа и Университетом Амстердама.
В дополнение к своей исследовательской деятельности ILLC реализует программу последипломного образования по логике с получением докторской степени и степень магистра логики, международную высшую междисциплинарную степень магистра в области логики (веб-страница MSc Logic). В сентябре 2018 года институт открыл специальность по логике и вычислениям, принимая местных и иностранных студентов бакалавриата. Программа дополнительного образования по логике и вычислениям состоит из 30 курсов EC, выбранных из списка высококлассных курсов, организованных по четырем темам: математика, философия, теоретическая информатика и компьютерная лингвистика и искусственный интеллект.
ILLC начал свою деятельность в 1986 году как Instituut voor Taal, Logica en Informatie (ITLI; Институт языка, логики и информации). Вначале это было неформальное объединение сотрудников факультета математики и информатики и факультета философии , к которому в 1989 году присоединились компьютерные лингвисты с факультета гуманитарных наук. В 1991 году институт был официально учрежден как университет. Исследовательский институт. В 1991–1996 годах в состав института входила также исследовательская группа по программированию факультета математики и информатики. Лаборатория прикладной логики факультета социальных наук входила в состав ILLC с 1996 по 2003 год. Другие группы в области информатики и когнитивных наук присоединились к институту в 1996 году.
ILLC уходит корнями в амстердамскую традицию логических исследований, восходящую к началу двадцатого века (включая таких исследователей, как Л. Дж. Брауэр , Аренд Хейтинг и Эверт Виллем Бет ). Своим предшественником он считает Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (основанный в 1952 году).
Среди других известных участников и бывших участников: