Институт логики, языка и вычислений

Институт логики, языка и вычислений (ILL C ) является исследовательским институтом при Амстердамского университета, в котором работают исследователи с факультета естественных наук и факультета гуманитарных наук сотрудничать. Центральным направлением исследований ILLC является изучение фундаментальных принципов кодирования, передачи и понимания информации. Упор делается на естественные и формальные языки, но другие носители информации, такие как изображения и музыка, также изучаются.

Исследования в ILLC являются междисциплинарными и направлены на объединение идей из различных дисциплин, связанных с информацией и обработкой информации, таких как логика, математика, информатика, компьютерная лингвистика, когнитивная наука, искусственный интеллект и философия. Он разделен на три группы: «Логика и вычисления» (руководитель проекта: Иде Венема), «Логика и язык» (руководитель проекта: Роберт ван Рой) и «Язык и вычисления» (руководитель проекта: Джелле Зуидема), объединенных ключевыми темами «Объяснимый и этический ИИ»., Интерпретируемое машинное обучение для обработки естественного языка, когнитивное моделирование, логика, игры и социальное агентство, а также квантовая информация и вычисления. ILLC участвует в нескольких международных программах сотрудничества, среди которых мы выделяем Объединенный исследовательский центр логики (JRC), особое сотрудничество между Университетом Цинхуа и Амстердамским университетом.

В дополнение к своей исследовательской деятельности ILLC реализует программу для аспирантов по логике с программой PhD и MSc в области логики, международную признанную и междисциплинарная степень магистра логики (веб-страница MSc Logic ). В сентябре 2018 года в институте открылась программа Minor in Logic and Computing, которая приветствовала местных и иностранных студентов бакалавриата. Программа Minor in Logic and Computing состоит из 30 EC, выбранных из списка высокопрофильных курсов, организованных по четырем темам: математика, философия, теоретическая информатика и компьютерная лингвистика и искусственный интеллект.

• 1 История
• 2 Директора
• 3 Члена
• 4 Внешние ссылки

ILLC начал свою деятельность в 1986 году как Instituut voor Taal, Logica en Informatie ( ITLI; Институт языка, логики и информации). Вначале это была неформальная ассоциация сотрудников факультета математики и компьютерных наук и факультета философии, к которой присоединились компьютерные лингвисты. с факультета гуманитарных наук в 1989 году. В 1991 году институт был официально создан как университетский научно-исследовательский институт. В 1991–1996 годах в состав института входила исследовательская группа по программированию факультета математики и информатики. Лаборатория прикладной логики факультета социальных наук была частью ILLC с 1996 по 2003 год. Другие группы в области компьютерных наук и когнитивных наук присоединились к институту в 1996 году.

ILLC находится в Амстердаме. традиция логических исследований, восходящая к началу двадцатого века (включая таких исследователей, как LEJ Brouwer, Arend Heyting и Evert Willem Beth ). Он рассматривает Институт Бет для Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (основанный в 1952 году) в качестве своего предшественника.

Среди других известных и бывших членов:

• Ренате Бартч
• Гарри Бурман
• Питер ван Эмде Боас
• Хенкян Хонинг
• Лука Инкурвати
• Тео Янссен
• Дик де Йонг
• Мишель ван Ламбальген
• Бенедикт Лёве
• Ремко Ша
• Анне Троэльстра
• Йоуко Вяэнянен
• Пол Витани

• Веб-сайт ILLC