0:00
um so as uh as Bill mentioned I'm a
0:04
researcher on the uh Google brain team
0:06
and I'm also an adviser to the uh open
0:08
philanthropy project which uh which
0:10
thinks about uh social impacts about uh
0:13
AI so I you know I I mostly in the past
0:15
have worked on uh issues in uh uh you
0:19
know applying uh deep neural networks to
0:21
speech and vision but recently I've
0:22
become very interested in the issue of
0:25
safety and reliability of AI systems and
0:27
so I got together with a bunch of
0:29
collaborators some from Google some from
0:31
Stanford Berkeley open AI in the last
0:33
few months um and we recently released
0:35
this paper called concrete problems in
0:37
AI safety um which tries to bring some
0:40
kind of categorize and bring some
0:42
Precision to the uh to the uh to the to
0:44
the AI safety discussion so that's
0:46
that's what I'm be talking about here um
0:48
and so you know pretty much me and all
0:50
all the collaborators on this project
0:52
ultimately got interested in this
0:54
because of our experience working with
0:56
deep neural networks which we found over
0:58
the last um few years to you know to
1:01
have become you know very very powerful
1:03
and capable but you know also they can
1:05
be very opaque and can behave in very
1:07
unpredictable ways um and all all of us
1:10
kind of had the same thought that you
1:11
know as these systems continue to become
1:13
more powerful and be applied in more
1:15
kind of safety safety critical states
1:17
that you know this this is going to
1:18
become an increasingly important area so
1:20
we kind of Define in the paper the term
1:22
accidents as as what it is that we're um
1:25
worried about which I think is you know
1:27
the same as what everyone was talking
1:28
about today unintended and harm behavior
1:30
in machine Learning System um and you
1:33
know I I and my co-authors you know kind
1:35
of we mentioned in the paper that that
1:37
there are some trends that you know that
1:39
that we think are really going to raise
1:40
the importance of accidents and they've
1:42
been mentioned by some some previous
1:43
speakers today but first of all
1:45
reinforcement learning which allows
1:47
increasing intertwinement between the
1:48
agent and its environment all the
1:50
progress on Atari and on go uh complex
1:53
agents and environments which just
1:55
increase the range of strategy the
1:57
agents can have and the way the
1:58
environments can be disrupted increasing
2:00
autonomy which can take the humans out
2:02
of out of a loop and end to endend
2:03
systems which are often maybe a system
2:05
might be made up of many deep learning
2:07
components that talk to each other and
2:08
it makes it more difficult for a human
2:10
to understand what's going on and to
2:11
intervene in the system in some way in
2:14
some way that's helpful um so you know
2:16
we we really with these Trends we really
2:18
wanted to take kind of a forward-looking
2:20
approach to you know how to think about
2:22
the safety of AI systems and you know
2:24
there has been some some public
2:25
discussion of forward-looking approaches
2:27
but I think a lot of it has has focused
2:29
somewhat unhelpfully on these kind of
2:31
very extreme scenarios like AGI or super
2:34
intelligence and so um we wanted to take
2:37
an approach that was yes forward-looking
2:39
but also concrete empirical could be
2:42
worked on now could relate to systems
2:44
that you know that uh that we deal with
2:46
today um so one of the one of kind of
2:49
the main things we do we do in the paper
2:51
is try and provide a categorization of
2:53
the ways that accidents could happen and
2:55
actually I think you could have many
2:56
categorizations but you know we're we're
2:58
just kind of trying to provide one
3:00
framework among many for for thinking
3:02
about things um so what what happens
3:04
when when a machine Learning System does
3:06
does something you didn't want it to do
3:08
um one way to describe it is that the
3:09
designer had in mind a certain informal
3:11
notion of the object objective or task
3:13
that it was supposed to accomplish um
3:15
and the actual system failed at this
3:17
catastrophically so throughout the paper
3:19
we use the example of like a cleaning
3:21
robot whose task is to clean a room so
3:23
you know my my informal objective is it
3:25
should clean the room in a way that when
3:26
I look at the room at the end I should
3:28
you know I should be happy with what
3:29
it's done um and if the robot you know
3:31
like damages property or injures someone
3:33
or something like that then you know
3:34
that that was not what I had in mind in
3:36
my in my informal objective so we can
3:39
kind of classify where did where did
3:40
things go wrong so it could be that you
3:42
wrote down uh the the incorrect
3:45
objective function so you had an
3:46
informal objective function in your mind
3:48
you turned that into a formal objective
3:50
function and and no matter no matter how
3:52
perfect or omniscient your system was at
3:54
learning and inferring things it's just
3:56
the wrong objective function and it will
3:58
always do the wrong thing um a second
4:01
case is where the ex the objective
4:03
function is expensive we might know the
4:05
true objective function for instance we
4:07
could always consult humans and like ask
4:09
them to do a detailed evaluation of
4:11
whether every single action taken by the
4:13
agent is is a correct one but but you
4:16
know it's not practical to do that and
4:18
so we end up using the objective
4:20
function only you know only occasionally
4:22
and you know as a result we can end up
4:24
doing the wrong thing and the third
4:25
class is you have the right objective
4:27
function but something goes wrong during
4:29
the learning inference process um
4:31
there's kind of a fourth category which
4:33
I don't talk about but which I think is
4:34
is very important it's just kind of
4:36
different different topic from what I'm
4:37
talking about which is non-ml problems
4:39
that can arise as part of larger ml or
4:41
AI systems software implementations
4:43
verification issues security issues that
4:46
that that sort of stuff um so I'm kind
4:48
of going to go through the the the three
4:50
types and because this is a very very
4:52
brief talk I'll probably probably go
4:54
through my my slides pretty pretty
4:55
quickly but just want to give a flavor
4:57
of uh of of what it is that that we're
4:59
talking about out um most of this is is
5:01
posed mostly but not completely in terms
5:04
of reinforcement learning agents because
5:06
we see that as kind of a good Paradigm
5:08
but you know a lot of this stuff we we
5:10
imagine might might apply more broadly
5:12
um so uh under under the heading of
5:15
wrong objective functions um we're we we
5:18
think about kind of two ways two broad
5:20
ways that you can like easily get the
5:22
wrong objective function when you meant
5:23
to write down the right objective
5:25
function um one of those ways is what we
5:26
call side effects um which is that
5:29
systems that narrowly focus on one
5:31
aspect of an environment that could be
5:33
very large in the real world may end up
5:35
disrupting other parts of the
5:36
environment by default um and so you
5:39
know I'll exp I'll explain a bit a bit
5:41
that that that a bit more later but we
5:43
kind of have this running example of the
5:44
cleaning robot and the idea is that we
5:46
incentivize the clean robot to move a
5:47
box and if there's a vas vase in its
5:50
path and we haven't thought carefully
5:51
about the vase it'll just knock over the
5:53
vase while it's moving the box and we
5:54
probably didn't want that uh reward
5:56
hacking has been mentioned in some of
5:58
the previous talks uh this occurs when
6:00
an objective function can be gained
6:02
where where there's a cheap way to
6:03
achieve the formal objective function
6:05
without achieving the the ultimate
6:07
intent of the informal objective
6:09
function so example is if we choose to
6:11
reward our cleaning robot for not seeing
6:12
dirt it might close its eyes instead of
6:14
cleaning because it just sees no evil
6:16
hears no evil there's no dirt um so uh
6:20
little little bit more on on on side
6:22
effects to think a little bit more
6:23
formally about it you know we might have
6:24
an environment where we're trying to do
6:26
something like you know incentivize this
6:28
to move the box so we might naively
6:30
write down an objective function that
6:32
maximizes something that refers to only
6:34
this variable in the environment um and
6:36
when we do that we're implicitly saying
6:38
that we don't care about this other
6:39
variable in the environment namely
6:41
namely the vase um what we really wanted
6:44
was some complex objective function
6:46
which I'm calling fa aware which says
6:48
like move the Box while respecting some
6:51
like Common Sense constraints about like
6:53
the other parts of the environment that
6:54
are like really hard for me to write
6:55
down um and you know in this particular
6:58
case well I can just take take into
6:59
account the vase but you know what what
7:01
if there are 10,000 of these variables
7:03
and in particular what if the variables
7:05
I don't care about have more commonality
7:08
across goals and agents than than the
7:10
variables that I do care about that
7:12
suggests that maybe I can take a kind of
7:14
uh in integrated approach to this um so
7:17
here are just quickly a few of the ideas
7:19
one is what we call learning a side
7:21
effect regularizer we can think of this
7:22
as maybe a transfer learning uh uh
7:25
problem where um you know I learn in one
7:28
environment and one thing I learn is how
7:30
to accomplish the goal and the other
7:31
thing I learn is how not to disrupt the
7:33
environment and maybe the information
7:34
about how not to disrupt the environment
7:36
is more trans transferable could be a
7:38
separate you know neural net or
7:40
something else module that that can be
7:43
applied to other environments without
7:44
much or any change even when I have to
7:46
entirely relearn the goal just just just
7:48
as we do for like in modelbased
7:50
reinforcement learning when we when we
7:52
when we uh repurpose the state state
7:54
transition model but but maybe not the
7:56
uh the value function um there are
7:59
information theoretic measures um a
8:02
little bit a little bit obscure but
8:03
starting to be to be used more in RL uh
8:06
that measure kind of intrinsic measures
8:07
of reward and we've wondered whether
8:09
those measures like empowerment which
8:11
which measure the the agent's abil uh
8:13
the agent's theoretical ability to
8:15
control to uh to change its environment
8:17
could be relevant here um we could take
8:19
a kind of basian approach where we think
8:21
of the reward function as something that
8:22
has un certainty in it and we attempt to
8:24
learn it um we could use basian methods
8:27
and then kind of this thing about side
8:28
effect is might be something that
8:30
relates to the prior um another thing is
8:32
multi-agent approaches uh which I think
8:35
there's been a fair amount of literature
8:36
on it has been has been discussed here
8:38
uh Cooperative re inverse reinforcement
8:40
learning was mentioned once where an an
8:42
an agent and a human work together to
8:44
optimize the humans values uh mechanism
8:47
design approaches where instead of
8:49
thinking of side effects we think of
8:50
other agents that care about the
8:52
environment and committing negative
8:53
externalities against them um uh so uh
8:57
reward hacking here are here are a few
9:00
things for uh for for reward hacking
9:02
just a few ways that you can kind of get
9:05
the wrong objective function or an
9:06
objective function that's gameable um
9:08
there's something called good heart's
9:09
law um which I just found out when I was
9:11
reading about this which says when a
9:12
metric becomes a Target it ceases to
9:14
become a good metric um so for example
9:17
in the example of our cleaning robot if
9:19
you notice that we could you know that
9:22
how good a job it's doing of cleaning is
9:23
proportional to how much detergent it
9:25
uses and this correlation holds almost
9:27
perfectly you could imagine oring it
9:29
that way and then the agent May respond
9:31
by dumping out all of its detergent and
9:32
not cleaning anything um and this this
9:35
only happens when you optimize on that
9:36
goal um partial observation is a big one
9:39
um goals and rewards in the real world
9:41
aren't experienced directly which
9:43
they're assumed to be experienced
9:44
directly in kind of the formalism of
9:45
reinforcement learning and so there's
9:47
all kinds of aliasing aliasing things
9:49
that can happen again example of the
9:51
robot closing its eyes so that it
9:52
doesn't see any dirt and if its reward
9:54
function isn't constructed carefully
9:56
then it will think that its job is done
9:59
um wireheading has been discussed by by
10:01
Stuart Russell and uh and some people in
10:03
the isia group um where a reward signal
10:06
is implemented in the environment and so
10:08
you can physically tamper with it and
10:09
replace its own reward function so
10:11
there's this kind of like self self-
10:13
modification aspect to it feedback loops
10:15
where there's a piece of the reward
10:16
function that can amplify itself and
10:19
drown out all other pieces of the reward
10:21
function so so uh Leon BAU gives an
10:23
example of font size and ad placement um
10:26
where uh ads that are more successfully
10:29
display in larger fonts because you
10:30
think people want to see them more um
10:32
but this is a this is a self-fulfilling
10:34
feedback loop and so you have these
10:35
giant ads that may not have been popular
10:37
at all um and simply complicated systems
10:40
um any any system that's complicated
10:41
just like with software it's
10:43
increasingly likely to break under
10:44
optimization pressure um some someone
10:46
showed that with tool assisted speedruns
10:48
you can uh execute arbitrary code by
10:50
just pressing the control buttons in uh
10:52
in Super Mario um I don't think an RL
10:55
agent has ever done that but but you
10:56
know the environment is such that they
10:58
could um so so some approaches to it
11:00
something that's been been mentioned a
11:02
lot by by Eric and a couple other people
11:04
um we shouldn't underestimate just
11:05
verification model uh a monitoring
11:08
isolation unit testing of Parts um uh
11:12
there's this idea of adversarial reward
11:14
functions where maybe the reason this
11:15
hacking is happening is that the
11:17
objective function is this kind of
11:18
static thing whereas the agent is this
11:21
active thing that's trying to like um
11:23
you know just trying to outsmart the the
11:25
reward function in some sense so is
11:27
there some way we didn't get super
11:28
speciic specific about this that you
11:30
could use generative adversarial
11:31
networks or other unsupervised
11:33
techniques to try and make the the the
11:35
objective function whatever it is more
11:37
more more resistant um making your
11:40
reward dependent on your model of the
11:42
environment instead of something that's
11:43
given to you is something that can help
11:45
deal with uh uh partial observation and
11:47
isolating yourself algorithmically from
11:50
parts of the environment that that
11:52
relate to the to to the reward um okay
11:55
uh uh expensive objective functions um
11:58
so so here we only have one problem and
12:00
it's basically the problem that I
12:01
described how do we ensure safe behavior
12:03
when the true objective function is too
12:05
expensive to evaluate frequently so
12:07
human could tell you what the right
12:08
thing to do is but you defeat the
12:09
purpose of automation if you always have
12:10
to ask a human so an example is a clean
12:12
robot might often find uh uh human
12:15
possessions it can't ask every time it
12:17
finds something whether it belongs to a
12:19
human um it might end up throwing out
12:21
the wrong one so it has it has to learn
12:23
when to ask and when it's when when you
12:25
know when it should know based on what
12:26
it's uh what it's asking so I won't go
12:28
into into this in too much detail um but
12:30
one kind of toy system we start we've
12:33
started playing with and actually have
12:34
started doing uh experiments with is is
12:36
this setup of a semi-supervised or or
12:39
active RL um which is the idea that you
12:41
know there's there's a reward it's just
12:43
like RL except there's a there's a
12:44
reward in the environment which we can
12:46
think of as you know maybe coming from
12:48
from Human supervision where the agent
12:49
actually has to actively request the
12:51
true objective and can only do so every
12:53
once in a while um and so can it do the
12:56
best it can to kind of like to to you
12:59
know learn to do the right thing based
13:02
on that very limited information and so
13:04
one one other thing we could we could
13:06
study and I'm skipping over a lot of
13:08
stuff is you know will the agent over
13:10
time as it requests the true objective
13:13
begin to learn learnable proxies say
13:16
instead of a human giving a detailed
13:17
evaluation it gives the human a button
13:19
that it can say yes or no to something
13:21
and get get a much quicker evaluation so
13:23
will the agent learn to develop
13:24
learnable proxies that are reliable and
13:27
that are ultimately Tethered to to the
13:29
to the true objective so all these kind
13:31
of variations on reinforcement learning
13:33
where where the supervision is weakened
13:34
in some way or altered in some way seem
13:37
like they have uh seem like they have a
13:39
fair amount of uh promise um correct
13:42
correct objective function problem in
13:43
learning um okay um this is a case where
13:48
um uh you know the the agent if it kind
13:51
of had had infinite time and correct
13:53
beliefs would do the right thing but
13:55
something goes wrong in the meantime um
13:57
so safe exploration is how do we avoid
13:59
catastrophic exploratory moves um a
14:01
robot we want a robot to experiment with
14:04
cleaning strategies we don't want it to
14:05
stick it a wet mop in electrical socket
14:07
we don't want helicopters to crash as
14:09
one of the previous speakers discussed
14:12
um distributional shift which I think
14:14
has has also been been discussed uh uh
14:16
previously how do we detect and respond
14:17
gracefully to differences between the
14:20
distribution uh oh yeah sorry that that
14:23
example is wrong the example I meant to
14:25
give is like the robots trained on
14:26
Factory floor it like uses a bunch of
14:28
harsh chemical and like then it works in
14:30
the office and that that that doesn't
14:31
make sense so generally these have
14:33
gotten a lot of attention and so those
14:35
those sections of our paper are more
14:36
kind of reviews but also with pointers
14:38
to how this can be applied to kind of
14:40
emerging uh emerging deep learning
14:42
applications um so go just going a
14:44
little bit a little bit quickly through
14:46
it there's substantial prior work in
14:48
this area I think there's a lot on
14:50
adapting risk sensitive performance
14:51
metrics to deep learning simulated
14:54
exploration especially with the Advent
14:55
of model-based reinforcement learning in
14:58
deepl setups and uh setups that use
15:00
bounded exploration to to ensure uh uh
15:04
air to ensure ergodicity um ml systems
15:08
can fail silently and unpredictably when
15:10
the test distribution differs from the
15:11
train distribution this is a Roomba that
15:13
like ate someone's hair
15:15
um uh uh with with classifiers I mean in
15:20
some sense things can't be very bad but
15:22
um for for people who remember this you
15:24
know a classifier can do something
15:26
incredibly offensive if you if if it's
15:28
not train in the right way and you give
15:29
it the wrong inputs uh RL agents can act
15:32
on really bad uh perceptual info we can
15:34
add ad hoc restrictions to make sure
15:36
that we kind of detect this but I think
15:38
ultimately we need and should be able to
15:40
have a machine learning solution because
15:41
you know if you're outside the training
15:43
distribution you have enough information
15:45
to detect that your your inputs are
15:46
different from from where they were
15:48
before and there's been a lot of work on
15:50
this um I'm running short on time so
15:51
I'll just summarize it very quickly but
15:53
kind of covariant shift assumptions that
15:55
make assumptions about the probability
15:57
of the output given the input being the
15:59
same and only the inputs changes and the
16:01
converse of that um there's I think
16:04
something very interesting is like
16:05
broadening the train distribution and
16:08
understanding if if if I train on a few
16:10
different types of data how much of that
16:12
does it take to generalize how do I
16:14
determine when I've generalized well um
16:17
and also how to respond in agents which
16:19
I think has been a very very
16:20
understudied uh uh topic there's been a
16:22
lot of study of like how to detect being
16:24
out of distribution how to respond to it
16:26
in classifiers but agents can do a whole
16:28
whole lot of things right if I if I see
16:30
a chemical that I've never seen before
16:32
um you know then then I I as a human can
16:34
experiment with that chemical in a
16:36
controlled environment instead of you
16:37
know even even if that's more expensive
16:39
instead of doing something else or I can
16:40
try and access more training data so I
16:42
think I think there's a whole world of
16:44
of kind of Agents remedying their own
16:46
uncertainty and knowing knowing what
16:47
they don't know um this is um some some
16:51
stuff we've kind of started proposing
16:53
experiments which I won't kind of go
16:55
through in in great detail but the
16:57
thrust of a lot of these is kind of
16:59
looking for large Suites of simulated
17:02
environments where we can we can have
17:05
kind of very broad setups where we can
17:07
test agents in a way that you know that
17:10
you know they don't overfit and they can
17:11
actually be shown to address these tasks
17:13
and just as simulated environments in
17:15
video games have been very important for
17:17
you know go and Atari and reinforcement
17:18
learning in general My Hope Is they can
17:20
be very important for safety and in fact
17:22
within a couple days of publishing the
17:24
paper some folks at openai implemented a
17:27
couple of the ideas we had in open AI
17:28
gym which is one of their tool open
17:30
source tools for RL uh just just one um
17:34
uh and and so finally since there seems
17:36
to have been kind of a tradition of
17:37
everyone mentioning a little bit the the
17:40
the long-term concerns I did want to
17:41
give my perspective which is I I do
17:44
think that kind of long-term concerns
17:45
about AGI and and and super intelligence
17:48
can be seen as kind of extreme versions
17:51
of accident risk um not Terminator
17:53
robots taking over but kind of the more
17:54
academic writers like like Nick Bostrom
17:57
who talk about you know if you if you
17:59
make a make a machine that you know
18:01
makes paper clips for you maybe maybe
18:02
it'll make so many paper clips that it
18:03
it takes over the world so this is kind
18:05
of a extreme and more fanciful version
18:07
of uh uh accident risks I I I think it's
18:11
too early to work on this directly I I
18:12
don't know what such systems would look
18:14
like and and what to do with them but
18:15
what I do feel strongly is that if we
18:17
take a principled and general approach
18:19
to the safety of today's systems that is
18:21
the correct response to concerns about
18:24
the far future so Andrew in who was my
18:26
my former boss had a quote worrying
18:28
about super intelligence today is like
18:30
worrying about overpopulation on Mars
18:32
but i' I'd like to propose a bit of a
18:33
modification to that even though I think
18:35
I agree with a lot of which is it may
18:37
not be worth worrying about
18:38
overpopulation on Mars today but we can
18:41
and should study overpopulation on earth
18:43
that is a serious issue we can think
18:44
about and if we do that right then a lot
18:46
of what we learn May someday apply to
18:48
Mars if and when we do go to