Институт логики, языка и вычислений
 |
Прежние имена | Институт языка Логика и информация |
|---|---|
| Учредил | 1991 год |
| Директор | Роберт ван Рой |
| Адрес | Научный парк 107 , , 1098 ХГ , |
| Веб-сайт | что |
Институт логики, языка и вычислений ( 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 уходит корнями в амстердамскую традицию логических исследований, восходящую к началу двадцатого века (включая таких исследователей, как Л. Дж. Брауэр , Аренд Хейтинг и Эверт Виллем Бет ). Бет он считает Институт фундаментальных исследований и философии науки Своим предшественником (основанный в 1952 году).
Режиссеры [ править ]
| Имя | Срок полномочий | |
|---|---|---|
| 1-й директор | Йохан ван Бентем | 1991-1998 |
| 2-й директор | Мартин Стокхоф | 1998-2003 |
| 3-й директор | Фрэнк Велтман | 2003-2009 |
| 4-й директор | Йерун Гроенендейк | 2009 |
| 5-й директор | Лин Торенвлит | 2009-2011 |
| 6-й директор | Иде Венема | 2011-2016 |
| 7-й директор | Соня Сметс | 2016-2021 |
| 8-й директор | Роберт Ван Ройдж | с 2021 года |
Участники [ править ]
Среди других известных участников и бывших участников:
