AGI'16 Paper: Death and Suicide in Universal Artificial Intelligence
AIXI is a universal solution to the reinforcement learning problem; it can learn any computable environment. We formally define death for generally intelligent agents like AIXI, and prove a number of related theorems about their behaviour. »