You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Stuart_Armstrong comments on Anthropic Decision Theory IV: Solving Selfish and Average-Utilitarian Sleeping Beauty - Less Wrong Discussion

0 Post author: Stuart_Armstrong 04 November 2011 10:55AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (24)

You are viewing a single comment's thread. Show more comments above.

Comment author: Stuart_Armstrong 07 November 2011 05:25:51PM 0 points [-]

Of course, if you don't want to mess with worlds, an equivalent effect would come from changing whether or not the total expected utility is a weighted or unweighted average over worlds, which is also not one of the criteria for isomorphism.

You seem to be arguing that total utilitarians must reach the same conclusions as average utilitarians, which seems tremendously overstrong to be a useful requirement.

Comment author: Manfred 07 November 2011 06:36:05PM 0 points [-]

You seem to be arguing that total utilitarians must reach the same conclusions as average utilitarians

Rather, I'm arguing the reverse - I'm saying that since that's demonstrably false, the isomorphism axiom is false as stated.

Comment author: Stuart_Armstrong 07 November 2011 09:50:36PM *  0 points [-]

The isomorphism axiom says that selfish and average utilitarian agents should make the same decisions.

The total vs average utilitarians comparison fails the "same utility outcomes for each possible linked decision". Total utllitarians get more utility than average utilitarians in the tails world (and the same utility in the heads world), so they do not get the same utility outcomes.

Comment author: Manfred 07 November 2011 10:47:31PM 1 point [-]

There are two different ways of having decision-makers act like total utilitarians. One is for them to add the utilities up and then take the unweighted average. Another is for them to be average utilitarians who use weighted averages instead of unweighted averages. The first is not "isomorphic" to average utilitarianism, but the second one is.

The difference between ordinary average utilitarians and these average/total utilitarians is not (at least not explicitly) in the possible decisions, the probabilities, or the utilities. It is the in the algorithm they run, which takes the aforementioned things as inputs and spits out a decision. I'm reminded of this comment of yours.

Comment author: Stuart_Armstrong 08 November 2011 11:09:31AM 1 point [-]

Another is for them to be average utilitarians who use weighted averages instead of unweighted averages

Not sure I get this; the weighted average of 1 and 1, for all weights, is 1. Their sum is 2. Therefore these weighted avereaging agents cannot be total utilitarians.

The point you made in your first comment in this series is relevant. I've strengthened the conditions of the isomorphism axiom in the post to say "same setup", which basically means same possible worlds with same numbers of people in them.

Comment author: Manfred 08 November 2011 03:36:07PM 1 point [-]

Not sure I get this; the weighted average of 1 and 1, for all weights, is 1.

So in the heads world, the average utility is -x. In the tails world, the average utility is 1-x. An unweighted average means that the decision maker goes "and so the utility I evaluate for buying at x is (1-2x)/2". A weighted average means the decision maker goes "and so the utility I evaluate for buying at x is (2-3x)/2".

For an example of a decision maker who takes a weighted average, take the selfish agents in my poorly-modified non-anthropic problem. They multiply the payoff and the probability of the "world coming into existence" (the coin landing heads) to get the payoff to a decider in that world, but weight the average by the frequency with which they're a decider.