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

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

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

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

В дополнение к своей исследовательской деятельности ILLC проводит Аспирантура по логике с докторской программой и Магистр в области логики, международная высшая и междисциплинарная степень магистра логики (Веб-страница 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 уходит своими корнями в амстердамскую традицию логических исследований, восходящую к началу двадцатого века (включая таких исследователей, как L.E.J. Брауэр, Аренд Хейтинг, и Эверт Виллем Бет ). Он считает, что Бет Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (основан в 1952 году) как его предшественник.

Директора

Члены

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

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

внешняя ссылка

• Сайт ILLC