Instytut Logiki, Języka i Obliczeń - Institute for Logic, Language and Computation
Dawne nazwiska |
Instituut voor Taal Logica en Informatie |
---|---|
Przyjęty | 1991 |
Dyrektor | Sonja Smets |
Adres |
Park Nauki 107 , , 1098 XG ,
|
Strona internetowa | illc |
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