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 |