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

В этой статье не процитировать какие - либо источники . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален . Найти источники:  «Институт логики, языка и вычислений»  -  новости  · газеты  · книги  · ученый  · JSTOR ( март 2015 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон )

Институт логики, язык и вычисления ( 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 году) в качестве своего предшественника.

Директора [ править ]

Члены [ править ]

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

См. Также [ править ]

• Институт математики Кортевег-де Фрис

• Centrum Wiskunde & Informatica

Внешние ссылки [ править ]

• Официальный веб-сайт