Possibilizing vs. actualizing
post by TsviBT · 2023-04-16T15:55:40.330Z · LW · GW · 2 commentsContents
Terms Examples Related distinctions Redescriptions Reasons there's not a real distinction None 2 comments
[Metadata: crossposted from https://tsvibt.blogspot.com/2022/12/possibilizing-vs-actualizing.html. First completed December 31, 2022. This essay is more like research notes than exposition, so context may be missing, the use of terms may change across essays, and the text might be revised later; only the versions at tsvibt.blogspot.com are definitely up to date.]
Some behavior seems like it's just making things possible, without actually doing much of anything, while other behavior seems to actually do something. Is there a principled, or a useful, distinction between possibilizing and actualizing? Is it possible to possibilize a large effect on the world without actualizing large effects on the world?
It's not clear whether this is a real distinction, but to me it's a very intuitive and intuitively salient idea (because possibilizing seems safer than actualizing), so I'd like to have a better analysis or dissolution of it.
Terms
Possibilizing is making something possible for an agent to do. That is, it's setting the stage, preparing, unlocking, satisfying the preconditions, gathering the needed resources and tools, gaining the necessary understanding and skill and components and information, getting agents on board, making the plans, opening the way. "Possible" is cognate with "potent", "power", and "hospital". Other possible words: enabling, feasibilizing, empowering.
Actualizing is (an agent) actually doing something, making something happen, achieving a goal, affecting something, having impact, delivering a payload. Other possible words: realizing, implementing, exerting.
Examples
-
Taking a step forward along a path possibilizes the next step, and contributes to possibilizing further steps; and it actualizes itself, a forward movement of the walker. In this example, it does seem like there's much distinction between possibilizing and actualizing: what's being possibilized (subsequent steps) is the same sort of thing as the possibilizing (the current step), and they interact in a straightforward way. Intuitively, this is mere progress, not possibilizing, so the above definition of possibilizing is incomplete.
-
Speed cubers first look at the Rubik's cube, then put it down, and then pick it up and turn its faces. Before they pick it up the second time, in their head they're possibilizing solving the cube by figuring out the sequence of moves. Before that, they had to understand how to solve the cube and train that skill, which was also possibilizing solving the cube. The order can't be switched: you can't turn the faces so the cube is in a solved state, and then, after that, figure out for the first time what sequence of turns would solve the cube. But you can "think with the cube", trying out moves to see what happens, sometimes backtracking, which blurs the distinction.
-
To build a complicated house, you look at the site where you'll build it, then you leave and elsewhere you think and draw pictures, and then later you come back and build the house.
-
A lot of engineering tasks are solved straightforwardly. But engineering tasks that push the envelope require the engineers to recurse up to more abstract thinking (e.g. "first-principles thinking"), removing all but the most necessary assumptions/constraints, finding an abstract design that satisfies the abstract constraints, and then constructing a new concrete, detailed design in a way that's beholden to the abstract design.
-
Coming up with a word possibilizes the expression of some thoughts.
-
Coming up with a concept possibilizes making good predictions and finding good designs. If you don't know about chromatic dispersion, you'll be confused about why your lenses produce images with weird color-dependent blurring, and you'll have trouble knowing, without physically testing, how much chromatic dispersion a novel lens design will have.
-
Proof of concept. When I want to write a computer program to do something cool but a bit complicated, and I'm not sure it'll be feasible given my time and ability, I start with tinkering around (sometimes mentally) to find a minimal implementation of the least obviously feasible part of the whole program. I don't start the program at the beginning (for example, I don't start writing helper functions to process user input). When the most uncertain parts have some janky, minimal implementation, then "lightning strikes": there's a pathway for the voltage to travel through the previously maybe-infeasible seeming parts, all the way through the system, to actually do anything at all. It's not a minimum viable product or a proof of value, because it doesn't necessarily do anything cool; it's just a proof of the feasibility of the concept. E.g. if I want to make a website, and I've never made a website before, I don't start writing HTML, I check if I even know how to make a website at all, such that someone could put a URL into a web browser and then see something that looks the way it does because of code I wrote.
Related distinctions
- Thinking vs. action
- Oracle AI [? · GW] and Tool AI [? · GW] vs. agent AI
- Instrumental vs. terminal values: instrumental goals are pursued in order to possibilize terminal goals.
- Technical challenges (which are already possibilized) vs. adaptive challenges (which require more possibilizing)
- Influence-maximizing / expansion vs. value-fulfillment / payload [LW · GW]
- Empowerment vs. some more specific utility function
- Linguistic competence vs. performance
Redescriptions
Possibilizing vs. actualizing might not be a suitable distinction, but if it is, what might that distinction be? Some possibilities:
- Actualizing in abstract domains. Possibilizing may be just actualizing in domains that are abstracted from whatever is eventually actualized.
- Actualizing in distinct micro-realms. See cognitive realms. If "micro-realm" somewhat carves mental activity at its joints, we could say: possibilizing, relative to a micro-realm X, is actualizing within some other micro-realm Y that makes it easier to achieve some goal in X. Possibilization could then be viewed as pure / true / clean possibilization, or possibilization that isn't also actualization, if this condition holds: the activity only actualizes with its domain or micro-realm Y, and doesn't actualize within other domains/micro-realms X, but only possibilizes for them. (For what true and arthrodiatomic idea of domain or micro-realm would this "pure possibilization" exist?)
- Generatorwardness. Possibilizing X may be actualization that takes place close to the "core generator" of X, or in other words, earlier in logical time. Or, earlier in whatever partial ordering there might be on bits of optimization pressure.
- Stealability. Possibilization is that which is amenable to strategy stealing.
- Increasing programmability / instructability / controllability / empowerment. Possibilizing may be that which makes some stuff more useful for an agent to use.
- Corrigibility as possibility-maxing. (This has been proposed before but I forget where.) One possible flavor of corrigibility is to separate possibilizing from actualizing, so that the agent possibilizes but doesn't actualize, and lets the principal actualize or choose what to actualize.
- Generality / convergence. Possibilization decreases, for many a goal-state, the remaining optimization power needed to achieve that goal-state, while actualization decreases the remaining optimization for only a few goal-states.
- Cortex. The cortex, or much of it, might have been designed under strong design pressure towards purer possibilizing. Rather than encoding goals as direct targets for effects, evolution found competence generators that don't stomp on goals and cohere strategically to have effects on the world in a minimal, online schedule. See FIAT and rootedness.
- Reversibility. Actualization is harder to undo than possibilization, maybe.
- Expanding actionspace. Since policyspace, actionspace, and worldspace (the space of possible worlds) is not given but is constructed or coalesced out of primordial striving or something, there is room to expand these spaces. Possibilizing contains actionspace expansion as a subset, maybe an exemplary subset.
Reasons there's not a real distinction
- It's all just optimization.
- It's all just action.
- Possibilizing is just hypothetical actualization; when someone uses the preexisting possibilization work to actualize something, the full force of the possibilization is felt.
- Possibilizing is just internal or mental actualization, which isn't demarcatable from external actualization.
- Possibilization is always also actualization. To make something possible, you have to actually do stuff. E.g. gaining understanding is a kind of possibilization for future thoughts, but comes through for example empirical experiments, which involve actualizing activity; making a hammer possibilizes building a house, but making a hammer involves actualizing, e.g. forging the hammerhead.
- Whatever be the realms, domains, degrees of abstraction, or similar, important activity is always constituted by activity from across many of those arenas, intertwined, so that there's no arena where actualization is separated off from actualization in others.
- Possibilizing and actualizing aren't properties of mental elements in isolation, but properties of mental activity within a mental context. In particular, there's no easy way to select for things that are more possibilizing and less actualizing, without understanding the mind.
- Novel understanding is a key source of possibilization. Agency is a key source of actualization. Novel understanding might imply novel agency, in which case possibilization tends to imply novel actualization. In other words, possibilization in general is coherentifying in general, and to coherentify in general, a system is almost required to be actualizing in general.
- A mind continues its trajectory of creativity, so that a mind that possibilizes also possibilizes much more, which shades into actualizing.
2 comments
Comments sorted by top scores.
comment by rickjdavies · 2023-04-16T21:27:21.698Z · LW(p) · GW(p)
Re related distinctions: Innovation is sometimes defined as "invention + use" . Possibilizing vs. actualizing sounds similar to these two elements of innovation
comment by Max H (Maxc) · 2023-04-16T20:27:53.585Z · LW(p) · GW(p)
I think this is a real and useful distinction. In a recent post, I sketched a system [LW · GW] which I'd describe in your terms as actualizing by default, but would be more like a possibilizer if the observation = execute(action)
line were commented out. The possibilizing system could be used to cache sequences of actions for reaching a particular world state, stored for potential later execution.
In the limit of perfect world modelling, planning heuristics, and compute resources, the set of reachable nodes in the tree might be the same as those in the actualizing version. But for more practical instantiations, the possibilizing system likely becomes much less accurate when searching deep in the tree.
Instead of preventing action execution entirely, you can imagine restricting only certain kinds of actions or action sequences whose effects are irreversible or otherwise high-impact. As you lift more and more restrictions, the systems transitions back towards actualizing.