PDTAI: Provability, Decision Theory and Artificial Intelligence
Semester: Fall, 2015
Organizers: Tsvi Benson-Tilsen and Andrew Critch
Time: Tuesdays, 5:00 pm – 6:30 pm
Location: UC Berkeley, 732 Evans Hall
This seminar will explore mathematical problems faced by artificial agents with the capacity for precise and accurate models of themselves and other agents, and the challenges they pose for the safe and reliable design of such agents. For example, artificial agents might encounter mathematical proofs about their own behavior and the behavior of others, or create new agents to support or replace themselves. How should an agent behave in such scenarios? And given this, how should they be designed?