Амстердам Университетінің Логика, Тіл және Есептеулер Институты
Institute for Logic, Language and Computation
Амстердам Университетінің ILLC институты ақпаратты кодтау, беру және түсінудің негізгі принциптерін зерттейді. AI, лингвистика, логика, және т.б. салаларын қамтиды.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Голландиялық ғылыми-зерттеу институты
Dutch research institute
Логика, тіл және есептеу институты (ILLC) – Амстердам университетінің ғылыми-зерттеу институты, онда Ғылым және Гуманитарлық факультеттерінің зерттеушілері бірлесіп жұмыс істейді. ILLC-тің негізгі зерттеу саласы – ақпаратты кодтау, тарату және түсінудің негізгі принциптерін зерттеу. Баса назар табиғи және формальды тілдерге беріледі, бірақ суреттер мен музыка сияқты басқа да ақпарат тасымалдаушылар да зерттеледі. ILLC-дегі зерттеулер пәнаралық сипатта болып, логика, математика, компьютерлік ғылым, есептеу лингвистикасы, когнитивтік ғылым, жасанды интеллект және философия сияқты ақпарат пен ақпаратты өңдеумен айналысатын түрлі салалардың білімін біріктіруге бағытталған. Институт үш топқа бөлінген: Логика және есептеу (жоба жетекшісі: Yde Venema), Логика және тіл (жоба жетекшісі: Robert van Rooij) және Тіл және есептеу (жоба жетекшісі: Jelle Zuidema), олар түсіндірілетін және этикалық AI, табиғи тілді өңдеу үшін түсіндірілетін машиналық оқыту, когнитивтік модельдеу, логика, ойындар және әлеуметтік агенттік, сондай-ақ кванттық ақпарат және есептеу сияқты негізгі тақырыптармен біріктірілген. ILLC бірнеше халықаралық ынтымақтастыққа қатысады, олардың ішінде Цинхуа университеті мен Амстердам университеті арасындағы арнайы серіктестік – Логика жөніндегі бірлескен ғылыми-зерттеу орталығын (JRC) атап өткен жөн. Ғылыми-зерттеу қызметімен қатар, ILLC логика бойынша аспирантура бағдарламасын (PhD бағдарламасымен бірге) және логика бойынша магистратураны (халықаралық деңгейде жоғары бағаланған және пәнаралық магистратура дәрежесі – MSc Logic, MSc Logic веб-сайты) жүргізеді. 2018 жылдың қыркүйегінде институт логика және есептеулер бойынша кіші мамандық ашып, жергілікті және халықаралық бакалавр студенттерін қабылдады. Логика және есептеулер бойынша кіші мамандықтың бағдарламасы 30 ЕТК-ден тұрады, олар математика, философия, теориялық компьютерлік ғылым және есептеу лингвистикасы мен AI тақырыптары бойынша ұйымдастырылған жоғары деңгейдегі курстар тізімінен таңдалады.
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 жылы Institute voor Taal, Logica en Informatie (ITLI; Тіл, логика және ақпарат институты) ретінде құрылды. Бастапқыда ол математика және компьютерлік ғылымдар факультеті мен философия факультетінің қызметкерлерінің бейресми бірлестігі болды, ал 1989 жылы гуманитарлық факультеттен есептеу лингвистері қосылды. 1991 жылы институт ресми түрде университеттік ғылыми-зерттеу институты ретінде бекітілді. 1991–1996 жылдары математика және компьютерлік ғылымдар факультетінің бағдарламалау зерттеу тобы да институт құрамына кірді. 1996 жылдан 2003 жылға дейін Әлеуметтік ғылымдар факультетінің қолданбалы логика зертханасы ILLC құрамында болды. 1996 жылы компьютерлік және когнитивтік ғылымдардың басқа да топтары институтпен байланысты болды. ILLC 20 ғасырдың басына дейін сонатын Амстердам логикалық зерттеулер дәстүріне (Л. Е. Ж. Браувер, Аренд Хейтинг және Эверт Виллем Бет сияқты зерттеушілерді қоса) негізделген. Ол Беттің Grondslagenonderzoek en Filosofie der Exacte Wetenschappen институтын (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.