Intuitive Explanation of AIXI

post by Thomas Larsen (thomas-larsen) · 2022-06-12T21:41:36.240Z · LW · GW · 0 comments

Contents

  Setting
  Motivating Example
  Formalization of 2-step environment
  Generalization to m-step environments
  The Solomonoff Prior 
  And finally... AIXI
  Conclusion 
None
No comments

AIXI [? · GW] is a mathematical notion of an ideal RL agent, developed by Marcus Hutter. The famous formula for AIXI is as follows: 

This math seems unintuitive at first (at least to me -- why are there so many sums???), and I couldn't find any simple introductory resources, so this post is my attempt at an intuitive explanation of what this formula means. I try to convey the intuition that AIXI is the obvious formula for an expected reward maximizer in a discrete, finite environment, following the Solomonoff prior. 

Setting

AIXI works in the following setting: There is an agent, and an environment, which is a computable function. There is a cartesian boundary between the agent and the environment, meaning that the agent is fully separate from the environment. The agent  is uncertain about the environment.

There are a  timesteps, and at each time, each timestep, the agent will perform an action and then receive an observation (a bitstring) and a reward (a number). We will denote the action, reward, and observation taken at the -th timestep as , and  respectively. 

We want our agent to maximize the total reward: . We assume that the environment is a program with source code , which takes as inputs the agents actions and outputs a sequence of observations and reward:   .[1] 

Motivating Example

Suppose that we have the following game, where again at each timestep, you can choose between  and . However, this time, you are not sure which world you are in -- you have multiple codes that might be running the universe. For example, consider the following game tree: 

 

There are 2 timesteps, and at each timestep you can choose from two actions: L or R. However, in this game you also have uncertainty: after some of your actions, you have uncertainty, represented by the pink and purple branches. We are completely uncertain over each of these splits, and they are independent. At each timestep, you recieve the reward given in green. Think about how you would which action to take first. (You might need to get out pencil and paper!) 

Seriously think for at least 5 minutes (by a timer!) about this, or until you get it. 

Here's the most intuitive approach to me: we proceed bottom up, computing how much expected reward there is at each node. The first step is to collapse all of the uncertainty in the last layer. There is only uncertainty in the bottom left node, in this example, and so we simply compute the expectation: , and replace that node with a  expected value: 

Now, at the bottom of the graph, we are faced with 4 decisions over which action to take. However, it is pretty clear what our agent should do in each of these situations: take the action that maximizes expected reward. So going form the left of the graph to the right, we take L (+2), L (+3), R (-1), and R (+3). Thus, we can add these into the rewards from the first layer.  

The added values represent total future reward at that point in the game tree.  Now, we are back to uncertainty, so we take the expectation at each node: 

And thus we see that taking L is better than R, for expected total reward of . So an ideal agent will choose action L at the first timestep, in this example. 

Formalization of 2-step environment

We followed a specific, deterministic procedure, which we can write down into a formula for finding the action that gives us the largest expected reward. The procedure we followed was starting at the bottom later of the graph, and then 

  1. taking the expectation over rewards. 
  2. choosing the action with maximum expected future reward. 
  3. repeating 1-2 for the layer above. 

For this example with two actions and two timesteps, writing this in our notation gives: [2]

We can evaluate this expectation, which is just the EV of the best action, because we are an ideal agent. That is: 

Substituting this in yields: 

We can rearrange the above expression to something that is more algebraically naturally by moving the  inside the second sum, and by realizing that the second action doesn't effect the first reward, so . Then we combine the two probabilities to get . Substituting this in gives a cleaner algebraic representation of the ideal action: 

Generalization to -step environments

Generalizing this to the -th timestep with  total actions is straightforward, we just continue to mix these expectations.  

To see this, start reading the formula from right to left. 

One last point: Even though a gave a tree with probabilities in it, the environment here is not stochastic. There is a true program, , that deterministically maps actions to rewards, and our uncertainty comes from just not knowing which  is correct. All of our uncertainty is in the mind [LW · GW]. 

The Solomonoff Prior 

In the previous section, I simply gave you the probabilities that you believed over the possible world. But what if we didn't know these probabilities? We need a prior that we can then update. 

Recall that we modeled the world as some program . Occam's razor [LW · GW] gives us a natural way to weight the likelihoods of these different programs according to their simplicity. We'll use length as a measure of simplicity. The Solomonoff prior [LW · GW] assigns probability to each program  equal to the inverse of the length of the code that outputs them. 

Here,  denotes the length of the program . Recall that we defined: 

Expanding over the possible programs that could output that sequence gives: 

The probability of seeing the output  is equal to all of the different universe source codes , added up according to their probability.

And finally... AIXI

Plugging in the Solomonoff prior into the previous formula gives 

The key things to understand here are: 

Conclusion 

In this post, we saw that AIXI arises very naturally from trying to maximize expected value on any discrete step finite environment, so long as the environment is a computable function.  

So this seems pretty great, but of course one has to remember a few key limitations: 

  1. The Solomonoff Prior is uncomputable.
  2. An AIXI agent is completely separated from the environment, and in particular, it lacks a self model. This causes problems if other agents are logically correlated with it, or simply because it might drop an anvil on itself [? · GW]. 

For more information, see Hutter, and these articles about lots [LW · GW] more [AF · GW] problems [LW · GW] with AIXI.

  1. ^

    Technically, we use a Universal Turing Machine U, and U with tape input  and then . Then we say that the output is  if the output tape of U begins with a string corresponding to 

  2. ^

    All of these probabilities are defined as , but I find it easier to work with the equation on the LHS. We assume that we have some probability distribution over the environment . This is implicitly given by the tree in the example, and more generally is given by the Solomonoff prior. 

0 comments

Comments sorted by top scores.