Skip Nav Destination
Close Modal
Update search
NARROW
Format
TocHeadingTitle
Date
Availability
1-1 of 1
Daniel Platt
Close
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Sort by
Proceedings Papers
. isal2024, ALIFE 2024: Proceedings of the 2024 Artificial Life Conference104, (July 22–26, 2024) 10.1162/isal_a_00792
Abstract
View Paper
PDF
The shutdown problem is the problem of programming an agent so that it behaves useful during normal operation and facilitates a shutdown if and only if the creator wants to shut the agent down. First, we revisit a formalisation of this problem from the literature and we show that solutions are essentially unique. Second, we formally define ad-hoc constructions. Last, we present one trivial ad-hoc construction for the shutdown problem and show that every solution to the shutdown problem must come from an ad-hoc construction, which is to be expected given the uniqueness from the first point. We relate this to non-existence theorems from the literature.