亚博体育官网研究研讨会
2018年7月20 - 22日- 伯克利,加利福尼亚州
第2届人工智能对齐方法研讨会
-
柴参与者
- 乔丹亚历山大乔丹亚历山大()
- 劳伦斯陈劳伦斯陈()
- 詹姆斯排水詹姆斯排水()
- 亚伦塔克亚伦塔克()
- Alex Turner.Alex Turner.() 独立的参与者
- Alex GunningAlex Gunning()
-
米里参与者
- 亚历克斯Appel亚历克斯Appel()
- 丹尼尔Demski丹尼尔Demski()
- 埃文Hubinger埃文Hubinger()
- 琳达Linsefors琳达Linsefors()
- 亚历克斯Mennen亚历克斯Mennen()
- 大卫西蒙斯大卫西蒙斯()
- 亚历克斯朱亚历克斯朱()
这个周末的研讨会汇集了来自MIRI和加州大学伯克利分校的研究实习生亚博体育官网人类兼容人工智能中心(CHAI)讨论人工智能安全研究的概念基础和有待解决的问题。亚博体育官网
2017年11月18日至19日,- 伯克利,加利福尼亚州
第一次人工智能对齐方法研讨会
- Tsvi Benson-tilsenTsvi Benson-tilsen(Miri)
- 保罗global保罗global(Openai)
- 安德鲁克克里奇安德鲁克克里奇(加州大学伯克利分校)
- 魏黛魏黛(独立)
- 亚伯兰Demski亚伯兰Demski(Miri)
- Sam Eisenstat.Sam Eisenstat.(Miri)
- 斯科特Garrabrant斯科特Garrabrant(Miri)
- Richard Mallah.Richard Mallah.(FLI,剑桥语义)
- andreasstuhlmüller.andreasstuhlmüller.(斯坦福)
- 杰西卡·泰勒杰西卡·泰勒(独立)
这个周末的研讨会汇集了对理解和探索MIRI之间的交集感兴趣的研究人员亚博体育官网代理基础亚博体育官网研究议程和保罗global的研究亚博体育官网.
2017年4月1 - 2日,- 伯克利,加利福尼亚州
第四届机器学习与人工智能安全研讨会
- 瑞安·凯里瑞安·凯里(Miri)
- 劳伦斯陈劳伦斯陈(宾夕法尼亚大学)
- 迈克尔·科恩迈克尔·科恩(Noodle.ai)
- Monica Gates.Monica Gates.(加州大学伯克利分校)
- 卢克雷泽西卢克雷泽西(Shopkeep)
- 丹尼尔Hendrycks丹尼尔Hendrycks()
- 珍娜凯恩尼斯珍娜凯恩尼斯(纽约)
- Jonathan Krause.Jonathan Krause.()
- 罗伯特Krzyzanowski罗伯特Krzyzanowski(伊利诺伊大学)
- Eric Langlois.Eric Langlois.()
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- 霍尔顿李霍尔顿李()
- 长欧阳长欧阳()
- 伊桑·佩雷斯伊桑·佩雷斯(赖斯大学)
- 安东尼•罗斯安东尼•罗斯(Uber,德克萨斯A&M)
- Anand SrinivasanAnand Srinivasan(AlphaSheets麻省理工学院)
- 杰西卡·泰勒杰西卡·泰勒(Miri)
该研讨会将研究人员与机器学习背景汇集在一起,以便在经常机器亚博体育官网学习系统和框架中建模的长期AI安全问题,例如“亚博体育苹果app官方下载AI安全的具体问题”和“高级机器学习系统对齐亚博体育苹果app官方下载”。
这个研讨会的部分经费是由一笔赠款人工智能杂志.
2017年3月25日至26日,- 伯克利,加利福尼亚州
药剂基础和人工智能安全讲习班
- 亚历山大Appel亚历山大Appel(内华达大学雷诺分校)
- 迈克尔·丹尼斯迈克尔·丹尼斯(加州大学伯克利分校)
- Sam Eisenstat.Sam Eisenstat.(谷歌)
- 马特·弗兰克马特·弗兰克()
- 斯科特Garrabrant斯科特Garrabrant(Miri)
这两天的周末研讨会将研究人员汇集在长期理论的AI安全研究中。亚博体育官网研讨会涵盖了当前AI安全研究议程和项目的背景和内容(重点是Miri的亚博体育官网代理基金会技术议程).它是为拥有技术背景的研究人员而努力,亚博体育官网谁以前没有与Miri广泛工作过。
2016年12月1日至3日- 伯克利,加利福尼亚州
第三届机器学习和人工智能安全研讨会
- 瑞安·凯里瑞安·凯里(Miri)
- 卡梅伦更自由卡梅伦更自由(Gamalon和Borelian)
- 斯科特Garrabrant斯科特Garrabrant(Miri)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- Moshe看起来Moshe看起来(谷歌)
- 杰里米尼克松杰里米尼克松(火花)
- Anand SrinivasanAnand Srinivasan(AlphaSheets)
- 杰西卡·泰勒杰西卡·泰勒(Miri)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
这个为期三天的小型研讨会将具有机器学习背景的研究人员聚集在一起,研究可以在当前机器学习系统和框亚博体育官网架中建模的长期人工智能安全问题,例如“亚博体育苹果app官方下载AI安全的具体问题”和“高级机器学习系统对齐亚博体育苹果app官方下载”。
议题包括使用共享嵌入的零拍摄学习,两者的区别量化和正规化,生成对抗网络和古德哈特定律,以及数学形式保守的概念学习.
2016年11月11 - 13日,- 伯克利,加利福尼亚州
第9届逻辑学、概率论与反思研讨会
- Tsvi Benson-tilsenTsvi Benson-tilsen(加州大学伯克利分校)
- 瑞安·凯里瑞安·凯里(Miri)
- 安德鲁克克里奇安德鲁克克里奇(Miri)
- 亚伯兰Demski亚伯兰Demski(USC)
- Sam Eisenstat.Sam Eisenstat.(加州大学伯克利分校)
- Benya FallensteinBenya Fallenstein(Miri)
- 杰克·加拉格尔杰克·加拉格尔()
- 斯科特Garrabrant斯科特Garrabrant(Miri)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- Nisan Stiennon.Nisan Stiennon.(谷歌)
- 杰西卡·泰勒杰西卡·泰勒(Miri)
- 亚历克斯朱亚历克斯朱(麻省理工学院)
在这个为期三天的研讨会上,大多数参加者都是过去研讨会的老手,他们讨论了与MIRI相关的各种问题代理基金会技术议程.
主题包括丰富领域的安全探索,预测人类和预测六氯环己烷之间的区别, 和决策理论源于其他决策理论的自我修正.
2016年10月21日至23日- 伯克利,加利福尼亚州
第二届机器学习和人工智能安全研讨会
- 瑞安·凯里瑞安·凯里(Miri)
- 莎拉康斯坦丁莎拉康斯坦丁()
- 斯科特Garrabrant斯科特Garrabrant(Miri)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- 威廉•桑德斯威廉•桑德斯(谷歌)
- 杰西卡·泰勒杰西卡·泰勒(Miri)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
这个为期三天的小型研讨会将具有机器学习背景的研究人员聚集在一起,研究可以在当前机器学习系统和框亚博体育官网架中建模的长期人工智能安全问题,例如“亚博体育苹果app官方下载AI安全的具体问题”和“高级机器学习系统对齐亚博体育苹果app官方下载”。
2016年8月26日至28日- 伯克利,加利福尼亚州
1次机械学习和AI安全研讨会
- 保罗global保罗global(加州大学伯克利分校)
- 丹尼尔Filan丹尼尔Filan(加州大学伯克利分校)
- 卡梅伦更自由卡梅伦更自由(Gamalon和Borelian)
- 迪伦Hadfield-Menell迪伦Hadfield-Menell(加州大学伯克利分校)
- 维多利亚Krakovna维多利亚Krakovna(哈佛大学)
- Janos KramarJanos Kramar(加拿大蒙特利尔大学)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- 伊莲娜Luketina伊莲娜Luketina(加拿大蒙特利尔大学)
- Richard Mallah.Richard Mallah.(FLI,剑桥语义)
- 杰西卡·泰勒杰西卡·泰勒(Miri)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
为期三天的研讨会汇集了具有机器学习背景的研究人员,他们将研究可以在当前机器学习系统亚博体育官网和框架中建模的长期人工智能安全问题,例如“亚博体育苹果app官方下载AI安全的具体问题”和“高级机器学习系统对齐亚博体育苹果app官方下载”。
主题包括学习人类可解释的环境模型和因果模型;基于影响措施的工程造价函数抑制副作用为计划的所谓解释的质量设计可靠的量度;建立了古德哈特定律的正式模型,得到了适度的优化。
2016年8月12日至14日- 伯克利,加利福尼亚州
第八届逻辑学、概率论与反思研讨会
- Tsvi Benson-tilsenTsvi Benson-tilsen(加州大学伯克利分校)
- 安德鲁克克里奇安德鲁克克里奇(Miri)
- Sam Eisenstat.Sam Eisenstat.(加州大学伯克利分校)
- Benya FallensteinBenya Fallenstein(Miri)
- 斯科特Garrabrant斯科特Garrabrant(Miri)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- 内特苏亚雷斯内特苏亚雷斯(Miri)
- 杰西卡·泰勒杰西卡·泰勒(Miri)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
在这个研讨会上的参与者 - 所有这些研讨会的退伍军人 - 致力于与miri相关的各种问题代理基金会技术议程,重点研究决策理论和逻辑反事实的形式建构。
2016年6月17日- 伯克利,加利福尼亚州
CSRBAI Agent Models和多功能困境的研讨会
- 南加州大学创新技术研究所
- 卡尔顿大学
- 人文研究所的未来
- 卡内基梅隆大学
- 哈佛大学
- 牛津大学
- 伦敦大学学院
- 澳大利亚国立大学
- 加州大学伯克利分校
- 但奥斯丁
- 普林斯顿大学
- 哥伦比亚大学
的健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。
第四次研讨会CSRBAI.重点讨论了如何设计在其环境中表现良好的代理,而不忽略代理自身的行为对环境或环境中其他代理的影响。
2016年6月11 - 12,- 伯克利,加利福尼亚州
CSRBAI优先权规范研讨会
- 澳大利亚国立大学
- 伦敦大学学院
- 存在风险研究中心
- 牛津大学
- 人文研究所的未来
- 卡内基梅隆大学
- 瑞士AI实验室IDSIA
- 澳大利亚国立大学
- 加州大学伯克利分校
- 布朗大学
- 蒙特利尔大学
- 南加州大学创新技术研究所
的健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。
第三次研讨会CSRBAI.专注于高能力AI系统的偏好规范的主题,在这个主题中,希望代码“做我的意思,而不是我说的”的长期问题变得越来越具有挑战性。亚博体育苹果app官方下载
2016年6月4 - 5,- 伯克利,加利福尼亚州
CSRBAI鲁棒性和容错研讨会
- 伦敦大学学院
- 存在风险研究中心
- 谷歌
- 人文研究所的未来
- 卡内基梅隆大学
- 澳大利亚国立大学
- 加州大学伯克利分校
- 瑞士AI实验室IDSIA
- 康奈尔大学
- 南加州大学创新技术研究所
的健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。
第二车间CSRBAI.专注于AI系统的健壮性和容错性,以及如何确保当AI系统失败时,它们会优雅地、可检测地失败。亚博体育苹果app官方下载
2016年5月28 - 29日,- 伯克利,加利福尼亚州
CSRBAI透明度讲习班
- 俄勒冈州立大学
- 澳大利亚国立大学
- 人文研究所的未来
- 卡内基梅隆大学
- IBM的亚博体育官网研究
- 蒙特利尔算法学习研究所
- 谷歌研究亚博体育官网
- 斯坦福大学
- 谷歌
- 加州大学伯克利分校
- 伦敦大学学院
- 哈佛大学
- 生命未来学院
的健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。
第一个研讨会CSRBAI.聚焦于AI系统的透明度,以及我们如何在保持能力的同时提高透明度。亚博体育苹果app官方下载
2016年4月1 - 3日- 伯克利,加利福尼亚州
自我参照,类型理论和形式验证
2015年8月28日至30日- 伯克利,加利福尼亚州
逻辑决策理论第三次介绍性研讨会
- 霍尔格戴尔霍尔格戴尔(萨尔州大学)
- Owain埃文斯Owain埃文斯(麻省理工学院)
- Benya FallensteinBenya Fallenstein(Miri)
- 本杰明•福克斯本杰明•福克斯(以色列国防军)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- 乔纳森李乔纳森李(剑桥)
- Ben Levinstein.Ben Levinstein.(牛津)
- 伊莲娜Luketina伊莲娜Luketina(阿尔托)
- 大卫斯坦伯格大卫斯坦伯格(U马里兰州)
- 内特苏亚雷斯内特苏亚雷斯(Miri)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
这是一系列介绍性研讨会的第六次,其中Miri将研究人员汇集在一起不同的背景,讨论了其中一个的公开问题亚博体育官网技术议程主题,并开始在该地区的项目和合作。
这个研讨会的主题是决策理论,并在以下帖子中讨论研讨会开始的项目:证明长度和逻辑反事实重读
2015年8月7号到9号,- 伯克利,加利福尼亚州
第2介绍逻辑不确定性研讨会
- Pedro CarvalhoPedro Carvalho(Instituto SuperiorTécnico)
- 阿德利德威 - 洛佩兹阿德利德威 - 洛佩兹(种子平台公司)。
- Benya FallensteinBenya Fallenstein(Miri)
- 约翰·福克斯约翰·福克斯(牛津)
- 罗伯特Krzyzanowski罗伯特Krzyzanowski(UIC)
这是一系列介绍研讨会的第五个,Miri将研究人员汇集在一起不同的背景,讨论了其中一个的公开问题亚博体育官网技术议程主题,并开始在该地区的项目和合作。
这个研讨会的主题是逻辑不确定性,并在以下帖子中讨论研讨会开始的项目:逻辑连贯到底是为了什么?
2015年6月26日至28日- 伯克利,加利福尼亚州
第一次vinean反思导论研讨会
- Siddharth Bhaskar.Siddharth Bhaskar.(UCLA)
- 贾斯汀·布罗迪贾斯汀·布罗迪(古彻学院)
- 亚伯兰Demski亚伯兰Demski(USC)
- Benya FallensteinBenya Fallenstein(Miri)
- RokoJelavić.RokoJelavić.(爱立信)
- Seth Kurtenbach.Seth Kurtenbach.(U密苏里州)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- 肯尼斯·普雷斯特肯尼斯·普雷斯特(文艺复兴时期计算研究所)
- Jess Riedel.Jess Riedel.(周边学院)
- 内特苏亚雷斯内特苏亚雷斯(Miri)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
2015年6月12 - 14,- 伯克利,加利福尼亚州
第2次逻辑决策理论介绍研讨会
- 曼Avbhushan.曼Avbhushan.(牛津)
- 保罗克劳利保罗克劳利(谷歌)
- Benya FallensteinBenya Fallenstein(Miri)
- 普雷斯顿格林普雷斯顿格林(南洋理工大学)
- 杰森克罗斯杰森克罗斯(麻省理工学院)
- 尼克干草尼克干草(加州大学伯克利分校)
- 维多利亚Krakovna维多利亚Krakovna(哈佛大学)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- Jan Leike.Jan Leike.澳大利亚国立大学()
- 内特苏亚雷斯内特苏亚雷斯(Miri)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
这是一系列介绍性研讨会的第三次,在这里MIRI将具有不同背景的研究人员聚集在一起,讨论了其中一个亚博体育官网技术议程主题,并开始在该地区的项目和合作。
这个研讨会的主题是决策理论,并在以下帖子中讨论研讨会开始的项目:有限和无限壳体的固定点定理
5月29日至31日,2015年- 伯克利,加利福尼亚州
第一个逻辑不确定性介绍性研讨会
- 莎拉康斯坦丁莎拉康斯坦丁(耶鲁大学)
- Benya FallensteinBenya Fallenstein(Miri)
- 雅各布·希尔顿雅各布·希尔顿(利兹大学)
- 凡妮莎Kosoy凡妮莎Kosoy(Metaqube)
- Janos KramarJanos Kramar(独立)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- Shivaram Lingamneni.Shivaram Lingamneni.(加州大学伯克利分校)
- 奎因Maurmann奎因Maurmann(Quidsi)
- 内特苏亚雷斯内特苏亚雷斯(Miri)
- 查理施泰纳查理施泰纳(独立)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
2015年5月4 - 6日- 伯克利,加利福尼亚州
逻辑决策理论第一介绍型研讨会
- Sam Eisenstat.Sam Eisenstat.(推特)
- Benya FallensteinBenya Fallenstein(Miri)
- 斯科特Garrabrant斯科特Garrabrant(UCLA)
- 乔治热泽乔治热泽(替代)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Miri)
- Evan Lloyd.Evan Lloyd.(UCLA)
- 内特苏亚雷斯内特苏亚雷斯(Miri)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
- Sebastien滑稽的Sebastien滑稽的(独立)
5月3日至11日,2014年伯克利分校,
第七届逻辑学、概率论和反思研讨会
- Mihaly BaraszMihaly Barasz(谷歌)
- 保罗global保罗global(加州大学伯克利分校)
- Benya FallensteinBenya Fallenstein布里斯托尔(U)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Quixey)
- 内特苏亚雷斯内特苏亚雷斯(谷歌)
- Nisan Stiennon.Nisan Stiennon.(斯坦福)
- 乔科元乔科元(加州大学伯克利分校)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
在这次研讨会上的参与者 - 所有这些过去的研讨会的退伍军人 - 致力于与友好AI相关的各种问题。来自此研讨会的第一报告可用在这里.
2013年12月14到20,伯克利分校,
第6次研讨会逻辑,概率和反思
- 内特·阿克曼内特·阿克曼(哈佛大学)
- 约翰贝斯约翰贝斯(UC Riverside)
- 保罗global保罗global(加州大学伯克利分校)
- Benya FallensteinBenya Fallenstein布里斯托尔(U)
- 卡梅伦更自由卡梅伦更自由(麻省理工学院)
- 杰里米哈恩杰里米哈恩(哈佛大学)
- WOJTEK MOCZYDLOWSKI.WOJTEK MOCZYDLOWSKI.(谷歌)
- 米歇尔·赖利米歇尔·赖利(独立)
- 会觉得会觉得(普林斯顿)
- 内特苏亚雷斯内特苏亚雷斯(谷歌)
- Nisan Stiennon.Nisan Stiennon.(斯坦福)
- 格雷戈里·惠勒格雷戈里·惠勒(LMU Munich)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
2013年11月23-29,——牛津大学,英国
第五次逻辑,概率和反思研讨会
- 斯图亚特·阿姆斯特朗斯图亚特·阿姆斯特朗(牛津)
- Mihaly BaraszMihaly Barasz(谷歌)
- Catrin Campbell-MooreCatrin Campbell-Moore(LMU Munich)
- 丹尼尔杜威丹尼尔杜威(牛津)
- Benya FallensteinBenya Fallenstein布里斯托尔(U)
- 雅各布·希尔顿雅各布·希尔顿(牛津)
- 拉库马拉库马(剑桥)
- Jan Leike.Jan Leike.(U弗莱堡)
- Bas SteunebrinkBas Steunebrink(IDSIA)
- 格雷戈里·惠勒格雷戈里·惠勒(LMU Munich)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
2013年9月7 - 13日伯克利分校,
第四次研讨会逻辑,概率和反思
- 保罗global保罗global(加州大学伯克利分校)
- 魏黛魏黛(独立)
- 加里Drescher加里Drescher(独立)
- 肯尼终极肯尼终极(USC)
- 卡梅伦更自由卡梅伦更自由(麻省理工学院)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(Quixey)
- Ilya ShpitserIlya Shpitser(U南安普顿)
- 弗拉基米尔•Slepnev弗拉基米尔•Slepnev(谷歌)
- Nisan Stiennon.Nisan Stiennon.(斯坦福)
- andreasstuhlmüller.andreasstuhlmüller.(麻省理工学院和斯坦福)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
本次研讨会集中讨论了与之相关的各种未决问题规范性决策理论.参与者在该地区集思广益,建于浪漫遗料等人。的Lobian合作工作,在正规化方面取得了一些进展不可更快的决策理论,并制定额外的玩具问题,如Ultimate Newcomb的问题.
这些结果仍在以各种形式被记录下来。
2013年7月8 - 14,伯克利分校,
第三届逻辑学、概率论和反思研讨会
- 安德鲁克克里奇安德鲁克克里奇(博士,加州大学伯克利分校)
- 亚伯兰Demski亚伯兰Demski(USC)
- Benya FallensteinBenya Fallenstein布里斯托尔(U)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 乔纳森李乔纳森李(剑桥)
- 会觉得会觉得(普林斯顿)
- 乔科元乔科元(加州大学伯克利分校)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
这次研讨会集中讨论了与Löbian自我修改系统的障碍亚博体育苹果app官方下载,并德斯基早期的工作合理的先验概率.主要的结果是一个证明,试图创建一个概率分布,执行科学归纳Π1对于这些语句的真实版本,这些语句收敛到概率1,可以创建赋值为true Π的零极限概率2语句。这个结果还在写,但是已经在一篇博客文章Demski。其他一些进展在进一步的研讨会上得到了发展和描述在这里.
2013年4月3-24,伯克利分校,
第二次研讨会逻辑,概率和反思
- 斯图亚特·阿姆斯特朗斯图亚特·阿姆斯特朗(牛津)
- Mihaly BaraszMihaly Barasz(谷歌)
- 保罗global保罗global(加州大学伯克利分校)
- 安德鲁克克里奇安德鲁克克里奇(博士,加州大学伯克利分校)
- 丹尼尔杜威丹尼尔杜威(牛津)
- Benya FallensteinBenya Fallenstein布里斯托尔(U)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克·瓦特奥尔帕特里克·瓦特奥尔(U威斯康星州)
- 雅各布·斯坦哈特雅各布·斯坦哈特(斯坦福)
- 杰西卡·泰勒杰西卡·泰勒(斯坦福)
- 乔科元乔科元(加州大学伯克利分校)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
这个三周的研讨会同时解决了多个开放研究问题。亚博体育官网首先,参与者发现了一种改进版本反射原理这是在前面的研讨会中发现的,尽管这个进展仍在记录中。第二,参与者改进了LaVictoire之前的作品,最终写出了“囚徒困境中的鲁棒合作:基于可证明逻辑的计划均衡第三,参与者在本雅·法伦斯坦(Benya Fallenstein)的基础上有所提高参数多态性的方法来解决Löbian自我修改系统的障碍亚博体育苹果app官方下载.
2012年11月11到18门,伯克利分校,
第一届逻辑学、概率论和反思研讨会
- Mihaly BaraszMihaly Barasz(谷歌)
- 保罗global保罗global(加州大学伯克利分校)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 以利以谢Yudkowsky以利以谢Yudkowsky(Miri)
这个研讨会追求了一系列攻击Löbian自我修改系统的障碍亚博体育苹果app官方下载.这次研讨会的主要结果是塔尔斯基真理的不可定义性(通过不动点定理)中出现了一个非建设性的“漏洞”,这个漏洞后来被写成了“概率逻辑中的真理绝定”(见讨论在这里,在这里, 和在这里).