by Jack Gallagher 203 days ago | link | parent When considering an embedder $$F$$, in universe $$U$$, in response to which SADT picks policy $$\pi$$, I would be tempted to apply the following coherence condition: $E[F(\pi)] = E[F(DDT)] = E[U]$ (all approximately of course) I’m not sure if this would work though. This is definitely a necessary condition for reasonable counterfactuals, but not obviously sufficient. A potentially useful augmentation is to use absolute expected difference: $E[|F(\pi) - F(DDT)|] = E[|F(DDT) - U|] = 0$

### NEW DISCUSSION POSTS

I found an improved version
 by Alex Appel on A Loophole for Self-Applicative Soundness | 0 likes

I misunderstood your
 by Sam Eisenstat on A Loophole for Self-Applicative Soundness | 0 likes

Caught a flaw with this
 by Alex Appel on A Loophole for Self-Applicative Soundness | 0 likes

As you say, this isn't a
 by Sam Eisenstat on A Loophole for Self-Applicative Soundness | 1 like

Note: I currently think that
 by Jessica Taylor on Predicting HCH using expert advice | 0 likes

Counterfactual mugging
 by Jessica Taylor on Doubts about Updatelessness | 0 likes

What do you mean by "in full
 by David Krueger on Doubts about Updatelessness | 0 likes

It seems relatively plausible
 by Paul Christiano on Maximally efficient agents will probably have an a... | 1 like

I think that in that case,
 by Alex Appel on Smoking Lesion Steelman | 1 like

 by Sam Eisenstat on No Constant Distribution Can be a Logical Inductor | 1 like

A: While that is a really
 by Alex Appel on Musings on Exploration | 0 likes

> The true reason to do
 by Jessica Taylor on Musings on Exploration | 0 likes