Scott describes two obstacles for logical inductor decision theory: reasoning sanely about untaken actions, and getting a working notion of logical updatelessness. Here, I consider the question: if we could solve the first problem, could we solve the second? I provide a somewhat plausible substitute for updatelessness which relies on taking a logical counterfactual.

Motivation

Suppose we have a notion of logical counterfactual, $\square \to$, represented by a hypothetical axiomatic system $LC$ which is also rich enough to talk about computations. We trust $LC$; specifically, if it is a theorem of $LC$ that an agent would have achieved a particular utility had it followed an alternative strategy, we put as much or more faith in this than our own intuition about what could have been. The 5-and-10 problem is solved by decree: if an agent reasoning with $LC$ thinks taking the $10 would be worse, then thinks so because it's true.

I take it that this does not solve problems which involve updateless-like reasoning about logical uncertainty. In counterfactual mugging with a logical coin, the agent can see that counterfactually giving Omega $100 doesn't get it anything in the real mathematical universe; it doesn't seem like the correct hypothetical would be anything like "If I give Omega $100 having seen that the 1000th digit of pi is even, then the digit might turn out to be odd rather than even, so I might get $10000.". This is the realm of updateless reasoning rather than counterfactuals; but, we have no satisfactory account of logical updatelessness.

So, we can't directly say that it would be better to give Omega $100. However, in a sequence of scenarios using consecutive digits of pi, we can see that the strategy which always gives the $100 when Omega asks for it will do better in the average case than the strategy which refuses; half the time, we get $10K, if we're the sort of person who gives up $100 the other half of the time.

Average DT

I'll represent a decision problem $U$ as a computation which takes no arguments and yields a rational number; The evaluation of $U$ will be written $\text{Eval}\left[U\right]$. A sequence of decision problems, $U_n$, can be defined by a function from natural numbers to computations. The average utility up to $n$ is ${\overline{U}}_n=\frac{1}{n}{\sum }_{i=1}^n\text{Eval}\left[U_i\right]$. An agent $A\left(n\right)$ will be a function of $n$. We'll also consider the utility ${\overline{U}}_n^B$ which might have been achieved had agent $A$ acted like agent $B$, which is the value $u$ such that $A:=B\square \to {\overline{U}}_n=u$. ($:=$ is supposed to be a directional assignment from the language of $LC$, which says that $A\left(n\right)$ outputs what $B\left(n\right)$ normally would for all $n$. Hopefully $LC$ can define such a concept.) I make the assumption that ${\overline{U}}_n^B$ is computable.

Definition: Average DT. Take a sequence of decision problems $U_n$, an accuracy $ϵ>0$, and a finite set of alternative strategies $B_m\left(n\right)$. The average-DT agent $A\left(n\right)$ computes the strategy which $A(n-1)$ selected; call it $B_x$. It then computes ${\overline{U}}_{n-1}^{B_m}$ for all $B_m$. If ${\overline{U}}_{n-1}^{B_y}>{\overline{U}}_{n-1}^{B_x}+ϵ$ for any $B_y$, then $A\left(n\right)$ selects $B_y$ to determine the output of this round; $A\left(n\right)=B_y\left(n\right)$. Otherwise, $A\left(n\right)=B_x\left(n\right)$.

The idea is that a good way to achieve high utility for large $n$ is to choose outputs according to the strategy which does best on average in the limit. We can eventually do that if we keep switching to whatever strategy currently does best on average (but with $ϵ$ "stickiness" to prevent us from oscillating strategies forever). This only works under some conditions, though.

Definition: Independent. A sequence of decision problems $U_n$ is independent if $m\ne n$ implies $U_n=u\to \left(A\right(m):=a\square \to U_n=u)$. That is, hypothetically changing the output of the agent on $m$ has no effect on the utility at $n$.

Definition: Tail-dependent. Call a pair of strategies $B,C$ convergent if there exists an $n$ such that for all $m>n$, $B\left(m\right)=C\left(m\right)$. A sequence of decision problems $U_n$ is tail-dependent if, for a convergent pair $B,C$, if ${lim}_{n\to \infty }{\overline{U}}_n^B$ exists, then ${lim}_{n\to \infty }{\overline{U}}_n^C$ also exists, and ${lim}_{n\to \infty }{\overline{U}}_n^B={lim}_{n\to \infty }{\overline{U}}_n^C$.

Tail-dependence is a more general condition than independence. Whereas independence says that results at $n$ only depend on actions at $n$, tail-dependence allows $\text{Eval}\left[U_n\right]$ to depend on $A(n-1)$, $A(n-2)$, and so on, as long as the effects of any initial mistakes can eventually be washed out by following an optimal strategy in the limit. Independence is only defined here because I think of it as the more typical case. The subscript $n$ does not represent time; each instance is thought of as a decision problem of its own, and the aggregation of the utility which average-DT does is only in service of getting high utility on individual instances. If there is some dependence between instances, it is to be thought of as interaction with a separate version of oneself.

