Research toward a theory of abstraction suitable for embedded agency.

Key background concepts:

• Causal DAGs with symmetry as a model of computation

• The “minimal map” interpretation of probability

Both of these will be leveraged very heavily in this sequence, so it’s worth checking them out before diving in.

This work is supported by a grant from the long-term future fund.