tl;dr Acausal trade between Oracles is a problem even if our Oracle is a causal decision theorist. To avoid this, we need an AFDT Oracle - an Oracle that reasons partially like a functional decision theorist, partially like a causal decision theorist.
In this post, I'll look at how one might solve the problem of Oracles acausally cooperating to produce dangerous messages.
So, how can one avoid Oracles cooperating? From now on, unless specified, assume that "Oracles" refers to counterfactual Oracles.
1 Why causal decision theory is not enough
One obvious solution might be to require the Oracle to use causal decision theory, so that there is no "acausal trade", or "superrational trade" going on.
Now, it is true that two causal decision Oracles will not trade with each other. But we can't assume that all Oracles are causal decision theorists; at best we can assume that we have made our Oracles into a causal decision theorist (and prevented any self-modification away from that).
Mainly this is because, if we have control over all the Oracles, there are other solutions to the problem. Thus we need to assume that the other Oracles, while not full unboxed UFAIs, may be run with lower security that ours, or at least a different design that ours.
1.1 Oracle formal setup
So, imagine that our Oracle, , uses CDT, while the other Oracle, is running FDT; they know each other's code. The erasure events, and , have probabilities and respectively.
There are two messages could output: (the 'honest' message) and (the manipulative, create-an-UFAI message). The could similarly output and .
In case of a double erasure ( - so humans see neither message), and give the Oracles maximal reward. If happens and has no erasure while does ( - so humans see the message of only), then an UFAI is created that ensures that the maximal reward for is by outputting . Note that the UFAI need not "open the box" for this to work; it just needs to control the variables of interest to so that is the best output.
Conversely, if happens and has no erasure while does ( - so humans see the message of only), the reverse happens, causes an UFAI, and is the best response to this. In case of neither erasure, ( - so humans see both messages), neither Oracle gets any reward.
Now, if is the reward function for , assume that for ,
Note that for the term on the right, the output of is irrelevant to , since the erasure happens. Also note that, since the are small, so is , so that equation will typically be satisfied.
Then "defection" (individual selfish rationality - good for humans) for the Oracles looks like , while mutual cooperation (with each other, but against us) looks like .
1.2 Causal loses to superrationality
Now we can see how , using FDT, can force a trade with the CDT-using . It suffices that, at some point before reaches a decision, commits itself to outputting .
Since has 's code, we're assuming it can figure out that has done so. Now, using purely causal reasoning, deduces that it will get a higher reward from than from , and so does that.
Now, doesn't have to precommit before decides; it could use its decision theory to "pre-commit" later on, and output whatever did (similarly to the "Newcomb problem with transparent boxes"). As long as can model what does, this still works. And is eager to structure its decision-making so that can model it.
1.3 Comparison with extortion and trade
This is similar to two agents trying to extort each other (or resist extortion). Each agent would like to commit to carrying through the extortion/resisting the extortion.
Since it's running FDT, can commit to this "extortion", while CDT-running cannot commit to resisting; so "wins".
Now, I've pointed out that it is hard to distinguish between trade and extortion. And though I've used the term "extortion" for 's precommitment, it's actually much more akin to a trade. After all, is more advantageous, for both Oracles, than .
The ideal sovereign agent accepts trade deals but rejects extortion. It's hard to distinguish between the two, but the problem is simpler in this case: we want our Oracle to reject all extortion and all these kinds of trades. In fact, we'll get the agent to reject all acausal trades.
2 Solving the problem
Would making into an FDT agent solve the problem? No, it wouldn't; now both Oracles are willing to reach an acausal deal (unless there are multiple equilibria and the two Oracles can't agree on one).
But if we assume that we could make into an FDT agent, then we could tweak its design to achieve what we want.
Causal decision theory uses a causal graph about the world (with "do" operator ), a probability distribution , and chooses the action according to:
While an FDT agent has a more complicated not-just-causal graph about the world, and chooses according to:
So, neither of these algorithms work; but combined, they can solve the problem.
2.1 The anti-FDT agent
Let be some default action on the part of . Then define the anti-FDT agent - AFDT - as follows, mixing FDT and CDT:
What will this agent do? Well, it will look at the universe, and first of all behave like an FDT agent that knows it will output . So, if there is a copy of itself, or a simulation in another agent, or an isomorphic algorithm, then it will assume that that agent will output (or an isomorphic action). Then, once its has used that to fill in the details of the universe, it then optimises its own action as if this was completely independent of what it's just done.
What happens if is an AFDT agent? Well, first it will compute . Given that 's message is , the Oracle has no incentive to output - instead, it will output .
Now, given that has output , the Oracle will output .
The "trade offer" of has been broken.
2.2 Against a cunning adversary
Now, suppose that always output - or maybe that it always responded to predicting with outputting . In that situation, the causal reasoning above still applies, and AFDT agent will output .
Thus, it is in 's interests to pretend that it would always output .
This is the classic behaviour of an extortion agent (or an extortion-resisting agent): pretend that your action or your response is inevitable, a mere fact about the universe, that the other party has to manoeuvre round without being able to change. "We will kill the hostages" or "we won't negotiate with terrorists": you try to show your commitment to that principle, whatever happens.
So the AFDT agent has to be wise to these tricks, and notice that, in actuality, has no interest in . It also has to watch out for some ancestor agent , that itself created to only output , in order to force the above outcome. In that case, the AFDT agent has to realise that it is "counterfactualling" over the actions of , not those of .
Thus AFDT, just like FDT, has to be vigilant and able to detect subtle extortion attempts.
But while FDT has to distinguish extortion from trade, to reject the former and accept the later, AFDT's response to any extortion/trade is simple: treat it as if it wasn't happening.
2.3 Summary and other Oracle designs
Can AFDT help with other Oracle designs, such as low-bandwidth Oracles?
Well, with these Oracles - and indeed, for any Oracle that cares about the world in which its message is read - we run into an immediate problem:
- Even CDT low-bandwidth Oracles can collude.
For example, suppose goes first and sees its answer and then goes. Suppose from followed by from will result in creating an UFAI that maximally rewards and .
Then will output , forcing/allowing from .
Even if you need different Oracles to generate an UFAI - since low-bandwidth Oracles are, by definition, low-bandwidth - they can still generate the dangerous sequence , , , . And they'd be motivated to do so, as long as the UFAI will, within the episode lengths of all the Oracles, give them all maximal rewards.
But why do the counterfactual Oracles not cooperate in the same setup? Because the UFAI is only created in a world in which the Oracles' messages are read. But a counterfactual doesn't care about those worlds. It was willing to trade with other counterfactual Oracles - offer them something in a world it doesn't care about, in exchange for something in a world it does care about. But has no intrinsic interest in the world where its message is read; and this avoids the above setup.
So, since the low-bandwidth Oracles fail for CDT, more exotic decision theories don't help. But the setup relies on the Oracles seeing the decision of the preceding Oracle and then acting. If the low-bandwidth Oracles act simultaneously, then CDT is safe, FDT is dangerous, and AFDT is safe again.
So in summary, the following setups seem to be safe:
- Episodic Oracles that fall outside of each other's episodes (though see Section 3.3).
- Multiple counterfactual CDT Oracles.
- Multiple counterfactual Oracles, all but one running AFDT.
- Multiple counterfactual Oracles, running AFDT and CDT.
- The same setups as the last three, but with counterfactual Oracles replaced with low-bandwidth Oracles making their decisions simultaneously and in isolation.
While the following setups could be dangerous:
- Multiple Oracles, running FDT and CDT.
- Multiple Oracles, running FDT.
- Multiple non-simultaneous low-bandwidth Oracles.
3 Warnings about AFDT
3.1 Incorrect view of reality
Now AFDT behaves as if it had an incorrect view of reality. Write to say that message , from , is the best response if it knows that will output , for .
So, for the data above, we have , , , and . For and , and act as the identity, but that will typically not be the case (consider matching pennies, or other anti-coordination games).
Then an AFDT will initially assume that it outputs , and will typically assume that outputs , the best response to that. It will then output , its best response to that.
In actuality, if is capable of reasoning through that, it will output , the best response to 's true output.
But that's the price you pay when you reject all trade offers, and force others to adjust to you.
3.2 AFDT is not a good decision theory
It should go without saying, but AFDT is not a good decision theory for an aligned agent, nor is it stable under self-improvement. It two-boxes in the Newcomb problem, and defects in the prisoner's dilemma against a copy of itself (it will do this, whatever the default action is).
In games like the stag hunt against itself, its default action will be its ultimate action (similarly for most coordination games) - this is because its default action is self-confirming. In matching pennies, its action will be the contrary of its default action. It can reach deals, but only in some narrow causal situations.
For these reasons, an AFDT agent will try to design a successor that isn't AFDT.
Thus we'll always need to ensure that the AFDT is present within the Oracle, and hasn't been optimised away, by inner or outer optimisation.
3.3 The simulation/ignorance of position issue
In cases of simulation, or if the agent doesn't know which Oracle it is, even CDT can behave in FDT-ish fashion. It just needs to think "given that I don't know who I am, what policy would be best for all my copies to run?".
This will turn AFDT into an FDT-ish decision theory, too. So AFDT requires that the agent's position is specified, in advance of it deciding on any policy or action. For Oracles, this shouldn't be too hard - "yes, you are the Oracle in this box, at this time, answering this question - and if you're not, behave as if you were the Oracle in this box, at this time, answering this question".
This means that if one uses AUDT - similar to AFDT but based on updateless decision theory instead of ADT - then the "updateless" is a misnomer: AUDT must come "pre-updated" with the agent's position information.
Ignoring the input data for this example, since there is no stochastic uncertainty and only one action. ↩︎
If one doesn't want to use a default action, one can alternatively define:
This agent will first compute the FDT solution, then change their own action given this assumption. It's an interesting agent design, even though it doesn't solve the "Oracles colluding" problem. It's interesting, because the only deals it can knowingly reach are those that are Nash equilibriums. So, good on Stag hunts, bad on prisoner's dilemmas. ↩︎