Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Голландский исследовательский институт
Dutch research institute
Институт логики, языка и вычислений (ILLC) является исследовательским институтом Амстердамского университета, в котором сотрудничают исследователи из Факультета естественных наук и Гуманитарного факультета. Центральной областью исследований ILLC является изучение фундаментальных принципов кодирования, передачи и понимания информации. Особое внимание уделяется естественным и формальным языкам, но изучаются и другие носители информации, такие как изображения и музыка. Исследования в ILLC носят междисциплинарный характер и направлены на объединение знаний из различных дисциплин, связанных с информацией и обработкой информации, таких как логика, математика, информатика, вычислительная лингвистика, когнитивная наука, искусственный интеллект и философия. Институт организован в три группы: «Логика и вычисления» (руководитель проекта: Yde Venema), «Логика и язык» (руководитель проекта: Robert van Rooij) и «Язык и вычисления» (руководитель проекта: Jelle Zuidema), объединенные ключевыми темами: «Объяснимый и этичный ИИ», «Интерпретируемое машинное обучение для обработки естественного языка», «Когнитивное моделирование», «Логика, игры и социальное взаимодействие» и «Квантовая информация и вычисления». ILLC участвует в ряде международных коллабораций, среди которых следует выделить Совместный исследовательский центр логики (JRC) – специальное партнерство между Университетом Цинхуа и Университетом Амстердама. Помимо исследовательской деятельности, ILLC реализует программу магистратуры по логике, включающую программу PhD и магистерскую программу по логике – международную программу магистратуры с высокими позициями в рейтингах и междисциплинарным подходом (страница MSc Logic). В сентябре 2018 года институт открыл программу углубленного изучения «Логика и вычисления», принимая студентов бакалавриата как из числа местных, так и иностранных граждан. Программа углубленного изучения «Логика и вычисления» состоит из 30 зачетных единиц (EC), выбираемых из списка курсов высокого уровня, организованных по четырем тематическим направлениям: математика, философия, теоретическая информатика, вычислительная лингвистика и ИИ.
The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate. The ILLC's central research area is the study of fundamental principles of encoding, transmission and comprehension of information. Emphasis is on natural and formal languages, but other information carriers, such as images and music, are studied as well. Research at the ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such as logic, mathematics, computer science, computational linguistics, cognitive science, artificial intelligence, and philosophy. It is organized in the three groups Logic & Computation (project leader: Yde Venema), Logic & Language (project leader: Robert van Rooij), and Language & Computation (project leader: Jelle Zuidema) united by the key themes Explainable and Ethical AI, Interpretable Machine Learning for Natural Language Processing, Cognitive Modelling, Logic, Games and Social Agency and Quantum Information and Computation. The ILLC is involved in several international collaborations among which we highlight the Joint Research Centre for Logic (JRC), a special collaborative partnership between Tsinghua University and the University of Amsterdam. In addition to its research activities, the ILLC is running the Graduate Programme in Logic with a PhD programme and the MSc in Logic, an international top ranked and interdisciplinary MSc degree in logic (MSc Logic webpage). In September 2018, the institute opened the Minor in Logic and Computation, welcoming local and international bachelor students. The programme of the Minor in Logic and Computation consists of 30 EC, chosen from a list of high profile courses organised according to four themes: Mathematics, Philosophy, Theoretical Computer Science, and Computational Linguistics and AI.
История
ILLC начал свою деятельность в 1986 году как Институт языка, логики и информации (ITLI). Изначально это было неформальное объединение сотрудников факультетов математики и информатики, а также философии, к которому в 1989 году присоединились специалисты по вычислительной лингвистике с факультета гуманитарных наук. В 1991 году институт был официально учрежден как университетский научно-исследовательский институт. В период с 1991 по 1996 год в состав института также входила исследовательская группа по программированию факультета математики и информатики. Лаборатория прикладной логики факультета социальных наук являлась частью ILLC с 1996 по 2003 год. В 1996 году к институту присоединились и другие группы, занимающиеся исследованиями в области информатики и когнитивной науки. ILLC своими корнями уходит в амстердамскую традицию исследований в области логики, берущую начало в начале двадцатого века (включая таких исследователей, как Л.Э.Й. Брауэр, Аренд Хейтинг и Эверт Виллем Бет). Он рассматривает Институт Бета для фундаментальных исследований и философии точных наук (основанный в 1952 году) как своего предшественника.
The ILLC started off in 1986 as Instituut voor Taal, Logica en Informatie (ITLI; Institute for Language, Logic and Information). In the beginning, it was an informal association of staff members from the Faculty of Mathematics and Computer Science and the Faculty of Philosophy, and was joined by computational linguists from the Faculty of Humanities in 1989. In 1991 the institute was officially established as a University Research Institute. During 1991–1996 the programming research group of the Faculty of Mathematics and Computer Science was also part of the institute. The Applied Logic Lab from the Faculty of Social Sciences was part of the ILLC from 1996 to 2003. Other groups in computer science and cognitive science have associated themselves with the institute in 1996. The ILLC is rooted in the Amsterdam logic research tradition dating back to the early twentieth century (including researchers such as L. E. J. Brouwer, Arend Heyting, and Evert Willem Beth). It considers Beth's Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (founded in 1952) as its precursor.