cousin_it comments on How Not to be Stupid: Adorable Maybes - Less Wrong

-2 Post author: Psy-Kosh 29 April 2009 07:15PM

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

Comments (54)

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

Comment author: cousin_it 29 April 2009 11:57:05PM *  1 point [-]

What I'm going for here is more "why assume that Bayesian decision theory is the thing we should be building approximations to, rather than some other entirely different blob of math?"

Over the last couple years I went from believing that statement to deeply doubting it. If you want a chess player that will win games by holding the opponents' kids hostage, sure, build a Bayesian optimizer. My personal feeling is that even an ordinary human modified to be deeply and genuinely driven by an explicit utility function would pose a substantial danger to this world. No need for AIs.

Comment author: Psy-Kosh 30 April 2009 12:03:38AM 3 points [-]

That's where the whole "don't assume an overly simplistic preference ranking for yourself" warnings come in.

ie, nothing wrong with the utility function being composed of terms for all the things we value, and simply happening to include for that player a component that translates to "win at chess by actually playing chess", and other components giving stuff that lowers utility for "kids have been kidnapped" situations, etc etc etc.

The hard part is, of course, actually translating the algorithms we're running (including the bits that respond to arguments that lead us to become convinced to change our minds about a moral question, etc etc) into a more explicit algorithm. Any simple one is going to get it WRONG.

But that's not a hit against decision theory. That's a hit against bad utility functions.

Or did I utterly misunderstand your point?

Comment author: cousin_it 30 April 2009 12:15:21AM *  3 points [-]

But that's not a hit against decision theory. That's a hit against bad utility functions.

We know from Eliezer's writings that almost any strong goal-directed chessplayer AI will destroy the world. Well guess what, if a non-world-destroying utility function appears almost impossibly hard to formulate, in my book it counts as a hit against the concept of utility functions. Especially seeing as machines based on e.g. control theory (RichardKennaway) behave much more sensibly - they almost never display any urge to screw up the whole world, instead being content to sit there and tweak their needle.

Comment author: Psy-Kosh 30 April 2009 12:26:54AM 4 points [-]

Well, a recursively self modifying chess playing AI is a very different beast than a human who, AMONG OTHER THINGS, cares about doing well at chess. The sum total of those other things and chess together is a very different goal system than "chess and nothing else".

As far as control theory, well... that's because control theory based systems are currently too stupid to pose such a threat to us, no?

Your judgment against decision theory seems to be "an agent based on it will act in accordance with its utility function... which may not resemble meaningfully my preferences. It may not be moral, etc etc etc. It will be good at what it's trying to do... but it isn't exactly trying to do the stuff I care about."

Do you consider this a fair summary of your position?

If so, then the response is, well... So, it's good at doing the stuff it's trying to do. It's not trying to do what we'd prefer it to be doing. This is a serious problem. But that problem isn't a flaw with decision theory itself. I mean, if decision theory is leading it to be good optimizing reality in accordance with its preference rankings, then decision theory is acting as promised. The problem is "it's trying to do stuff we don't want it to do!"

The things we care abut are complicated. To actually specifically accurately fully and explicitly specify that is REALLY HARD. That doesn't mean decision theory is inherently flawed. It means, well, fully specifying what we actually want is a highly nontrivial problem.

Comment author: cousin_it 30 April 2009 07:51:58AM *  2 points [-]

I agree with you that the math is right. Given assumptions, it acts as promised. But the assumptions just aren't a good model of reality. Like naive game theory: you can go with the mathematically justified option of Always Defect, or you can go with common sense. Reality doesn't contain preference rankings over all possible situations; shoehorning reality into preference rankings might hurt you. Hasn't this point clicked yet? I'll try again.

The sum total of those other things and chess together is a very different goal system than "chess and nothing else".

Human beings aren't goal systems. We DON'T SUM, anymore than a car "sums" the value of its speedometer with the value of the fuel gauge. If we actually summed, you'd get the outcome Eliezer once advocated: every one of us "picking one charity and donating as much to it as he can". Your superintelligent chess player with the "correct" utility function won't ever play chess while there are other util-rich tasks anywhere in the world, like hunger in Africa.

That doesn't mean decision theory is inherently flawed. It means, well, fully specifying what we actually want is a highly nontrivial problem.

We shouldn't need to fully specify what we actually want, if we're building a specialized machine to e.g. cure world hunger or design better integrated circuits. It would be better to build such machines based on a theory that typically results in localized screw-ups... rather than a theory that destroys the world by default, unless you tell it everything about you.

Comment author: loqi 01 May 2009 02:21:29AM 1 point [-]

We shouldn't need to fully specify what we actually want, if we're building a specialized machine to e.g. cure world hunger or design better integrated circuits.

