雷歐·范德托
生平
雷歐·范德托1968年生于荷蘭鹿特丹。雷歐·范德托曾在鹿特丹伊拉斯姆斯大學學習計算機科學與哲學,于1992年獲得科學碩士學位,于1997年獲得計算機科學博士學位。他的博士論文主要研究計算機科學中的道義邏輯及其與非單調邏輯的結合。他的主要研究領域為人工智能和計算機科學中的邏輯學。雷歐·范德托愛好旅游,足跡遍布世界各地,并且具備飛行員執(zhí)照。
工作
雷歐·范德托曾任職于德國馬克斯·普朗克計算機科學研究所, 荷蘭數(shù)學與計算機國家研究院(CWI)。雷歐·范德托于2006年加入盧森堡大學并創(chuàng)立個體與群體推理研究中心,擔任計算機科學教授,于2016年成為盧森堡大學計算機與通信科學研究中心主任。
研究
雷歐·范德托活躍于道義邏輯、智能體理論、人工智能等領域,截止2016年已發(fā)表學術論文近300篇。雷歐·范德托早年曾研究定量決策理論。。他發(fā)展了信念-義務-意志-愿望(BOID)智能體結構。 他與大衛(wèi)·麥金森(David Makinson)一起創(chuàng)立了輸入/輸出邏輯。 他發(fā)展了規(guī)范化多智能體系統(tǒng)的博弈論進路。
雷歐·范德托是邏輯與計算雜志道義邏輯專欄的責任編輯,主編了道義邏輯與規(guī)范系統(tǒng)手冊以及形式論辯理論手冊。
雷歐·范德托與中國邏輯學家劉奮榮,廖備水有過密切合作。
所獲榮譽
歐洲人工智能學會會員(European Coordinating Committee for Artificial Intelligence fellow)
個人生活
雷歐·范德托的妻子艾伯丁·范德托是一名藝術家。
免責聲明:以上內容版權歸原作者所有,如有侵犯您的原創(chuàng)版權請告知,我們將盡快刪除相關內容。感謝每一位辛勤著寫的作者,感謝每一位的分享。
- 有價值
- 一般般
- 沒價值
{{item.userName}} 舉報
{{item.time}} {{item.replyListShow ? '收起' : '展開'}}評論 {{curReplyId == item.id ? '取消回復' : '回復'}}
{{_reply.userName}} 舉報
{{_reply.time}}