discussion post by Stuart Armstrong 281 days ago | discuss

A putative new idea for AI control; index here.

In a previous post, the marginal gain of one utility in terms of another was given by a crisp formula.

This is obviously unrealistic, but how unrealistic is it? This post will look at various features we might expect from utility functions and acausally trading agents, and what makes them easy or difficult to trade with.

# Independence

The ideal trade is something like agent $$A_1$$ likes staples, agent $$A_2$$ likes green objects, and they both decide to make green staples.

Here the two utilities are almost independent: increasing one costs almost nothing from the perspective of the other.

In general, independence (which could also be called low trade-offs) is very desirable between different utilities. This is not a transitive property: staples and green colour can be pretty independent, staples and blue colour as well, but obviously green and blue are in direct tension.

It’s plausible that there will exist whole families of mutually independent utilities, coming together as a package that can get maximised together or separately.

# Popularity

An obvious point, but utilities that are very popular - very widely shared by different agents - are more likely to be traded with, since there are more agents willing to trade in return. This willingness is non-linear in “double decrease” situations, for instance those that do not derive from some sort of timeless, pre-existence deal.

# Complexity and coordination

Then there’s the complexity of the preference. Simple utilities, or those whose existence is simple to deduce, are much easier to figure out and hence maximise.

This is partially a question of popularity, but it’s also an artefact of the fact that agents may have different priors (or, even if they have the same priors, different posteriors after updating on the agent’s own existence). In all those situations, simple preferences are likely to come up often.

These another type of complexity, which is complexity in increasing that utility. Suppose $$U$$ counts the number of named nodes in a network, where every node knows the name of every other node. This utility is not hard to describe, but is useless for acausal trade, as a second network would not be connected to the first one in terms of knowing the names of the first nodes. So $$U$$ can easily be maximised by causal trade, but not acausal.

# Total, average, diminishing returns

Total utilitarian-like utilities are particularly easy to trade with: simply create more of the desired object. Average utilitarian-like utilities are almost un-tradable: extra copies of the desired object can be actively pernicious, and the best is for a single agent to be maximising them.

In between, we have utilities that exhibit diminishing returns in the number of desired objects. For instance, a $$U$$ that counts the number of unique, flourishing humans, will discount identical copies, which are are likely if the number of humans created gets very large.

Utilities that exhibit diminishing returns also interact differently with uncertainty about the number of agents out there. For a total-style utility, a $$1/\Omega$$ chance of $$\Omega$$ agents maximising $$U$$ is the same as one agent maximising $$U$$ with certainty, while for utilities that exhibit diminishing returns, this can be very different.

# Negatives and extortion

So far, we’ve been considering utilities that would be independent, given infinite resources: the only trade-offs are those where different utilities want to maximise different things given the same resources.

But some utilities are more strongly opposed than that. Blue and green maximisers don’t oppose each other directly, but an agent that wants more green is opposed to one that wants less green. A “human flourishing” type utility would be opposed to a utility that values human suffering (or, more realistically, a different definition of flourishing that values some state of affairs that exhibits what we’d call suffering among human-like agents).

A utility has a negative side if the value of that utility can be decreased by someone’s actions in a causally disconnected way. The utilities $$U$$ and $$V$$ are opposed if each agent would prefer a trading partner maximise nothing rather than maximising some mix $$aU+bV$$. If two utilities are opposed, then at least one must have a negative side.

Obviously utilities that don’t oppose others, will find trading easier. Those that directly oppose others may find that what they are offered in trade, is simply that agents don’t maximise the opposed utilities.

This is also connected with issues of extortion. Only utilities with negative sides are vulnerable to extortion (though all utilities and agents are vulnerable to being extorted in the sens of getting a bad trade deal).

# Fairness and imperfect trade

Because it’s likely that different agents will have different trading algorithms, large acausal trade networks will likely include agents who’s concept of fair deals differs from that of the majority of the network.

This could be implemented similarly to Scott’s idea here, or possibly by some alien and currently unimaginable fairness procedure.

In any case, agents whose conceptions of “fair” are the broadest are likely to be included in the largest trade networks (the cost being, of course, that they are likely to derive less profit per other agent in the network).

# Update rules and unlikely agents

Once an agent $$A_1$$ updates on their own existence, they have a distribution of other likely agents. They can therefore model what happens when other agents update on their own existence.

Suppose that $$A_1$$ predicts that the agents it’s most likely to be able to trade with are of type $$A_n$$; but suppose it also predicts that $$A_n$$ agents will conclude that $$A_1$$ agents are rare. Then it will have difficulty trading. In contrast, if $$A_1$$ expects that all its favourable trading partners predict its own existence, then it will trade advantageously. This phenomena is also subject to the usual double decrease.

# Multiple acausal trade networks

Because of all the above, it’s possible that agents and utilities could be part of multiple acausal trade networks, joining them (in part) for different reasons. Or maybe, because of the double decrease problem or threats between trade networks, it will turn out to almost always be better to be member of a single one.

### NEW DISCUSSION POSTS

[Delegative Reinforcement
 by Vadim Kosoy on Stable Pointers to Value II: Environmental Goals | 1 like

Intermediate update: The
 by Alex Appel on Further Progress on a Bayesian Version of Logical ... | 0 likes

Since Briggs [1] shows that
 by 258 on In memoryless Cartesian environments, every UDT po... | 2 likes

This doesn't quite work. The
 by Nisan Stiennon on Logical counterfactuals and differential privacy | 0 likes

I at first didn't understand
 by Sam Eisenstat on An Untrollable Mathematician | 1 like

This is somewhat related to
 by Vadim Kosoy on The set of Logical Inductors is not Convex | 0 likes

This uses logical inductors
 by Abram Demski on The set of Logical Inductors is not Convex | 0 likes

Nice writeup. Is one-boxing
 by Tom Everitt on Smoking Lesion Steelman II | 0 likes

Hi Alex! The definition of
 by Vadim Kosoy on Delegative Inverse Reinforcement Learning | 0 likes

A summary that might be
 by Alex Appel on Delegative Inverse Reinforcement Learning | 1 like

I don't believe that
 by Alex Appel on Delegative Inverse Reinforcement Learning | 0 likes

This is exactly the sort of
 by Stuart Armstrong on Being legible to other agents by committing to usi... | 0 likes

When considering an embedder
 by Jack Gallagher on Where does ADT Go Wrong? | 0 likes

The differences between this
 by Abram Demski on Policy Selection Solves Most Problems | 1 like

Looking "at the very
 by Abram Demski on Policy Selection Solves Most Problems | 0 likes