What if we're building a specialized machine to prevent a superintelligence from annihilating us?

Comment author: thomblake 30 April 2009 01:11:50PM 1 point [-]

It would be better to build such machines based on a theory that typically results in localized screw-ups... rather than a theory that destroys the world by default, unless you tell it everything about you.

Where's the "I super-agree" button?

I agree with you that maximizing utility is dangerous and wrong even just in ordinary humans. That's not what we're for and that's not what the good life is about.

We don't need a clean-cut, provable decision theory that will drive the universe into a hole of 'utility'. We need more of a wibbly-wobbly, humany-ethicy ball of... stuff.

Comment author: mattnewport 30 April 2009 06:00:30PM 0 points [-]

Human beings aren't goal systems. We DON'T SUM, anymore than a car "sums" the value of its speedometer with the value of the fuel gauge. If we actually summed, you'd get the outcome Eliezer once advocated: every one of us "picking one charity and donating as much to it as he can".

That seems an obviously fallacious argument to me. Many posts on OB have talked about other motivations behind charitable giving - whether it's 'buying fuzzies' or signalling. You seem to be arguing that because one possible (but naive and inaccurate) model of a person's utility function would predict different behaviour than what we actually observere, that the observed behaviour is evidence against any utility function being maximized. There are pretty clearly at least two possibilities here: either humans don't maximize a utility function or they maximize a different utility function from the one you have in mind.

Personally I think humans are imperfect maximizers of utility functions that are sufficiently complex that the 'function' terminology is as misleading as it is enlightening but your argument really doesn't support your conclusion.

Comment author: cousin_it 30 April 2009 07:47:34PM *  3 points [-]

Consider a simple human behavior: notice the smell of yummy food from the kitchen where Mom's cooking, head there to check and grab a bite. Which of the following sounds like a more fitting model:

1) We have a circuit hardwired to react to yummy smells when we're hungry.

2) We subconsciously sort different world-states according to a utility function that, among numerous other terms, assigns high weight to finding food when we're hungry. (What?)

If most of our behavior is better explained by arguments of type 1, why shoehorn it into a utility function and what guarantee do you have that a suitable function exists? (Sorry, "shoehorning" is really the best term for e.g. Eliezer's arguments in favor of SPECKS or against certain kinds of circular preferences. Silly humans, my theory says you must have a coherent utility function on all imaginable worlds - or else you're defective.) The potential harm from enforcing a total ordering on world states has, I believe, already been convincingly demonstrated; your turn.

Comment author: mattnewport 30 April 2009 08:54:07PM 1 point [-]

I think a few different issues are getting entangled here. I'm going to try and disentangle them a little.

First, my post was primarily addressing the flawed argument that the fact we don't all 'pick one charity and donate as much to it as we can' is evidence against us being utility maximizers for some incompletely known utility function. Any argument that postulates a utility function and then demonstrates how observed human behaviour does not maximize that function and presents this as evidence that we are not utility maximizers is flawed since the observed behaviour could also be explained by maximizing a different utility function. Now you could argue that this makes the theory that we are utility maximizers unfalsifiable, and I think that complaint has some merit, but the original argument is still unsound.

Another issue is what exactly we mean by a utility function. If we're talking about a function that takes world states as inputs and returns a real number representing utility as an output then it's pretty clear that our brains do not encode such a function. I think it is potentially useful however to model our decision making process as a process by which our brains evaluate possible future states of the world and prefer some states to others (a 'utility function' in a looser sense) and favour actions which are expected to lead to preferred outcomes. If you'd prefer not to call this a utility function then perhaps you can suggest alternative terminology? If you dispute the value of this as a model for human decision making then that's also a valid position but let's focus on that discussion.

Despite the flaws of the 'utility maximizing' model I think it has a lot of explanatory and predictive power. I would argue that it does a better job of explaining actual human behaviour than your type 1 theory which as stated would seem to have trouble accounting for me deciding to shut the door or go for a walk to get away from the tempting smell of food because I have a preference for future world states where I am not fat.

My biggest problem with more extreme forms of 'utility maximizing' arguments is that I think they do not pay enough attention to computation limits that prevent a perfect utility maximizer from being realizable. This doesn't mean the models aren't useful - a model of a chess playing computer that attempts to explain/predict its behaviour by postulating that it is trying to optimize for optimal chess outcomes is still useful even if the computer is low powered or poorly coded and so plays sub-optimally.

Comment author: cousin_it 30 April 2009 09:30:50PM *  1 point [-]

"Picking one charity and sticking to it" would follow from most "functions defined on worlds" that I'm able to imagine, while the firework of meaningless actions that we repeat every day seems to defy any explanation by utility... unless you're willing to imagine "utility" as a kind of carrot that points in totally different directions depending on the time of day and what you ate for lunch. But in general, yes, I concede I didn't prove logically that we have no utility function.

