Институт логики, языка и вычислений - Institute for Logic, Language and Computation

Институт логики, языка и вычислений
Бывшие имена
 Instituut voor Taal
Logica en Informatie
Учредил 1991 ; 30 лет назад ( 1991 )
Директор Соня Сметс
Адрес
Научный парк 107
,
Амстердам
,
1098 XG
,
Нидерланды
Веб-сайт illc .uva .nl

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

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

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

История

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

ILLC уходит своими корнями в амстердамскую традицию логических исследований, восходящую к началу двадцатого века (включая таких исследователей, как Л. Д. Брауэр , Аренд Хейтинг и Эверт Виллем Бет ). Он рассматривает Институт Бет для Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (основанный в 1952 году) в качестве своего предшественника.

Директора

Имя Срок полномочий
1-й директор Йохан ван Бентем 1991–1998
2-й директор Мартин Стохоф 1998-2003 гг.
3-й директор Фрэнк Велтман 2003-2009 гг.
4-й директор Йерун Грюнендейк 2009 г.
5-й директор Лин Торенвлит 2009-2011 гг.
6-й директор Yde Venema 2011-2016
7-й директор Соня Сметс 2016-2021
8-й директор Роберт Ван Рой с 2021 года

Члены

Другие известные участники и бывшие участники включают:

Смотрите также

внешние ссылки