雷欧·范德托

雷欧·范德托(荷蘭語Leon van der Torre, 1968年3月18日),荷兰逻辑学家卢森堡大学计算机科学教授,主要研究领域为道义逻辑多智能体系统人工智能中的逻辑学。截止2016年已发表学术论文近300篇。

雷欧·范德托
Leon van der Torre
出生 (1968-03-18) 1968年3月18日56歲)
 荷蘭鹿特丹
国籍 荷蘭
母校鹿特丹伊拉斯姆斯大学
知名于
奖项
科学生涯
研究领域道义逻辑, 人工智能, 多智能体系统
机构卢森堡大学
论文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]

雷欧·范德托是逻辑与计算杂志道义逻辑专栏的责任编辑,主编了道义逻辑与规范系统手册[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/页面存档备份,存于互联网档案馆

外部链接 编辑