Corrigibility through stratified indifference and learning

A putative new idea for AI control; index here.

Note: This is a simpler version of a previous idea.

Corrigibility through indifference has a few problems. One of them is that the AI is indifferent between the world in which humans change its utility to , and world in which humans try to change its utility, but fail.


Now the try-but-fail world is going to be somewhat odd—humans will be reacting by trying to change the utility again, trying to shut the AI down, panicking that a tiny probability event has happened, and so on.

That’s not what we really want for indifference. We’d really want the AI to be indifferent between worlds where humans choose utility , and worlds where they choose utility . This kind of counterfactual has a problem: it allows infinite improbability drives.

This paper presents a method for avoiding these problems—a method that is also not truly indifferent, but has a certain urge towards non-interference in human choices (we’ll see that property in detail at the end of this post). But first, what is the problem with the standard counterfactual?

Half a chance of winning the lottery

Let’s illustrate the problem with these counterfactuals by considering a lottery scenario. An AI is currently hesitating between utilities and . Which one it will maximise will be determined at a later date, by human choice. Currently, it estimates that there is a chance of humans deciding for either option.

However, the AI can influence human decision—let’s say, for simplicity, that it could, if it wanted, force the human to pick either or with certainty. Its to this effect that we want to make it indifferent.

The AI has a lottery ticket, which will win with probability . If the ticket does win, the AI will be able to invest the cash to set or to the value ; it can do so after the humans decide which utility is correct. If not, utility will remain at while utility will be at .

Thus, currently, the expected utility of is ( will only increase if the AI both wins the lottery and the humans select as the utility to maximise), while the expected utility of is .

Obviously, this requires the use of some form of indifference, or else the AI will simply force humans to choose , giving it utility (not , as the AI is no longer uncertain over the human’s choice).

Indifference

Standard indifference would be something like giving the AI compensatory returns, if is chosen, that makes up the difference between that and if was chosen.

This breaks the symmetry between and , though. To make it more symmetric, one could instead use these compensatory returns to move the expectation of both and to some common weighted average. One way of doing that would be to use the relative likelihood of each being chosen.

It we use the relative likelihood at the moment when the choice is made, however, we have the problem that this likelihood is very close to either or , making the compensatory return likely to be tiny and unimportant.

Instead, we should add the returns at every action the AI takes. Assuming a default action, we can adjust the return for any other action the AI takes, so that it gets expected return as if the probability of being chosen was unchanged.

Unfortunately, both the “set utility of to ” and the “adjust for every change of probability” are vulnerable to same trick for lottery manipulation.

The lottery manipulation

The manipulation is simple: the AI does an action that sets things up so that the human choice will be if and only if the AI wins the lottery. Then the expectation of , conditional on being chosen, is . If we set the value of to that, then this ensures the AI an expected utility of .

If we instead for go for the “adjust for every change of probability”, this would mean that the AI would now expect a utility of , still higher than anything else it could get.

The outcome is not the problem

An important thing to note is that it’s not the final situation that is problematic. It ends up with a situation where the probability of choosing is , the utility of given that is chosen is , and the utility of given that is chosen is .

But it is not intrinsically problematic. Suppose that instead action had set and , and, as a completely separate and independent process, the probability of choosing had reduced itself to . The first part is something positive for the agent, and we would want it to be indifferent to the second.

So the problem is not where the agent ends up, but the way it sends up there. The problem is the way the probability flows:

Essentially the probability flows from to (given the loss of the lottery) and from to (given the winning of the lottery). Because losing is more likely than winning, the overall flow (the red arrow) is from to , so undoing this will result in bad effects. It would be different if each blue arrow could be undone independently. That’s what stratified indifference will attempt to do.

Stratified indifference

Stratified indifference is an attempt to deal with the problem above. I initially conceived of the idea of conditioning on various outcomes (such as the outcome of the lottery), but it wasn’t clear what we could condition on. Instead, we can look at utility values.

Assumptions

Let be the default action, and model the AI as taking in observations followed by actions.

Probability flow

Let’s define what it means for probability to flow from certain values to others. Let be the indexing variable that is if the humans choose and otherwise (. Model the universe as causal Bayes net.

Then if we set the AI’s action to and assume (hence that will be chosen), we get a conditional probability distribution over all the variables in the causal graph. Restrict this distribution to all nodes that are not descendants of , and define this as and corresponding expectation . Similarly, we can define for .

Stratification

In order to stratify, we’d want the AI to assume that any probability that flows from the situation under , is still treated as if is the correct utility under .

Therefore the indifference stratified expected utility under , for the events flowing from and , is

  • .

Examples

Applying stratification to the lottery

How would this work in the lottery example? In that case, the causal net has three nodes: , the AI’s action, , the choice of or by the human, and , whether or not the lottery is won.

Under , and are independent of each other, meaning that the probability distributions and are equal, with probability for and for .

If the AI doesn’t win the lottery, then . If the AI does win the lottery, then the utility the human chooses gets set to instead. So if the human chooses , the expected utility of is . If they choose , the expected utility of is . So the AI’s expected utility is the average of those two, namely .

Under action “the AI forces if and only if it wins the lottery”, becomes dependent on : if and only if . The stratified expected utility of is:

  • .

The only difference between expressions like and is the subsequent AI decisions. In two situations, the AI will be given a different utility to maximise: where, under , it would have lost the lottery and maximised (under it still loses, but maximises ), and where, under , it would have won the lottery and maximised (under it still wins, but maximises ).

Only in the second situation does it decide anything differently. Note that that situation comes under - as humans would have chosen under . Thus while .

Thus, since , , which is less than the expected utility under .

Same outcome, different stratified value

But what if we end up in the same situation, but for different reasons? Let be the expected value of under , and assume action increases this deterministically to with the probability of being chosen now set to . Since is irrelevant in the expression of , then , the clearly superior alternative.

What is the difference with the lottery? Simply that the expected value of is still even if is not chosen, which makes a difference in the counterfactual.

Indifference, learning, and reflexive stability

The agent is not reflectively stable (though it could be made so with compensatory returns). It has a strange kind of indifference: it is indifferent to the actual value of , so long as it can control the behaviour of its future copy. Indeed, what it cares about is the value of if it took the default action . It is a kind of counterfactual agent. So it has no particular desire to keep the mechanism that allows humans to set or , but it wants to learn what the humans would have set those to, given .