Theorem. For an average-decision-theory agent $A$, if $U_n$ is tail-dependent, and the limits ${lim}_{n\to \infty }{\overline{U}}_n^{B_m}$ exist for all $B_m$ in the set of strategies, then the limit ${lim}_{n\to \infty }{\overline{U}}_n^A$ exists, and furthermore ${lim}_{n\to \infty }{\overline{U}}_n^A\ge {lim}_{n\to \infty }{\overline{U}}_n^{B_m}-ϵ$ for all $B_m$.

Proof. In the tail-dependent case, since the limits of the ${\overline{U}}_n^{B_m}$ exist, eventually ${\overline{U}}_n^{B_m}$ will vary by less than $ϵ/2$ for all $m$. At that point, the agent will never switch strategies again, because the running average for the strategy currently in use, $B_x$, will never fall more than $ϵ$ below the running average for any other. This means $A$ is convergent with $B_x$. Since ${lim}_{n\to \infty }{\overline{U}}_n^{B_x}$ exists, ${lim}_{n\to \infty }{\overline{U}}_n^A$ does as well, and the two are equal. $\square$

(If we knew that only one of the $B_m$ is optimal, we could allow $ϵ=0$, since the ordering of the running-average utility of strategies can only oscillate forever when the limits are the same.)

Note that the definition of $A(n) computes ${\overline{U}}_{n-1}^{B_m}$ rather than ${\overline{U}}_n^{B_m}$. This was because, at least in the independent case, ${\overline{U}}_n$ will typically involve $A\left(n\right)$ itself; it seems potentially unrealistic to assume that this case can be computed by $A\left(n\right)$ (although the fact that we're only evaluating it under the hypothetical case that we act like $B_m$ may make this feasible). It also costs us nothing, in terms of the optimality guarantee. However, it may be that even $U_{n-1}$ is too intractable for $A\left(n\right)$ to realistically evaluate. We can solve this in theory by using logical induction to approximate ${\overline{U}}_n^{B_m}$ for policy selection. No matter how slowly the ${\overline{U}}_n^{B_m}$ become computable, ${lim}_{n\to \infty }{\overline{U}}_n^{B_m}={lim}_{n\to \infty }{E}_n\left[{\overline{U}}_n^{B_m}\right]$, and the same optimality proof applies.

Discussion

This is very similar in flavor to asymptotic decision theory. I'll use the abbreviations AsDT and AvDT. Like AsDT, AvDT has an $ϵ$ accuracy parameter,has a finite set of strategies which we choose from, treats the method of taking counterfactuals as given, deals with infinite sequences of decisions, and cares only about properties in the limit. Unlike AsDT, I choose the highest average reward over all rounds so far rather than the highest expected reward on this round. AsDT is also an epsilon-exploration approach, whereas AvDT relies on $\square \to$ to give the correct expected utility alternate actions would have yielded.

These differences make AvDT behave in a more updateless manner than AsDT. In counterfactual mugging with a logical coin, AsDT always uses a logical inductor's best-estimate of the utility it would get right now, so it sees the coin as already determined, and sees no benefit from giving Omega money in the cases where Omega asks for money. AvDT uses logical induction (or simple evaluation) to determine the average utility which a policy gets, so it sees giving Omega money as beneficial.

I doubt that an approach to learning $\square \to$ analogous to AsDT's optimistic learning of counterfactuals will work very well here, but that is mostly because I don't think it works very well for AsDT in the first place. (It does not learn the counterfactual structure we would like it to when it plays prisoner's dilemma against a copy of itself, for example.)

A big limitation of this approach is the need to represent decision problems as part of some infinite sequence. Different infinite sequences will yield different 'optimal' approaches for the same decision problem. For example, AvDT's strategy for counterfactual mugging would be much different if $U_n$ were the subsequence of cases where the digit of pi is even. On the one hand, this is like saying that Omega only goes through the whole procedure in cases where it will make Omega money. But on the other hand, we're facing the exact same situation in the world -- it's just the representation as part of a sequence of problems which has changed. It seems the sequence $U_n$ plays a role similar to the prior in UDT, telling us what spread of possibilities to prepare for.

Perhaps there are some conditions under which we can guarantee good asymptotic behavior for not only one sequence of decision problems, but many. If none of the sequences are subsequences of each other, then it seems possible to guarantee eventual optimality for all of them. However, that's a very limiting condition, as illustrated by the counterfactual mugging example in the previous paragraph; we need to know which sequence to pick when one is a subsequence of the other.

But my uneasiness here may mainly be due to the fact that I am accustomed to an agent requiring an arbitrary prior, but unaccustomed to an agent requiring an arbitrary problem sequence. As with the problem of selecting a prior, it seems a good rule of thumb will be to pick the broader one, in absence of contrary information. I'm not holding my breath for a good notion of "universal problem sequence" here, but it would be nice if there could be such a concept.

The desirability of the approach will also depend on whether the dependence on $ϵ$ and the restriction to finite sets of strategies can be eliminated. I'm skeptical it will be possible to get rid of either one.

Oh, and another problem: the behavior breaks down quickly outside the optimality conditions. If decision of even one early instance $A\left(n\right)$ matters forever, the agent will ignore this in its choices. This seems problematic.

Despite all these issues, my current intuition is that this approach has "the right flavor" in some sense: an optimality condition showing that we converge to the best strategy in the limit seems about as good a property as we can hope for in a decision theory compatible with logical uncertainty.