Certainly given a utility function and a model, the best thing to do is what it is. The point was to show that some utility functions (eg using the exponential-decay sigmoid) have counterintuitive properties that don’t match what we’d actually want.
Every response to this post that takes the utility function for granted and remarks that the optimum is the optimum is missing the point: we don’t know what kind of utility function is reasonable, and we’re showing evidence that some of them give optima that aren’t what we’d actually want if we were turning the world into chocolate/hedonium.
If it seems strange to you to consider representing what you want by a bounded utility function, a post about that will be forthcoming.
No, it doesn’t seem strange to me to consider representing what I want by a bounded utility function. It seems strange to consider representing what I want by a utility function that converges exponentially fast towards its bound.
I’ll repeat something I said in another comment:
You might say it’s a suboptimal outcome even though it’s a good one, but to make that claim it seems to me you have to do an actual expected-utility calculation. And we know what that expected-utility calculation says: it says that the resource allocation you’re objecting to is, in fact, the optimal one.
Or you might say it’s a suboptimal outcome because you just know that this allocation is bad, or something. Which amounts to saying that actually you know what the utility function should be and it isn’t the one the analysis assumes.
I have some sympathy with that last option. A utility function that not only is bounded but converges exponentially fast towards its bound feels pretty counterintuitive. It’s not a big surprise, surely, if such a counterintuitive choice of utility function yields wrong-looking resource allocations?
(Remark 1: the above is a comment that remarks that the optimum is the optimum but is visibly not missing the point by failing to appreciate that we might be constructing a utility function and trying to make it do good-looking things, rather than approximating a utility function we already have.)
(Remark 2: I think I can imagine situations in which we might consider making the relationship between chocolate and utility converge very fast—in fact, taking “chocolate” literally rather than metaphorically might yield such a situation. But in those situations, I also think the results you get from your exponentially-converging utility function aren’t obviously unreasonable.)
Cool. Regarding bounded utility functions, I didn’t mean you personally, I meant the generic you; as you can see elsewhere in the thread, some people do find it rather strange to think of modelling what you actually want as a bounded utility function.
This is where I thought you were missing the point:
Or you might say it’s a suboptimal outcome because you just know that this allocation is bad, or something. Which amounts to saying that actually you know what the utility function should be and it isn’t the one the analysis assumes.
Sometimes we (seem to) have stronger intuitions about allocations than about the utility function itself, and parlaying that to identify what the utility function should be is what this post is about. This may seem like a non-step to you; in that case you’ve already got it. Cheers! I admit it’s not a difficult point. Or if you always have stronger intuitions about the utility function than about resource allocation, then maybe this is useless to you.
I agree with you that there are some situations where the sublinear allocation (and exponentially-converging utility function) seems wrong and some where it seems fine; perhaps the post should initially have said “person-enjoying-chocolate-tronium” rather than chocolate.
The point was to show that some utility functions (eg using the exponential-decay sigmoid) have counterintuitive properties that don’t match what we’d actually want.
You still haven’t answered my question of why we don’t want those properties. To me, they don’t seem counter-intuitive at all.
Certainly given a utility function and a model, the best thing to do is what it is. The point was to show that some utility functions (eg using the exponential-decay sigmoid) have counterintuitive properties that don’t match what we’d actually want.
Every response to this post that takes the utility function for granted and remarks that the optimum is the optimum is missing the point: we don’t know what kind of utility function is reasonable, and we’re showing evidence that some of them give optima that aren’t what we’d actually want if we were turning the world into chocolate/hedonium.
If it seems strange to you to consider representing what you want by a bounded utility function, a post about that will be forthcoming.
No, it doesn’t seem strange to me to consider representing what I want by a bounded utility function. It seems strange to consider representing what I want by a utility function that converges exponentially fast towards its bound.
I’ll repeat something I said in another comment:
(Remark 1: the above is a comment that remarks that the optimum is the optimum but is visibly not missing the point by failing to appreciate that we might be constructing a utility function and trying to make it do good-looking things, rather than approximating a utility function we already have.)
(Remark 2: I think I can imagine situations in which we might consider making the relationship between chocolate and utility converge very fast—in fact, taking “chocolate” literally rather than metaphorically might yield such a situation. But in those situations, I also think the results you get from your exponentially-converging utility function aren’t obviously unreasonable.)
Cool. Regarding bounded utility functions, I didn’t mean you personally, I meant the generic you; as you can see elsewhere in the thread, some people do find it rather strange to think of modelling what you actually want as a bounded utility function.
This is where I thought you were missing the point:
Sometimes we (seem to) have stronger intuitions about allocations than about the utility function itself, and parlaying that to identify what the utility function should be is what this post is about. This may seem like a non-step to you; in that case you’ve already got it. Cheers! I admit it’s not a difficult point. Or if you always have stronger intuitions about the utility function than about resource allocation, then maybe this is useless to you.
I agree with you that there are some situations where the sublinear allocation (and exponentially-converging utility function) seems wrong and some where it seems fine; perhaps the post should initially have said “person-enjoying-chocolate-tronium” rather than chocolate.
You still haven’t answered my question of why we don’t want those properties. To me, they don’t seem counter-intuitive at all.