Leon van der Torre
Leon van der Torre | |
---|---|
Urodzić się |
Leendert van der Torre
18 marca 1968 |
Narodowość | Holenderski |
Alma Mater | Uniwersytet Erazma w Rotterdamie |
Znany z |
|
Nagrody |
|
Kariera naukowa | |
Pola | logika deontyczna , sztuczna inteligencja , systemy wieloagentowe |
Instytucje | Uniwersytet w Luksemburgu |
Praca dyplomowa | Rozumowanie o obowiązkach: wykonalność w logice deontycznej opartej na preferencjach (1997) |
Doradca doktorski | Yao-Hua Tan |
Leendert (Leon) van der Torre jest profesorem informatyki na Uniwersytecie w Luksemburgu i szefem grupy ICR ( Indywidualnego i Zbiorowego Rozumowania ), będącej częścią Jednostki Badawczej ds. Informatyki i Komunikacji (CSC). Leon van der Torre jest płodnym badaczem logiki deontycznej i systemów wieloagentowych , członkiem Komitetu Doradczego ds. Etyki Uniwersytetu w Luksemburgu i założycielem laboratorium badawczego CSC Robotic . Od marca 2016 jest kierownikiem Zakładu Informatyki i Komunikacji (CSC).
Biografia
Leon van der Torre urodził się 18 marca 1968 roku w Rotterdamie w Holandii. Mieszkał w Zevenhuizen , gdzie uczęszczał do szkoły podstawowej, zanim później uczęszczał do oddziału szkoły średniej VWO Orange-Nassau College w Zoetermeer . W tym czasie kupił swój pierwszy komputer, ZX-81 , który sam zaprogramował i lubił pisać artykuły do magazynu komputerowego. Został także krajowym mistrzem młodzieży w grze w brydża .
Leon van der Torre studiował informatykę na Uniwersytecie Erazma w Rotterdamie na Wydziale Ekonomicznym, a także studiował filozofię. Zajmował stanowiska w EURIDIS i na Wydziale Informatyki, podczas których uzyskał tytuł magistra (1992) i doktorat z informatyki (1997) u Yao-Hua Tan. Jego praca magisterska dotyczyła logiki deontycznej w informatyce i jej połączenia z logiką niemonotoniczną . Jego głównym tematem badawczym są logiki w Sztucznej Inteligencji i informatyce.
Po stażach w Niemczech ( Max Planck Institute for Informatics w Saarbrücken ), Francji (stypendysta Marie Curie, CNRS-IRIT, Tuluza) i Holandii ( CWI Amsterdam , Vrije Universiteit ), rozpoczął pracę na Uniwersytecie w Luksemburgu jako profesor zwyczajny Inteligentnego Systems w styczniu 2006. Obecnie jest również kierownikiem Zakładu Informatyki i Komunikacji. Według stanu na marzec 2015 r. 12 studentów obroniło pod jego kierunkiem doktoraty, a 10 jego doktorów uzyskało stałą posadę w badaniach lub szkolnictwie wyższym.
Badania
Po pracy nad jakościową teorią decyzji Leon van der Torre zwrócił się w stronę kognitywistyki i teorii agentów. Opracował architekturę agenta BOID (z kolegami z Vrije Universiteit), stworzył obszar logiki wejścia/wyjścia (z Davidem Makinsonem ) oraz teoretyczne podejście do normatywnych systemów wieloagentowych (z Guido Boellą z Uniwersytetu w Turynie) ). Zainicjował warsztaty z koordynacji i organizacji (CoOrg), z interdyscyplinarnego spojrzenia na role (ROLES) oraz z normatywnych systemów wieloagentowych (NORMAS). Został członkiem ECCAI w 2015 roku
Leon van der Torre jest ponadto redaktorem działu logiki deontycznej w Journal of Logic and Computation , członkiem rad redakcyjnych Logic Journal of the IGPL i IfCoLog Journal of Logics and their Applications, przewodniczącym komitetu sterującego DEON , członek komitetu sterującego CLIMA i redaktor Handbooks of Deontic Logic and Normative Systems, kolejne podręczniki w przygotowaniu.
Życie osobiste
Leon van der Torre jest żonaty z artystą Egberdien van der Torre - van der Peijl od 2000 roku. Mają 2 synów.
- ^ a b Biuletyn ECCAI, lipiec 2015 r
- ^ Witryna internetowa grupy ICR
- ^ Witryna Robolab
- ^ FSTC News: Gratulacje dla nowego szefa jednostki badawczej CSC!
- ^ Członkowie CSC
- ^ Jérôme Lang, Leendert van der Torre, Emil Weydert (2002): agenci autonomiczni i systemy wieloagentowe. Agenci autonomiczni i systemy wieloagentowe, tom 5, wydanie 3, s. 329-363.
- ^ Jan Broersen, Mehdi Dastani, Joris Hulstijn, Zisheng Huang, Leendert van der Torre (2001): Architektura BOID: konflikty między przekonaniami, obowiązkami, intencjami i pragnieniami . Konferencja na temat agentów autonomicznych.
- ^ David Makinson, Leendert Van Der Torre (2000): Logika wejścia / wyjścia , Journal of Philosophical Logic.
- ^ Guido Boella, Leendert van der Torre, Harko Verhagen (2006): Wprowadzenie do normatywnych systemów wieloagentowych. Obliczeniowa i matematyczna teoria organizacji . Tom 12, wydanie 2, s. 71-79.
- ^ Guido Boella, Leendert van der Torre (2004): Normy regulacyjne i konstytutywne w normatywnych systemach wieloagentowych. Postępowanie KR 2004.
- ^ Wiadomości Uniwersytetu Luksemburskiego: Naukowiec SnT, prof. Leon van der Torre, mianowany członkiem ECCAI Fellow
- ^ „Journal of Logic and Computation - Redakcja” . Zarchiwizowane od oryginału w dniu 04.05.2006.
- ^ „Logika deontyczna” .
- ^ Podręcznik logiki deontycznej i systemów normatywnych
- ^ Podręcznik formalnej argumentacji (HOFA)
- ^ Egberdien van der Torre - van der Peijl: http://www.egberdien.com/