Intelligent Agent Foundations Forumsign up / log in
Counterfactually uninfluenceable agents
post by Stuart Armstrong 297 days ago | discuss

A putative new idea for AI control; index here.

Techniques used to counter agents taking biased decisions do not produce uninfluenceable agents.

\(\newcommand{\vd}{P}\newcommand{\vdh}{\widehat{\vd}}\)However, using counterfactual tools, we can construct uninfluenceable \(\vdh\) and \(\vd\), starting from biased and influenceable ones.

Why is uninfluenceable necessary? Well, an unbiased agent can still take actions such as ‘randomise their own reward (independent of human choice)’, as long as the choice of their randomisation is unbiased. For instance, let \(\pi_0\) be some default policy, and let the tidying (\(R_0\)) versus cooking (\(R_1)\) agent currently consider both options to be equally likely. So, ultimately, the human will choose one or the other equally: \(\mathbb{E}_\mu^{\pi_0}P(R_0)=\mathbb{E}_\mu^{\pi_0}P(R_1)=1/2\). Then if the agent chooses to randomise its own reward immediately with \(50\%\) probability, this is an unbiased policy. And one the agent may prefer to do, because then it will know its own reward immediately, rather than waiting for the human to decide.

As usual, the notation of this post is used.

The counterfactual distribution

Let \(\mu=(\mathcal{S}, \mathcal{A}, \mathcal{O}, T, O, T_0)\) be the environment, \(P\) a potentially biased and influenceable distribution, and \(\pi_0\) some default policy.

Then define the counterfactual reward learning distribution \(P^{\pi_0}_\mu\) on the reward \(R\), given history \(h_m\), as:

  • \(P^{\pi_0}_\mu(R \mid h_m)=\sum_{s\in\mathcal{S}} \mathbb{E}_{\mu}^{\pi_0}[P(R) \mid s_0=s] \mu(s_0=s \mid h_m)\).

Thus \(P^{\pi_0}_\mu(R \mid h_m)\) is estimated by using \(h_m\) to compute the probability that \(s_0=s\), for each \(s\), and then estimating the (counterfactual) expectation of \(P\) given \(s_0=s\) and the default policy \(\pi_0\).

It’s not hard to see that \(P^{\pi_0}_\mu\) is uninfluenceable: given knowledge of the initial state, it’s just \(\mathbb{E}_{\mu}^{\pi_0}[P(\cdot) \mid s_0=s]\), which is independent of the agent’s actions. The learning process is simply about figuring out what the initial

Dependence on POMDP structure

Note that if two environments are counterfactually equivalent, they can still generate different \(P^{\pi_0}_\mu\) even for the same \(P\) and \(\pi_0\).

This can be seen immediately from examples \(\mu\) and \(\mu''\) from this post, which are counterfactually equivalent.

In that setting, \(a^w\) corresponds to waiting for a human to decide between \(R_0\) and \(R_1\), while \(a^r\) corresponds to the agent randomising their own reward.

Set \(P(R_i \mid s_0a^w s^{wi})=1\) and \(P(R_i \mid s_0a^w s^{ri})=1\) – the final state determines \(R_i\), and let the default policy be \(\pi_0=a^w\), the wait action.

Since \(\mathbb{E}_{\mu}^{\pi_0}[P(R_i)]=0.5\) and \(\mu\) has only one possible state for \(s_0\), \(P_{\mu}^{\pi_0}(R_i)=0.5\) is the only possibility.

In contrast \(\mathbb{E}_{\mu''}^{\pi_0}[P(R_i) | s_0=s_0^i]=1\), so \(P_{\mu''}^{\pi_0}(R_i \mid s_0=s_0^i)=1\).

Thus \(P_{\mu}^{\pi_0}\neq P_{\mu''}^{\pi_0}\).


What could we use for \(\pi_0\)? There are two natural choices: a default where \(\pi_0\) does nothing (equivalent with the agent not being active or on), or \(\pi_0\) being a pure learning policy for \(P\). Since a pure learning process does not have problem with bias or influence (it simply wants to learn), but could be dangerous if unconstrained, having this sort of ‘counterfactual learning’ might be a good idea (though be careful of the incentives that a badly defined pure learning process might have).

For an example: imagine the agent’s correct reward is what was written on a certain paper an hour ago. This is very clearly uninfluenceable: the agent simply needs to learn data that is out in the universe. If instead the agent’s correct reward was what would be written on a certain paper in an hour, then it’s clearly influenceable: the agent can simply write what it wants on that paper.

The counterfactual (for \(\pi_0=\)“do nothing”) is then simply ‘what would have been written on the paper, if the agent had done nothing’. If the agent can figure that out early, then it doesn’t care about the paper or the writing at all, except as far as its counterfactual evidence.

Thus this model is equivalent with the old stratified agents.





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 | 0 likes

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

Without reading closely, this
by Paul Christiano on Policy Selection Solves Most Problems | 1 like

>policy selection converges
by Stuart Armstrong on Policy Selection Solves Most Problems | 0 likes

Indeed there is some kind of
by Vadim Kosoy on Catastrophe Mitigation Using DRL | 0 likes

Very nice. I wonder whether
by Vadim Kosoy on Hyperreal Brouwer | 0 likes

Freezing the reward seems
by Vadim Kosoy on Resolving human inconsistency in a simple model | 0 likes

Unfortunately, it's not just
by Vadim Kosoy on Catastrophe Mitigation Using DRL | 0 likes

>We can solve the problem in
by Wei Dai on The Happy Dance Problem | 1 like

Maybe it's just my browser,
by Gordon Worley III on Catastrophe Mitigation Using DRL | 2 likes

At present, I think the main
by Abram Demski on Looking for Recommendations RE UDT vs. bounded com... | 0 likes

In the first round I'm
by Paul Christiano on Funding opportunity for AI alignment research | 0 likes

Fine with it being shared
by Paul Christiano on Funding opportunity for AI alignment research | 0 likes


Privacy & Terms