跳至內容

雷歐·范德托

維基百科,自由的百科全書
雷歐·范德托
Leon van der Torre
出生 (1968-03-18) 1968年3月18日56歲)
 荷蘭鹿特丹
國籍 荷蘭
母校鹿特丹伊拉斯姆斯大學
知名於
獎項
科學生涯
研究領域道義邏輯, 人工智慧, 多智能體系統
機構盧森堡大學
論文Reasoning about obligations: defeasibility in preference-based deontic logic(1997)

雷歐·范德托(荷蘭語Leon van der Torre, 1968年3月18日),荷蘭邏輯學家盧森堡大學計算機科學教授,主要研究領域為道義邏輯多智能體系統人工智慧中的邏輯學。截止2016年已發表學術論文近300篇。

生平

[編輯]

雷歐·范德托1968年生於荷蘭鹿特丹。雷歐·范德托曾在鹿特丹伊拉斯姆斯大學學習計算機科學與哲學,於1992年獲得科學碩士學位,於1997年獲得計算機科學博士學位。他的博士論文主要研究計算機科學中的道義邏輯及其與非單調邏輯的結合。他的主要研究領域為人工智慧和計算機科學中的邏輯學。雷歐·范德托愛好旅遊,足跡遍布世界各地,並且具備飛行員執照。

工作

[編輯]

雷歐·范德托曾任職於德國馬克斯·普朗克計算機科學研究所, 荷蘭數學與計算機國家研究院(CWI)。雷歐·范德托於2006年加入盧森堡大學並創立個體與群體推理研究中心[2],擔任計算機科學教授,於2016年成為盧森堡大學計算機與通信科學研究中心主任。[3]

研究

[編輯]

雷歐·范德托活躍於道義邏輯、智能體理論、人工智慧等領域,截止2016年已發表學術論文近300篇。雷歐·范德托早年曾研究定量決策理論[4]。他發展了信念-義務-意志-願望(BOID)智能體結構。[5] 他與大衛·麥金森(David Makinson)一起創立了輸入/輸出邏輯。[6] 他發展了規範化多智能體系統的博弈論進路。[7][8]

雷歐·范德托是邏輯與計算雜誌道義邏輯專欄的責任編輯,主編了道義邏輯與規範系統手冊[9]以及形式論辯理論手冊。[10]

雷歐·范德托與中國邏輯學家劉奮榮廖備水有過密切合作。

所獲榮譽

[編輯]

歐洲人工智慧學會會員(European Coordinating Committee for Artificial Intelligence fellow)

個人生活

[編輯]

雷歐·范德托的妻子艾伯丁·范德托[11]是一名藝術家。

參考

[編輯]
  1. ^ ECCAI Bulletin, July 2015
  2. ^ ICR group website. [2016-03-16]. (原始內容存檔於2019-01-30). 
  3. ^ FSTC News: Congratulations to the new Head of CSC research unit!
  4. ^ 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.
  5. ^ 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.
  6. ^ David Makinson, Leendert Van Der Torre (2000): Input/output logics頁面存檔備份,存於網際網路檔案館), Journal of Philosophical Logic.
  7. ^ 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.
  8. ^ Guido Boella , Leendert van der Torre (2004): Regulative and Constitutive Norms in Normative Multiagent Systems.頁面存檔備份,存於網際網路檔案館) Proceedings of KR 2004.
  9. ^ Handbook of Deontic Logic and Normative Systems. [2016-03-18]. (原始內容存檔於2016-02-12). 
  10. ^ Handbook Of Formal Argumentation (HOFA). [2016-03-18]. (原始內容存檔於2016-03-22). 
  11. ^ Egberdien van der Torre - van der Peijl: http://www.egberdien.com/頁面存檔備份,存於網際網路檔案館

外部連結

[編輯]