在剑桥大学决策理论会议上与miri相关的演讲

||新闻

最近，MIRI在剑桥大学联合组织了一个会议，名为决策理论和人工智能中的自我预测．至少有六次会议直接讨论了提出的问题美里的技术议程：

  1. MIRI研亚博体育官网究员(不久将成为执行主任) Nate Soares做了一个题为什么是如果?”(. pdf w / o笔记，.pptx w /笔记)，关于人工智能背景下的反事实理论。
  2. MIRI研亚博体育官网究员Patrick LaVictoire发表了一篇题为决策理论和可证明逻辑”(. pdf)，在模态代理框架上。
  3. MIRI研亚博体育官网究员Benja Fallenstein做了一个题为Vingean反射”(. pdf）.
  4. 谷歌员工Vladimir Slepnev曾是MIRI研讨会的参与者，他发表了题为“基于逻辑反事实的决策模型”(. pdf）.
  5. MIRI研亚博体育官网究助理Stuart Armstrong(牛津大学)做了一个题为人为决策理论”(. pdf，视频）.
  6. 与此同时，斯图尔特·拉塞尔也发表了题为《人工智能的长远未来”(视频）.

我们感谢所有出席的人，特别是我们的联合组织者:Arif Ahmed, Huw Price和Seán Ó hÉigeartaigh!