Instytut Logiki, Języka i Obliczeń - Institute for Logic, Language and Computation

Instytut Logiki, Języka i Obliczeń
Dawne nazwiska
Instituut voor Taal
Logica en Informatie
Przyjęty 1991 ; 30 lat temu ( 1991 )
Dyrektor Sonja Smets
Adres
Park Nauki 107
, ,
1098 XG
,
Strona internetowa illc .uva .nl

Instytutu Logiki, Języka i obliczeń ( ILLC ) to instytut badawczy z Uniwersytetu w Amsterdamie , w którym naukowcy z Wydziału Nauk oraz Wydział Humanistyczny współpracy. Centralny obszar badawczy ILLC jest badanie podstawowych zasad kodowania , transmisji i zrozumienia od informacji . Nacisk kładziony jest na języki naturalne i formalne , ale badane są również inne nośniki informacji, takie jak obrazy i muzyka .

Badania w ILLC mają charakter interdyscyplinarny i mają na celu zebranie spostrzeżeń z różnych dyscyplin związanych z przetwarzaniem informacji i informacji, takich jak logika , matematyka , informatyka , lingwistyka komputerowa , kognitywistyka , sztuczna inteligencja i filozofia . Jest zorganizowany w trzy grupy Logic & Computation (kierownik projektu: Yde Venema), Logic & Language (kierownik projektu: Robert van Rooij) oraz Language & Computation (kierownik projektu: Jelle Zuidema) zjednoczonych przez kluczowe tematy: Wyjaśnialna i etyczna sztuczna inteligencja , interpretowalne uczenie maszynowe do przetwarzania języka naturalnego , modelowanie kognitywne , logika, gry i pośrednictwo społeczne oraz informacje i obliczenia kwantowe . ILLC jest zaangażowana w kilka międzynarodowych współpracy, wśród których podkreślamy Wspólne Centrum Badawcze Logiki (JRC), specjalne partnerstwo między Tsinghua University i University of Amsterdam.

Oprócz działalności badawczej, ILLC prowadzi Graduate Program in Logic z programem doktoranckim i MSc in Logic, międzynarodowym najwyżej ocenianym i interdyscyplinarnym tytułem magistra logiki ( strona internetowa MSc Logic ). We wrześniu 2018 r. instytut otworzył Minor in Logic and Computation, witając lokalnych i międzynarodowych studentów studiów licencjackich. Program Minor in Logic and Computation składa się z 30 EC, wybranych z listy głośnych kursów zorganizowanych według czterech tematów: matematyki, filozofii, informatyki teoretycznej oraz lingwistyki komputerowej i sztucznej inteligencji.

Historia

ILLC powstał w 1986 roku jako Instituut voor Taal, Logica en Informatie (ITLI; Instytut Języka, Logiki i Informacji). Początkowo było to nieformalne stowarzyszenie pracowników Wydziału Matematyki i Informatyki oraz Wydziału Filozoficznego , do którego w 1989 roku dołączyli lingwiści komputerowi z Wydziału Humanistycznego. Instytut Badawczy. W latach 1991-1996 w instytucie działała także grupa programistyczna na Wydziale Matematyki i Informatyki. Laboratorium Logiki Stosowanej na Wydziale Nauk Społecznych było częścią ILLC od 1996 do 2003 roku. Inne grupy w informatyce i kognitywistyce połączyły się z instytutem w 1996 roku.

ILLC jest zakorzeniony w amsterdamskiej tradycji badań logicznych sięgającej początku XX wieku (w tym badacze tacy jak LEJ Brouwer , Arend Heyting i Evert Willem Beth ). Za prekursora uważa Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen firmy Beth (założony w 1952 roku).

Dyrektorzy

Nazwa Kadencja
I dyrektor Johan van Bentem 1991-1998
II dyrektor Martin Stokhof 1998-2003
III Dyrektor Frank Veltman 2003-2009
IV dyrektor Jeroen Groenendijk 2009
V dyrektor Leen Torenvliet 2009-2011
6. Dyrektor Yde Venema 2011-2016
7. Dyrektor Sonja Smets 2016-2021
8. Dyrektor Robert Van Rooij od 2021

Członkowie

Inni ważni członkowie i byli członkowie to:

Zobacz też

Zewnętrzne linki