We think that tools from algorithmic information theory will have a lot to tell us about abstractions. If we adopt the premise that an AI system will be implemented as a computation, then any sub-component (such as those serving as abstractions) will also be an algorithm. AIT tells us facts about which and how many algorithms can compress some given data. We think this data compression can serve as a starting definition for formalizing abstractions.