Of course, if you're serious about falsifying the utility theory, just work from any published example of preference reversal in real humans. There's many to choose from.

I would argue that it does a better job of explaining actual human behaviour than your type 1 theory which as stated would seem to have trouble accounting for me deciding to shut the door or go for a walk to get away from the tempting smell of food because I have a preference for future world states where I am not fat.

Going by the relative frequency of your scenario vs mine, I'd say my theory wins this example hands down. :-) Even if we consider only people with a consciously stated goal of being non-fat.

I think it is potentially useful however to model our decision making process as a process by which our brains evaluate possible future states of the world and prefer some states to others (a 'utility function' in a looser sense) and favour actions which are expected to lead to preferred outcomes.

At most you can say that our brains evaluate descriptions of future states and weigh their emotional impact. Eliezer wrote eloquently about one particularly obvious preference reversal of this sort, and of course immediately launched into defending expected utility as a prescriptive rather than descriptive theory. Shut up and multiply, silly humans.

Comment author: mattnewport 30 April 2009 09:58:02PM 0 points [-]

"Picking one charity and sticking to it" would follow from most utility functions I'm able to imagine

I think your imagination is rather limited then. Charitable donations as a signaling activity are one example. If you donate to charity partly to signal to others that you are an altruistic person and use your choice of charity to signal the kinds of things that you care about then donating to multiple charities can make perfect sense. Donating $500 to Oxfam and $500 to the WWF may deliver greater signaling benefits than donating $1000 to one of the two as it will be an effective signal both for third parties who prioritize famine and for third parties who prioritize animal welfare. If you are partly buying 'fuzzies' by donating to charity then donating to the two charities may allow you to feel good whenever you encounter news stories about either famine or endangered pandas, for a net benefit greater than feeling slightly more virtuous on encountering a subset of stories.

Between evolutionary psychology, game theory, micro and behavioural economics and public choice theory to name a few research areas I have found a lot of insightful explanations of human behaviour that demonstrate people rationally responding to incentives. The explanations often reveal behaviour that appears irrational according to one version of utility makes perfect sense when you realize what people's actual goals and preferences are. That's not to say there aren't examples of biases and flaws in reasoning but I've found considerable practical value in explaining human action through models that assume rational utility maximization.

Incidentally, I don't believe that demonstrations of preference reversal falsify the kind of model I'm talking about. They only falsify the naive 'fully conscious rational agent with a static utility function' model which is not much worth defending anyway.

From the relative frequency of your scenario vs mine, I'd say my theory wins this example hands down. :-)

Your theory fails to account for the exceptions at all though. And I have had great success losing weight by consciously arranging my environment to reduce exposure to temptation. How does your theory account for that kind of behaviour?

Comment author: Cyan 30 April 2009 02:47:30AM 2 points [-]

Especially seeing as machines based on e.g. control theory (RichardKennaway) behave much more sensibly - they almost never display any urge to screw up the whole world, instead being content to sit there and tweak their needle.

This is a rather bad example -- machines based on control theory can easily display an "urge" to screw up as much of the world as they can touch. Short version: slapping a PID controller onto a system gives it second order dynamics, and those can have a resonant frequency. If the random disturbance has power at the resonant frequency, the system goes into a positive feedback loop and blows up.

Comment author: Vladimir_Nesov 30 April 2009 12:38:24AM 0 points [-]

I agree. But what do you do with this situation? To give up, you have to be certain that there is no way out, and we are much too confused to say anything like that yet. Someone is bound to build a doom machine someday if you don't do something about it.

Comment author: Nick_Tarleton 30 April 2009 12:32:15AM 0 points [-]

Normative decision theory – the structure our final, stable preferences if we knew more, thought faster, were more the people we wished we were, had grown up further together – needn't be good engineering design; agreed that utility functions often aren't the latter, but that doesn't count against them as the former.

Maybe Psy-Kosh should say "becoming" instead of "building"?

Comment author: Vladimir_Nesov 30 April 2009 12:30:05AM *  1 point [-]

That is a right sentiment about strength: there are no simple rules, only goals, which makes a creative mind extremely dangerous. And we shouldn't build things like this without understanding what the outcome will be. This is one of the reasons it's important to understand human values in this light, to guard them from this destructive potential.

Whatever you want accomplished, whatever you want averted, instrumental rationality defines an optimal way of doing that (without necessarily giving the real-world means, that's a next step). If you really want life to continue as before, the correctly implemented explicit utility function for doing that won't lead a Bayesian optimizer to do something horrible. (Although inaction may be considered horrible in itself, where so much more could've been done.)