Mark_Friedenbach comments on Open Thread March 21 - March 27, 2016 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (160)
Overall, very sensible. I'll ignore minor quibbles (a 'strong AI' and a 'thinking machine' seem significantly different to me, since the former implies recursion but the latter doesn't) and focus on the main points of disagreement.
Goertzel goes on to question how likely Omohundro's basic AI drives are to be instantiated. Might an AI that doesn't care for value-preservation outcompete an AI that does?
Overall this seems very worth thinking about, but I think Goertzel draws the wrong conclusions. If we have a 'race-to-the-bottom' of competition between AGI, that suggests evolutionary pressures to me, and evolutionary pressures seem to be the motivation for expecting the AI drives in the first place. Yes, an AGI that doesn't have any sort of continuity impulses might be able to create a more powerful successor than an AGI that does have continuity impulses. But that's the start of the race, not the end of the race--any AGI that doesn't value continuity will edit itself out of existence pretty quickly, whereas those that do won't.
The nightmare scenario, of course, is an AGI that improves rapidly in the fastest direction possible, and then gets stuck somewhere unpleasant for humans.
And since I used the phrase "nightmare scenario," a major disagreement between Goertzel and Bostrom is over the role of uncertainty when it comes to danger. Much later, Goertzel brings up the proactionary principle and precautionary principle.
Bostrom's emotional argument, matching the precautionary approach, seems to be "things might go well, they might go poorly, because there's the possibility it could go poorly we must worry until we find a way to shut off that possibility."
Goertzel's emotional argument, matching the proactionary approach, seems to be "things might go well, they might go poorly, but why conclude that they will go poorly? We don't know enough." See, as an example, this quote:
Earlier, Goertzel correctly observes that we're not going to make a random mind, we're going to make a mind in a specific way. But the Bostromian counterargument is that because we don't know where that specific way leads us, we don't have a guarantee that it's different from making a random mind! It would be nice if we knew where safe destinations were, and how to create pathways to funnel intelligences towards those destinations.
Which also seems relevant here:
I view the Bostromian approach as saying "safety comes from principles; if we don't follow those principles, disaster will result. We don't know what principles will actually lead to safety." Goertzel seems to respond with "yes, not following proper principles could lead to disaster, but we might end up accidentally following them as easily as we might end up accidentally violating them." Which is on as solid a logical foundation as Bostrom's position that things like the orthogonality thesis are true "in principle," and which seems more plausible or attractive seems to be almost more a question of personal psychology or reasoning style than it is evidence or argumentation.
This is, I think, a fairly common position--a decision on whether to risk the world on AGI should be made knowing that there are other background risks that the AGI might materially diminish. (Supposing one estimates that a particular AGI project is a 3 in a thousand chance of existential collapse, one still has work to do in determining whether or not that's a lower or higher risk than not doing that particular AGI project.)
I don't see any reason yet to think Bostrom's ability to estimate probabilities in this area are any better than Goertzel's, or vice versa; I think that the more AI safety research we do, the easier it is to pull the trigger on an AGI project, and the sooner we can do so. I agree with Goertzel that it's not obvious that AI research slowdown is desirable, let alone possible, but it is obvious to me that AI safety research speedup is desirable.
I think Goertzel overstates the benefit of open AI development, but agree with him that Bostrom and Yudkowsky overstate the benefit of closed AI development.
I haven't read about open-ended intelligence yet. My suspicion, from Goertzel's description of it, is that I'll find it less satisfying than the reward-based view. My personal model of intelligence is much more inspired by control theory. The following statement, for example, strikes me as somewhat bizarre:
I don't see how you get rid of optimization without also getting rid of preferences, or choosing a very narrow definition of 'optimization.'
I think that there's something of a communication barrier between the Goertzelian approach of "development" and the Yudkowskyian approach of "value preservation." On the surface, the two of those appear to contradict each other--a child who preserves their values will never become an adult--but I think the synthesis of the two is the correct approach--value preservation is what it looks like when a child matures into an adult, rather than into a tumor. If value is fragile, most processes of change are not the sort of maturation that we want, but are instead the sort of degeneration that we don't want; and it's important to learn the difference between them and make sure that we can engineer that difference.
Biology has already (mostly) done that work for us, and so makes it look easy--which the Bostromian camp thinks is a dangerous illusion.
Thank you for taking the time to write that up. I strongly disagree, as you probably know, but it provided a valuable perspective into understanding the difference in viewpoint.
No two rationalists can agree to disagree... but pragmatists sometimes must.
You're welcome!
Did we meet at AAAI when it was in Austin, or am I thinking of another Mark? (I do remember our discussion here on LW, I'm just curious if we also talked outside of LW.)
No I'm afraid you're confusing me with someone else. I haven't had the chance yet to see the fair city of Austin or attend AAAI, although I would like to. My current day job isn't in the AI field so it would sadly be an unjustifiable expense.
To elaborate on the prior point, I have for some time engaged with not just yourself, but other MIRI-affiliated researchers as well as Nate and Luke before him. MIRI, FHI, and now FLI have been frustrating to me as their PR engagements have set the narrative and in some cases taken money that otherwise would have gone towards creating the technology that will finally allow us to end pain and suffering in the world. But instead funds and researcher attention are going into basic maths and philosophy that have questionable relevance to the technologies at hand.
However the precautionary vs proactionary description sheds a different light. If you think precautionary approaches are defensible, in spite of overwhelming evidence of their ineffectiveness, then I don't think this is a debate worth having.
I'll go back to proactively building AI.
If one looks as AI systems as including machine learning development, I think the estimate is something like a thousand times as many resources are spent on development as on safety research. I don't think taking all of the safety money and putting it into 'full speed ahead!' would make much difference in time to AGI creation, but I do think transferring funds in the reverse direction may make a big difference for what that pain and suffering is replaced with.
So, in my day job I do build AI systems, but not the AGI variety. I don't have the interest in mathematical logic necessary to do the sort of work MIRI does. I'm just glad that they are doing it, and hopeful that it turns out to make a difference.
Because everyone is working on machine learning, but machine learning is not AGI. AI is the engineering techniques for making programs that act intelligently. AGI is the process for taking those components and actually constructing something useful. It is the difference between computer science and a computer scientist. Machine learning is very useful for doing inference. But AGI is so much more than that, and there are very few resources being spent on AGI issues.
By the way, you should consider joining ##hplusroadmap on Freenode IRC. There's a community of pragmatic engineers there working on a variety of transhumanist projects, and you AI experience would be valued. Say hi to maaku or kanzure when you join.