Overview of Abstraction Space
Category: Abstraction
<!-- gdoc-inlined -->
Ideas foundational to abstraction
- Generalization
- Memory Limitations
- Discrete vs. Continuous Abstractions
- Coarse / fine vs. high / low vs. specific / general framing of abstraction
- Concept of ‘type’ of abstraction, the way in which the abstraction is done
- Structure
- There is a true structure to information that we’re looking to model
- Compression
- Fundamental tradeoff between the amount of compute necessary and the accuracy of the abstractions reasoned over (in contexts where lower is strictly better, say in object-oriented programming)
- Hierarchy
Ideas that are a result of abstraction
- Pitfalls of Abstraction
- Abstracting over unlike objects
- Excessive height obscures information inside abstraction
- Leaky Abstractions
- Level of abstraction as a hidden assumption
- Inferential distance, where ideas build on top of one another and there’s a struggle to communicate across the gap
- If idea can be expressed without the abstractions over it, it may be less general but more accessible
- The way that fields develop their own language to build ideas on top of one another
- Ability to represent huge amounts of information
- Value to breaking tasks / domains / problems down into hierarchical representations
- The way that fields develop their own language to build ideas on top of one another
- All modeling processes as an act of abstraction
- Mental Models as all examples of abstraction
- Causal models (including rules for establishing causal structure) as abstractions
- Need for abstraction in order to model formal systems, ex. Utility in Econ or an Environment in RL
- Transfer
- Transfer in causal models vs. intuitive transfer
- Value to operating at multiple levels of abstraction
- Value to attacking problems at the right level of abstraction
- Definitions and the outcome you choose to care about can be a function of the level of abstraction you’re working at (often we take the level of abstraction for granted and it informs our understanding of the problem itself, it’s an unspoken assumption)
- Examples of Abstraction
- Abstraction in planning, where nearby events are planned in fine grain and far events are coarse
- Language as a discrete proxy for thought, an abstraction over a distributed representation of an idea
- Scientific disciplines as distinguished by the grade at which we interact with reality
- Evaluating the Quality of an Abstraction
- Generalization, on top of an abstraction - which framing leads to the best model for the system? How can we abstract so as to generalize with extraordinary accuracy?
Source: Original Google Doc