雷歐·范德托
雷歐·范德托（荷蘭語：Leon van der Torre, 1968年3月18日—），荷蘭邏輯學家，盧森堡大學計算機科學教授，主要研究領域為道義邏輯，多智能體系統，人工智能中的邏輯學。截止2016年已發表學術論文近300篇。
| 雷歐·范德托 Leon van der Torre | |
|---|---|
 | |
| 出生 | 1968年3月18日 荷蘭鹿特丹 |
| 國籍 | 荷蘭 |
| 母校 | 鹿特丹伊拉斯姆斯大學 |
| 知名於 | |
| 獎項 |
|
| 科學生涯 | |
| 研究領域 | 道義邏輯, 人工智能, 多智能體系統 |
| 機構 | 盧森堡大學 |
| 論文 | Reasoning about obligations: defeasibility in preference-based deontic logic（1997） |
生平
雷歐·范德托1968年生於荷蘭鹿特丹。雷歐·范德托曾在鹿特丹伊拉斯姆斯大學學習計算機科學與哲學，於1992年獲得科學碩士學位，於1997年獲得計算機科學博士學位。他的博士論文主要研究計算機科學中的道義邏輯及其與非單調邏輯的結合。他的主要研究領域為人工智能和計算機科學中的邏輯學。雷歐·范德托愛好旅遊，足跡遍布世界各地，並且具備飛行員執照。
工作
雷歐·范德托曾任職於德國馬克斯·普朗克計算機科學研究所, 荷蘭數學與計算機國家研究院（CWI）。雷歐·范德托於2006年加入盧森堡大學並創立個體與群體推理研究中心[2]，擔任計算機科學教授，於2016年成為盧森堡大學計算機與通信科學研究中心主任。[3]
研究
雷歐·范德托活躍於道義邏輯、智能體理論、人工智能等領域，截止2016年已發表學術論文近300篇。雷歐·范德托早年曾研究定量決策理論。[4]。他發展了信念-義務-意志-願望（BOID)智能體結構。[5] 他與大衛·麥金森（David Makinson）一起創立了輸入/輸出邏輯。[6] 他發展了規範化多智能體系統的博弈論進路。[7][8]
所獲榮譽
歐洲人工智能學會會員（European Coordinating Committee for Artificial Intelligence fellow)
個人生活
雷歐·范德托的妻子艾伯丁·范德托[11]是一名藝術家。
參考
- ^ ECCAI Bulletin, July 2015
- ^ ICR group website. [2016-03-16]. （原始內容存檔於2019-01-30）.
- ^ FSTC News: Congratulations to the new Head of CSC research unit!
- ^ Jérôme Lang, Leendert van der Torre, Emil Weydert (2002): Autonomous Agents and Multi-Agent Systems. （頁面存檔備份，存於網際網路檔案館） Autonomous Agents and Multi-Agent Systems, Volume 5, Issue 3, pp 329-363.
- ^ Jan Broersen, Mehdi Dastani, Joris Hulstijn, Zisheng Huang, Leendert van der Torre (2001): The BOID architecture: conflicts between beliefs, obligations, intentions and desires 網際網路檔案館的存檔，存檔日期2016-03-21., Proceedings of the fifth international conference on Autonomous agents.
- ^ David Makinson, Leendert Van Der Torre (2000): Input/output logics （頁面存檔備份，存於網際網路檔案館）, Journal of Philosophical Logic.
- ^ Guido Boella, Leendert van der Torre, Harko Verhagen (2006): Introduction to normative multiagent systems. （頁面存檔備份，存於網際網路檔案館） Computational & Mathematical Organization Theory. Volume 12, Issue 2, pp 71-79.
- ^ Guido Boella , Leendert van der Torre (2004): Regulative and Constitutive Norms in Normative Multiagent Systems. （頁面存檔備份，存於網際網路檔案館） Proceedings of KR 2004.
- ^ Handbook of Deontic Logic and Normative Systems. [2016-03-18]. （原始內容存檔於2016-02-12）.
- ^ Handbook Of Formal Argumentation (HOFA). [2016-03-18]. （原始內容存檔於2016-03-22）.
- ^ Egberdien van der Torre - van der Peijl: http://www.egberdien.com/ （頁面存檔備份，存於網際網路檔案館）