Bounded rational decision making
In a nutshell, bounded rational decision-making is about finding optimal actions under restricted computational resources. One of the main difficulties is finding good (mathematical) formalizations of the notion of computational resources. Most proposed solutions to modeling bounded rationality fall into one of two categories:
- meta-reasoning: the decision-maker reasons about its computational limitations and adjusts its decision-making strategy accordingly. One problem is that the meta-reasoning itself is also subject to the computational limitations of the agent which would require another level of meta-meta-reasoning (which is again subject to limitations and thus leads to an infinite depth of meta-levels).
- implicit boundedness: the decision-maker does not reason about its computational limitations and acts according to some internal principle - the limitations only become apparent from an external point-of-view. For instance, approximate computation schemes and heuristics fall into this category.
The information-theoretic framework for bounded rationality presented here also falls in the latter category. It could be considered a very principled approximation to (unbounded) decision-making. A better point of view might be that it rephrases the problem of optimal decision-making by inherently formalizing and taking into account computational effort. The appeal of this particular framework is that it provides a solid theory grounded on first principles (with explicit assumptions) that explicitly quantifies the cost of computation.
Optimal decision-making and rationality
In classical decision-making with context, a utility function is given and the decision-maker is faced with the task of finding an optimal action in response to the context (or world-state) :
An decision-maker following this strategy is referred to as a rational agent.
The problem with rational decision-making
Finding the optimal action boils down to evaluating the utility-function for every possible action and picking the action that yields maximum utility… which is exactly the problem: for an agent with limited computational resources it can easily become computationally infeasible to evaluate the utility function for every possible action . Consider for instance a soccer playing humanoid robot that has to react within a narrow time-limit to an incoming pass - even with current state-of-the-art hardware it would be impossible to go through all possible movement-trajectories (or all potential parameter-settings when using a parameterized trajectory) within a few hundred milliseconds, yet humans and animals can solve such a problem easily.
In so-called needle-in-a-haystack problems where only one action is valid and all other actions are invalid, there is no way to alleviate the search-problem for the optimal action. However, in many practical scenarios there are several actions that yield a “good” utility-value given the current context (again, think of the soccer playing robot: there will possibly be many different movements that are satisfying, not necessarily optimal but also not far from the optimum in terms of utility). The idea behind bounded rationality is finding the best solution among all solutions that are computable within the limitations of the agent. Ultimately, a bounded agent cannot do better than that. The problem is how to properly formalize this idea. There have been many attempts to wrap the idea of bounded rationality into a nice computational framework: e.g. meta-reasoning schemes, approximation-schemes or heuristics. The next section introduces a computational framework for bounded rationality that is very explicit about the underlying assumptions and grounded on first principles.
An information-theoretic framework for decision-making
Goal: design an agent that finds the best action (in terms of utility-value) among the set of actions that the agent can afford to evaluate. To do so, the agent must follow some search strategy through action-space. In the information-theoretic framework for bounded rationality, this search strategy is explicitly specified as (the prior) . The resulting bounded-optimal behavior is stochastic and is formalized as (the posterior) . The agent has to invest computation in order to transform the prior- into the posterior-policy. In exchange for the computation, the agent’s goal is to receive a higher expected utility . The amount of computation (in bits or nats) is given by the Kullback-Leibler divergence between prior and posterior and for a bounded rational agent this KL divergence is upper-bounded. This allows to write down the following constrained optimization problem:
The constrained optimization problem can be transformed into an unconstrained problem
The unconstrained problem formalizes a fundamental trade-off: maximize expected utility while at the same time keeping the computational demands low. The factor translates computational demand (in bits or nats) into a cost of computation (in utils) and is referred to as inverse temperature (the reason being strong similarities of the optimization problem of a free energy minimization in thermodynamics - see the publication here for a more detailed discussion).
Solving the optimization problem
The unconstrained optimization problem has a closed-form solution:
where the normalizing constant (the partition sum).
The inverse temperature acts as a rationality parameter and governs the trade-off between large expected utility and low computational demand.
- : no computational resources, agent follows prior policy
- : unlimited computational resources, (fully rational) agent deterministically picks globally best action
- : agent trades off expected utility against cost of computation
The solution to the optimization problem can be translated into an elegant rejection-sampling scheme, where the agent proposes actions according to and then (probabilistically) tests them in a rejection step against a fidelity constraint. Importantly, the fidelity constraint is typically lower than the maximum utility value and is governed by which thus directly controls the number of samples that the agent can afford (higher means more computational resources which means more samples). Informally, the sampling scheme translates into: search through the action space according to and accept (with high probability) the first action that satisfies the fidelity constraint. From the agent’s internal perspective, there is no notion of computational cost, all that matters is the fidelity constraint - yet, the scheme produces samples from the bounded-optimal posterior policy, exactly given by the equation for above. An explanation of the sampling scheme and a more detailed discussion is found in this paper.
Decision-making and inference
The information-theoretic framework for bounded rationality can be used to tackle both, decision-making but also inference problems. Assume that we use a log-likelihood function as the utility . Plugging this into the solution of the optimization principle and setting yields Bayes’ rule as a special-case solution:
More on the information-theoretic framework for bounded rationality and it’s connection to thermodynamics can be found in this paper.
The paper also includes an interactive example (as a Jupyter notebook) - alternatively, use this link for simply viewing the notebook.
Continue with the next research article on natural abstractions, where the basic principle is extended to find the optimal prior . This extension of the principle can lead to the emergence of natural abstractions in the bounded-optimal solution.