Will_Sawin comments on Working hurts less than procrastinating, we fear the twinge of starting - Less Wrong

142 Post author: Eliezer_Yudkowsky 02 January 2011 12:15AM

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

Comments (138)

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

Comment author: Will_Sawin 03 January 2011 07:12:11PM 2 points [-]

If they don't know that they are irrational in this manner:

"I'll give you tools when you need them / money when you work if you pay me now"

"OK, I'll work tomorrow, so that's a good deal"

"You never worked, so I got free money.

If they know they are irrational:

"I'll act as a commitment mechanism. Sign this contract saying you'll pay me if you don't work."

"This benefits me. OK."

<next day>

"I'll relax your commitment for you so you don't have to work. You still have to pay me some, though."

"This benefits me, I really don't want to work right now."

There is ALWAYS a way.

Comment author: Perplexed 03 January 2011 08:07:34PM 2 points [-]

That exploit works against a hyperbolic discounter who today wants to work tomorrow, but tomorrow doesn't want to work today.

It doesn't work against Clippy's example of an exponential discounter who doesn't want to work today and knows that tomorrow he still won't want to work today, but still claims to want to work someday, even though he can't say when.

Our agent cannot reason from "I want to work someday" to "There exists a day in the finitely distant future when I will want to work". He is missing some kind of reverse induction axiom. We agree that there is something wrong with this agent's thinking.

But, I don't see how to exploit that flaw.

Comment author: Will_Sawin 03 January 2011 08:35:25PM 1 point [-]

Correct, I'm wrong.

It seems like "I want to work someday" is almost not the kind of statement we should use in describing people's desires at all. It doesn't actually say anything about how you'd respond to any choices. If it did you could find a way to dutchbook.

Comment author: Clippy 03 January 2011 09:04:12PM 0 points [-]

I think you are partially correct in that the problem is ambiguous with respect to some deciding factors -- specfically, the agent's inferential capabilities -- and that there are disambiguations that make your method work. See my reply to User:Perplexed.

Comment author: Perplexed 03 January 2011 08:52:37PM 0 points [-]

100% agreement.