The radioactive burrito and learning from positive examples
post by Stuart Armstrong 601 days ago | 2 comments

A putative new idea for AI control; index here.

Jessica presented a system learning only from positive examples. Given examples of burritos, it computes a distribution $$b$$ over possible burritos. When it comes to creating its own burritos, however, it can only construct them from the feasible set $$f$$.

The thing to do then seems to be to sample from the distribution $$b \mid f$$. Then the idea is to measure the unnaturalness’’ or the danger of $$b \mid f$$ as $$-\log P_b(B\in f)$$, where $$B$$ is a random burrito configuration sampled from $$b$$.

An obviously contrived example: suppose that there is some distant gamma ray burst that sprays the Earth with cosmic rays, resulting in an increase in Carbon 14 ($$C_{14}$$) throughout the food chain.

All burritos sampled for $$b$$ have come from high radiation ingredients, and the system has learnt this is a feature of $$b$$. But by the time the system has to make its own burritos, the excess radiation has faded, and $$b \mid f$$ is literally the zero distribution: there is no burrito in the feasible $$f$$ set that corresponds to anything in $$b$$. The unnaturalness of $$f$$ is infinite.

Nano-filled burritos

But what if, noticing this, we tried to present a larger, less unnatural $$f$$? Just let the system have more options, for instance.

Now suppose, for example, that the burritos were wrapped in tin foil, and sometimes this ended up mixed with the food. Then $$b$$ would learn that some flexibility in the amount of metal in the burrito is possible.

Then suppose that the system decides to make burritos filled with nano-machines that carefully filter out some carbon 12 atoms. These are now valid candidates for $$b$$, and the unnaturalness of the set $$f$$ has gone down.

To emphasise: by allowing the system to stuff burritos full of nano-machines, we’ve increased the measured naturalness of the burritos.

Natural, biased, constructed

Those examples are, of course, convoluted and unlikely. But the general problem hasn’t gone away. What we were hoping for with a measure of unnaturalness, is to rule out the system deploying illicit optimsation power in the burrito. But if the training distribution is biased in a particular way, then illicit optimisation power can seem more natural, according to the definition, than anything we would informally define as natural.

That’s because building natural burritos won’t remove the bias, but illicit optimisation power could.

 by Jessica Taylor 600 days ago | link Then suppose that the system decides to make burritos filled with nano-machines that carefully filter out some carbon 12 atoms. These are now valid candidates for b, and the unnaturalness of the set ff has gone down. Wouldn’t these burritos be very unnatural since they contain nanomachines, and natural burritos don’t? reply
 by Stuart Armstrong 600 days ago | link Yes. But $$b$$ allows for burritos with metal in them and for some without. So they are pretty unnatural, but not ruled out. But all the example burritos have the same level of radioactivity, so all normal burritos are ruled. Maybe I should have chosen a better example. reply

NEW DISCUSSION POSTS

There should be a chat icon
 by Alex Mennen on Meta: IAFF vs LessWrong | 0 likes

Apparently "You must be
 by Jessica Taylor on Meta: IAFF vs LessWrong | 1 like

There is a replacement for
 by Alex Mennen on Meta: IAFF vs LessWrong | 1 like

Regarding the physical
 by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

I think that we should expect
 by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

I think I understand your
 by Jessica Taylor on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

This seems like a hack. The
 by Jessica Taylor on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

After thinking some more,
 by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

Yes, I think that we're
 by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

My intuition is that it must
 by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

To first approximation, a
 by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

Actually, I *am* including
 by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

Yeah, when I went back and
 by Alex Appel on Optimal and Causal Counterfactual Worlds | 0 likes

> Well, we could give up on
 by Jessica Taylor on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

> For another thing, consider
 by Jessica Taylor on The Learning-Theoretic AI Alignment Research Agend... | 0 likes