Institute for Logic, Language and Computation - Institute for Logic, Language and Computation
![]() | tento článek ne uvést žádný Zdroje.Březen 2015) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Dřívější jména | Instituut voor Taal, Logica en Informatie |
---|---|
Založeno | 1991 |
Ředitel | Sonja se usmívá |
Umístění | , |
webová stránka | https://www.illc.uva.nl |
The Institute for Logic, Language and Computation (ILLC) je výzkumný institut z University of Amsterdam, ve kterém se podílejí vědci z Fakulty stavební Věda a fakulta Humanitní vědy spolupracovat. Ústřední oblastí výzkumu ILLC je studium základních principů kódování, přenos a pochopení z informace. Důraz je kladen na přírodní a formální jazyky, ale jiné nosiče informací, například obrázky a hudba, jsou také studovány.
Výzkum na ILLC je interdisciplinární a jeho cílem je shromáždit poznatky z různých oborů zabývajících se informacemi a zpracováním informací, jako například logika, matematika, počítačová věda, výpočetní lingvistika, kognitivní věda, umělá inteligence, a filozofie. Je rozdělena do tří skupin Logika a výpočet (vedoucí projektu: Yde Venema), Logika a jazyk (vedoucí projektu: Robert van Rooij) a Jazyk a výpočet (vedoucí projektu: Jelle Zuidema) spojená s klíčovými tématy Vysvětlitelná a etická AI, Interpretovatelné strojové učení pro zpracování přirozeného jazyka, Kognitivní modelování, Logika, hry a sociální agentura a Kvantové informace a výpočet. ILLC je zapojena do několika mezinárodních spolupráce, mezi nimiž vyzdvihujeme Společné výzkumné centrum pro logiku (JRC), speciální partnerství pro spolupráci mezi Univerzita Tsinghua a Amsterdamská univerzita.
Kromě svých výzkumných aktivit provozuje ILLC Postgraduální program v logice s doktorským programem a MSc v logice, mezinárodní špičkový a interdisciplinární magisterský titul v oboru logiky (Webová stránka MSc Logic ). V září 2018 otevřel institut Minor in Logic and Computation a přivítal místní i mezinárodní bakalářské studenty. Program Minor v logice a počítání se skládá z 30 EC, vybraných ze seznamu vysoce postavených kurzů organizovaných podle čtyř témat: Matematika, Filozofie, Teoretická informatika a Výpočetní lingvistika a AI.
Dějiny
ILLC začala v roce 1986 jako Instituut voor Taal, Logica en Informatie (ITLI; Ústav pro jazyk, logiku a informace). Zpočátku to bylo neformální sdružení zaměstnanců fakulty Matematika a Počítačová věda a fakulta Filozofie, a připojili se k ní výpočetní lingvisté z Fakulty humanitních věd v roce 1989. V roce 1991 byl institut oficiálně založen jako University Research Institute. V letech 1991–1996 byla součástí ústavu také výzkumná skupina programování na Fakultě matematiky a informatiky. Laboratoř Applied Logic Lab z Fakulty sociálních věd byla součástí ILLC v letech 1996 až 2003. S ústavem se v roce 1996 spojily další skupiny v oblasti počítačové vědy a kognitivních věd.
ILLC má kořeny v amsterdamské logické výzkumné tradici sahající až do počátku dvacátého století (včetně výzkumníků jako L.E.J. Brouwer, Arend Heyting, a Evert Willem Beth ). Považuje to za Beth Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (založen v roce 1952) jako jeho předchůdce.
Ředitelé
název | Funkční | |
---|---|---|
1. ředitel | Johan van Benthem | 1991-1998 |
2. ředitel | Martin Stokhof | 1998-2003 |
3. ředitel | Frank Veltman | 2003-2009 |
4. ředitel | Jeroen Groenendijk | 2009 |
5. ředitel | Leen Torenvliet | 2009-2011 |
6. ředitel | Yde Venema | 2011-2016 |
7. ředitel | Sonja se usmívá | od roku 2016 |
Členové
Mezi další významné členy a minulé členy patří:
- Renate Bartsch
- Harry Buhrman
- Peter van Emde Boas
- Henkjan Honing
- Luca Incurvati
- Theo Janssen
- Dick de Jongh
- Michiel van Lambalgen
- Benedikt Löwe
- Remko Scha
- Anne Troelstra
- Jouko Väänänen
- Paul Vitányi