Schedule for PDTAI (Provability, Decision Theory and Artificial Intelligence)

Schedule for PDTAI (Provability, Decision Theory and Artificial Intelligence) :


1	Theme	Date	Name	Institution	Title
2	Decision Theory	9/22/2015	Andrew Critch	Machine Intelligence Research Institute	Provability logic, the Prisoners' Dilemma, and Superintelligence
3	Self- Reflection	9/29/2015	Paul Christiano	UC Berkeley, Computer Science	Probabilistic Logic and Definability of Truth
4	Decision Theory	10/6/2015	Patrick LaVictoire	Machine Intelligence Research Institute	Modal Combat : a sandbox for decision theory
5	Self- Reflection	10/13/2015	Tsvi Benson-Tilsen	UC Berkeley, Logic	AIXI, the Cartesian Agent: Failures of Reflective Reasoning
6	10/20/2015	Sam Eisenstat	U Waterloo, Mathematics	Reflective Oracles: A Foundation for Classical Game Theory
7	10/27/2015	Andrew Critch	Machine Intelligence Research Institute	Vingean Reflection: Reliable Reasoning for Self-Improving Agents
8	Decision Theory	11/3/2015	Patrick LaVictoire	Machine Intelligence Research Institute	Optimality in Modal Decision Theories
9	---	11/10/2015	---	---	No seminar
10	Self- Reflection	11/17/2015	Tsvi Benson-Tilsen	UC Berkeley, Logic	Decreasing mathematical strength, parametric polymorphism, and procrastination
11	Logical Uncertainty	11/24/2015	Scott Garrabrant	UCLA, Mathematics	Asymptotic logical uncertainty
12	Decision Theory	12/1/2015	Patrick LaVictoire	Machine Intelligence Research Institute	Logical Counterfactuals and Logical Uncertainty

Published by Google Sheets–Report Abuse–Updated automatically every 5 minutes