词条 雷欧·范德托

雷欧·范德托

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


雷欧·范德托简介资料
1968年03月18日
BOID agent architecture、input/output logic
ECCAI Fellow (2015)
Reasoning about obligations: defeasibility in preference-based deontic logic
雷欧·范德托相关文献
雷欧·范德托
生平雷欧·范德托1968年生于荷兰鹿特丹。雷欧·范德托曾在鹿特丹伊拉斯姆斯大学学习计算机科学与哲学,于1992年获得科学硕士学位,于1997年获得计算机科学博士学位。他的博士论文主要研究计算机科学中的道义逻辑及其与非单调逻辑的结合。他的主要研究领域为人工智能和计算机科学中的逻辑学。雷欧·范德托爱好旅游,足迹遍布世界各地,并且具备飞行员执照。工作雷欧·范德托曾任职于德国马克斯·普朗克计算机科学研究所,荷兰数学与计算机国家研究院(CWI)。雷欧·范德托于2006年加入卢森堡大学并创立个体与群体推理研究中心,担任计算机科学教授,于2016年成为卢森堡大学计算机与通信科学研究中心主任。研究雷欧·范德托活跃于道义逻辑、智能体理论、人工智能等领域,截止2016年已发表学术论文近300篇。雷欧·范德托早年曾研究定量决策理论。。他发展了信念-义务-意志-愿望(BOID)智能体结构。他与大卫·麦金森(Dav...
查看全文
托雷
人口托雷人口变化图示参见约讷省市镇列表参考文献
查看全文
卡比托利欧广场
历史这个广场,包括所有细节,以及地面铺设的设计,均是出自米开朗琪罗的手笔。它的布局略呈梯形,米开朗基罗在周围新建建筑物,使视觉焦点对准元老宫(PalazzoSenatorio)。有人说,当时的教宗保禄三世翻建这个广场,是因为对这座名山的情形感到羞愧(当时用来放牧山羊,而被称为“山羊山”)。米开朗基罗完全重新设计了这个广场,使其不再面向古罗马广场(ForoRomano),而是面向圣伯多禄大殿,它代表了罗马城新的政治中心。他设计了一个新的宫殿新宫(PalazzoNuovo),毗邻天坛圣母堂(ChiesadiSantaMariainAracoeli);重新设计了保守宫(PalazzodeiConservatori),消除了所有的中世纪结构,与元老宫(PalazzoSenatorio)一致。他在那里增加了一个双楼梯,用来进出面向广场的新入口。米开朗基罗还设计了台阶(Cordonata)和栏杆,通往...
查看全文
帕雷托最优
参考文献参见囚徒困境纳什均衡博弈论次优理论
查看全文
威尔弗雷德·欧文
诗篇欧文以描述战壕和毒气的战争诗篇闻名于世,并成为第一次世界大战首要的诗人。他的好友,当代诗人萨松对他有深刻的影响,欧文最著名的诗篇(DulceetDecorumEst,AnthemforDoomedYouth)正正反映出友人的影响。萨松亦为他幸存的手稿作注释。欧文的诗篇能受到大众的拥戴,是因为这些都是他的亲身经验。他的诗句极着重协调性且具有革新精神,堪称才华横溢。他不是当时唯一会利用这些写作技巧的诗人,但他是他们当中,最先把这些技巧广泛应用的诗人。就他的诗涯而言,1917年可谓一个转捩点。欧文的心理医生鼓励他把自己的经历转化成诗句,尤其是一些曾在睡梦中再三体验过的。受到弗洛伊德精神分析疗法的萨松在身边帮助他,用例子引导他。萨松的讽刺性作品影响了欧文,于是他开始了“萨松式”写作。萨松对欧文的诗篇大力宣传,包括在他生前和死后,他亦是欧文的首位编辑之一。欧文对萨松的尊敬不亚于英雄崇拜。虽然如此...
查看全文
雷欧·范德托相关标签
逻辑学家
鹿特丹人
荷兰计算机科学家
1968年出生
鹿特丹大学校友
卢森堡大学教师
在世人物
信息技术科学家
哲学家
教育工作者
哲学家
信息技术科学家
家族谱大览
楚沩范氏续修族谱
原书: [出版地不详] : 高平堂镌, 民国24[1935]年. 42册: 插图, 世系表. 收藏者 : 太原市寻源姓氏文化研究中心. 受姓祖 : 会公. 食采于范,以邑为氏. 始祖 : (宋) 范仲淹,字希文,谥文正公. 楚沩鼻祖(12世) : (元) 范松,字觉永. 生二子 : 范嶬,字詹山(本谱之祖) ; 范嵋(另谱). 迁宁祖(14世) : (元明之际) 范钟和,字仲八,号煦春. 嶬公次子. 二大房祖(16世) : (明) 范仁贵,字天爵,号祥林(居东沙河) ; 范仁禄,字瑞风(居一都竹塘). 贵公下二大支祖 : (明) 范世高,字岳峰 ; 范世美,字济之. 禄公下四大支祖 : (明) 范世良,字易直 ; 范世荣,字知守 ; 范世清,字建桥 ; 范世旺,字明远. 老派派语 : 仲纯正直公 士纶辉澄埓 昌松嶬. 旧派 : 钟秀仁世志 永玉祖宗金 继立日绍绳 守国忠显承. 清咸丰年新拟派语 : 文献新鸣盛 材能教化先 诗书垂后代 礼乐慕前源 发达先增耀 家声佑启贤. 散居地 : 湖南省宁乡县, 益阳县等地. 书名据书衣题, 及版心题编目. 书名页题: 范族家乘
浏览:100
楚沩范氏续修族谱
原书: [出版地不详] : 高平堂镌, 民国24[1935]年. 42册: 插图, 世系表. 收藏者 : 太原市寻源姓氏文化研究中心. 受姓祖 : 会公. 食采于范,以邑为氏. 始祖 : (宋) 范仲淹,字希文,谥文正公. 楚沩鼻祖(12世) : (元) 范松,字觉永. 生二子 : 范嶬,字詹山(本谱之祖) ; 范嵋(另谱). 迁宁祖(14世) : (元明之际) 范钟和,字仲八,号煦春. 嶬公次子. 二大房祖(16世) : (明) 范仁贵,字天爵,号祥林(居东沙河) ; 范仁禄,字瑞风(居一都竹塘). 贵公下二大支祖 : (明) 范世高,字岳峰 ; 范世美,字济之. 禄公下四大支祖 : (明) 范世良,字易直 ; 范世荣,字知守 ; 范世清,字建桥 ; 范世旺,字明远. 老派派语 : 仲纯正直公 士纶辉澄埓 昌松嶬. 旧派 : 钟秀仁世志 永玉祖宗金 继立日绍绳 守国忠显承. 清咸丰年新拟派语 : 文献新鸣盛 材能教化先 诗书垂后代 礼乐慕前源 发达先增耀 家声佑启贤. 散居地 : 湖南省宁乡县, 益阳县等地. 书名据书衣题, 及版心题编目. 书名页题: 范族家乘
浏览:100
益阳范氏五修族谱 [按系分卷,首1卷]
原书: [出版地不详] : 高平堂, 公元1997年. 13册: 肖像, 世系表. 迁闽祖: (唐宋之际) 范梦龄. 原藉苏州, 因避黄巢之乱, 携家自苏州迁杭之钱塘, 复迁于闽. 梦龄公派下高系, 平系, 昌系, 盛系世系: 高系益阳祖(1世): (明清之际) 范应荣,字范试. 原籍福建汀洲府上杭县, 又隶藉益阳九里土门, 即高桥大水田木瓜村. 应荣公派下房祖(3世): (清) 范大任,字西铭,号炳勋 ; 范大仪,字行恭,号协寅 ; 任大澧,字同节,号简能. 平系益阳祖(1世): (元明之际) 范源德,字见性,号志溪. 由江西吉安府太和县迁居益阳红船埠, 后迁居九里桃花江鸣石滩. 昌系南迁祖(1世): (宋) 范天贡,字淑仁. 原籍福建福州府罗源县, 后迁居邵阳洪庵庙. 天贡公下益阳祖(25世): (明) 范祖高,字献彰,号云蒸. 由宁乡徙益阳浮丘西麓水溪湾牌坊塘. 盛系始祖(1世): 范汝亮. 为昌系天贡公之弟天贵公之后. 汝亮公下益阳祖(11世): (清) 范仕珑,字尊美. 居益邑九里荆牌村. 卷首新派语: 梦赞庸仲纯 英杰及时兴 廉让家声远 庆运本源忠 志必闻思祖 应道大献文 光邦清启泽 宏礼书贵隆 克绍先贤业 贻经裕后昆 恒心图自立 华国永超群. 注: 各系各册均列有各系派次, 及目录. 注: 此谱以简化字体书写. 散居地: 湖南省益阳县等地. 书名据书衣题, 书名页题, 及版心题编目.
浏览:0
雷氏族谱
原书: [出版地不详] : 经文堂镌, 民国25[1936]年五修. 29册 : 插图, 世系表. 注 : 此谱之卷数仅标于书衣. 部分书页破损. 注 : 各房修谱职员可参见卷3. 始祖 : 雷焕,字孔章. 鄱阳小雷岗人. 派祖(38世) : (元) 雷均贤,即道祥,行贵廿九郎 ; 雷道祯,字均圣 ; 雷道祺,字均寿. 均荣伯公(行富廿三郎)之子. 道祥公生四子(39世) : (元) 雷以(言盟),字仰山 ; 雷以诚,字艮山(开派西凤乡) ; 雷以证,字兑山 ; 雷以训,字伏兴(明洪武二年由桂徙居郴阳马岭,后迁军塘,续迁大岭下新屋场). 道祯公生四子(39世) : (元) 雷以识,字明山,行六九郎(开派秀乡) ; 雷以谨,字戒山,行十五郎(开派永乡) ; 三子四子迁南乡布尾岭. 道祺公生一子(39世) : (明) 雷以译,字望山(开派凤德乡). 生一子 : 雷子君. 居芦村. 以(言盟)公下支祖(40世) : (元) 雷子镕. 住居仙岭上,竹根坝上马磴下马石. 生二子 : 雷志鉴 ; 雷志炼. 以诚公生五子(40世) : 雷子林(居桂阳) ; (元) 雷子惠,改名子达(由桂迁郴州大坵舖,开派西凤乡) ; 雷子芳(迁郴州杨柳舖马头岭,开派西凤乡) ; 雷子奇 ; 雷子韬(皆居桂阳泉塘). 以训公生一子(40世) : (明) 雷道聪,字子敏. 以识公生三子(40世) : (元) 雷子政,字熙和(由山川塘迁居秀才乡水头洞) ; 雷子耀,字显名(居东边落) ; 雷子惠. 以谨公生一子(40世) : 雷子圭. 子达公生三子(41世) : (明) 雷志亮 ; 雷志隆 ; 雷志宪. 子芳公生三子(41世) : (明) 雷志玉 ; 雷志伯 ; 雷志羽. 子政公生三子(41世) : (明) 雷志贵,字必官 ; 雷志清,字必洁 ; 雷志秀,字必茂. 子耀公生三子(41世) : (明) 雷志远,字必迩 ; 雷志通,字必达. 老派行 : 子志友应单均万 孟一邦兴大国忠 三春震动翔云凤 四季青天必化龙. 新派行 : 德承仁厚 才懋贤良 明经敦本 渊远流长. 散居地 : 湖南省郴州市等地. 书名据书衣题编目. 版心题 : 雷氏续修族谱 谱序题 : 郴县雷氏续修族谱 卷端题 : 郴县雷氏族谱
浏览:100
虞邑范氏族谱 [5卷]
原书: [出版地不详] : 虞邑范氏族谱编纂委员会, 2012年. 5册 : 插图, 世系表, 肖像. 注 : 谱内支派众多, 详请查阅第2-4卷. 此谱主要记录宗聪公房下后裔资料. 名祖 : (北宋) 范仲淹,字希文,谥文正. 文正公下四派祖 : 范纯佑(监薄房) ; 范纯仁(忠宣房) ; 范纯礼(右丞房) ; 范纯粹(侍郎房). 虞邑始祖 : (元明之际) 范宗聪,字淑明. 携次子由苏州吴县迁居河南虞城. 文正公第八世孙. 亦为纯仁公之裔. 宗聪公下三派祖 : 范文元(留居苏州) ; 范文理 ; 范文蔚(留居苏州). 文理公下四房祖 : 范伯亮 ; 范友亮 ; 范智 ; 范仲亮. 散居地 : 河南省虞城县等地. 书名据书衣题, 及书名页题编目.
浏览:0
虞邑范氏族谱 [5卷]
原书: [出版地不详] : 虞邑范氏族谱编纂委员会, 2012年. 5册 : 插图, 世系表, 肖像. 注 : 谱内支派众多, 详请查阅第2-4卷. 此谱主要记录宗聪公房下后裔资料. 名祖 : (北宋) 范仲淹,字希文,谥文正. 文正公下四派祖 : 范纯佑(监薄房) ; 范纯仁(忠宣房) ; 范纯礼(右丞房) ; 范纯粹(侍郎房). 虞邑始祖 : (元明之际) 范宗聪,字淑明. 携次子由苏州吴县迁居河南虞城. 文正公第八世孙. 亦为纯仁公之裔. 宗聪公下三派祖 : 范文元(留居苏州) ; 范文理 ; 范文蔚(留居苏州). 文理公下四房祖 : 范伯亮 ; 范友亮 ; 范智 ; 范仲亮. 散居地 : 河南省虞城县等地. 书名据书衣题, 及书名页题编目.
浏览:0