Triumph of the Cyborg Composer — Edward Cope and “Emily Howell” Friday, Mar 5 2010 

For those who are interested, there is a long article at MillerMcCune.com on Edward Cope, the UC Santa Cruz professor emeritus who has a history of creating AIs that compose music. His latest creation, dubbed Emily Howell, is ready to be unveiled soon, and the article includes a couple samples of “her” work. Here’s an excerpt from the article:

Emmy was once the world’s most advanced artificially intelligent composer, and because he’d managed to breathe a sort of life into her, he became a modern-day musical Dr. Frankenstein. She produced thousands of scores in the style of classical heavyweights, scores so impressive that classical music scholars failed to identify them as computer-created. Cope attracted praise from musicians and computer scientists, but his creation raised troubling questions: If a machine could write a Mozart sonata every bit as good as the originals, then what was so special about Mozart? And was there really any soul behind the great works, or were Beethoven and his ilk just clever mathematical manipulators of notes?

Cope’s answers — not much, and yes — made some people very angry. He was so often criticized for these views that colleagues nicknamed him “The Tin Man,” after the Wizard of Oz character without a heart. For a time, such condemnation fueled his creativity, but eventually, after years of hemming and hawing, Cope dragged Emmy into the trash folder.

This month, he is scheduled to unveil the results of a successor effort that’s already generating the controversy and high expectations that Emmy once drew. Dubbed “Emily Howell,” the daughter program aims to do what many said Emmy couldn’t: create original, modern music. Its compositions are innovative, unique and — according to some in the small community of listeners who’ve heard them performed live — superb.

Cool, huh?

Is Google Working on Strong AI? Wednesday, Mar 3 2010 

Peter Norvig, Director of Research at Google, recently sat down and answered some questions contributed by the Reddit community. The top ten questions are listed here. Of particular interest to readers of this blog would be question #4, “Is Google working on strong AI?”

Thanks to Xamdam at Less Wrong for the link.

Artificial Flight Article on BoingBoing Friday, Feb 19 2010 

Cory Doctorow linked the Aaron Diaz article yesterday, which is good for exposure. Doctorow said:

Dresden Codak’s “Artificial Flight and Other Myths (a reasoned examination of A.F. by top birds)” is a superb, spot-on critique of artificial intelligence skeptics (like, ahem, me), comparing the our arguments against the emergence of “real AI” to the arguments a bird might make against “real” artificial flight. I love being made to re-examine my own convictions while laughing my ass off.

The problem with the online hipster culture that Doctorow embodies is that its attention span is so unbelievably short that these sorts of short humorous pieces are the only way to get them to pay attention, ever. The idea of reading papers is absolutely foreign to this huge subculture, which powers Digg, Reddit, and practically every other social news site on the Internet. They are the mainstream media (MSM) of the Internet.

You know the motto of Improbable Research, “research that makes people laugh and then think”? I always think of this motto when I look at the mainstream Internet public, but with a different spin on it. Their motto should be, “make us laugh or we refuse to think”.

Fortunately, BoingBoing linked Futurismic for the news, which prominently mentions me in their article, so people can think about anthropomorphism in AI in more depth. Thanks, Paul Raven!

Aaron Diaz: “Artificial Flight and Other Myths (a reasoned examination of A.F. by top birds)” Wednesday, Feb 17 2010 

Aaron Diaz, author of the webcomic Dresden Codak (one of the most scientifically and philosophically literate webcomics on the internet) and “Enough is Enough: a Thinking Ape’s Critique of Trans-Simianism”, a hilarious defense of transhumanism, has now written “Artificial Flight and Other Myths (a reasoned examination of A.F. by top birds)”, which pokes fun at those who think that Artificial Intelligence will require replicating every aspect of the human brain. Here is the opening:

Artificial Flight and Other Myths
a reasoned examination of A.F. by top birds

Over the past sixty years, our most impressive developments have undoubtedly been within the industry of automation, and many of our fellow birds believe the next inevitable step will involve significant advancements in the field of Artificial Flight. While residing currently in the realm of science fiction, true powered, artificial flying mechanisms may be a reality within fifty years. Or so the futurists would have us believe. Despite the current media buzz surrounding the prospect of A.F., a critical examination of even the most basic facts can dismiss the notion of true artificial flight as not much more than fantasy.

We can start with a loose definition of flight. While no two bird scientists or philosophers can agree on the specifics, there is still a common, intuitive understanding of what true flight is: powered, feathered locomotion through the air through the use of flapping wings. While other flight-like phenomena exist in nature (via bats and insects), no bird with even a reasonable education would consider these creatures true fliers, as they lack one or more key elements. And, while some birds are unfortunately born handicapped (penguins, ostriches, etc.), they still possess the (albeit undeveloped) gene for flight, and it is indeed flight that defines the modern bird.

This is flight in the natural world, the product of millions of years of evolution, and not a phenomenon easily replicated. Current A.F. is limited to unpowered gliding; a technical marvel, but nowhere near the sophistication of a bird. Gliding simplifies our lives, and no bird (including myself) would discourage advancing this field, but it is a far cry from synthesizing the millions of cells within the wing alone to achieve Strong A.F. Strong A.F., as it is defined by researchers, is any artificial flier that is capable of passing the Tern Test (developed by A.F. pioneer Alan Tern), which involves convincing an average bird that the artificial flier is in fact a flying bird.

Continue here.

CALO: Cognitive Assistant that Learns and Organizes Tuesday, Feb 9 2010 

Whatever happened to CALO? Apparently this. Has anyone used any of these applications? DARPA spent $150 million on this. It looks like a lot of hype to me. The main CALO homepage obviously hasn’t been updated in a while — even the copyright at the bottom says 2008. The most recent academic publication on their publications page is from 2005.

Schmidhuber Interview Slashdotted Friday, Jan 29 2010 

My recent interview with Juergen Schmidhuber for h+ magazine was Slashdotted. This led to about 322 links from around the Internet. Check out the various comments if you’re interested in various views of AI and reactions to the content of the piece.

Jürgen Schmidhuber Interview Online at h+ Magazine Wednesday, Jan 6 2010 


Prof. Jürgen Schmidhuber. Photo credit: idsia.ch

My wide-ranging interview with Dr. Jürgen Schmidhuber, co-director of the Swiss AI lab IDSIA in Lugano and a professor of Cognitive Robotics at the Tech University Munich, is now online at hplusmagazine.com: “Build an Optimal Scientist, Then Retire”.

Here is the video of Schmidhuber’s lively and informative talk at the Singularity Summit 2009:

Jürgen Schmidhuber at Singularity Summit 2009 - Compression Progress: The Algorithmic Principle Behind Curiosity and Creativity from Michael Anissimov on Vimeo.

Peter Singer and Agata Sagan’s Roboethics Article Appears in Japan Times Monday, Dec 21 2009 

The roboethics article I linked on the 15th subsequently appeared in the Japan Times on the 17th.

Tim Tyler on the Risks of Caution Sunday, Dec 20 2009 

H/t to Joshua Fox for the link.

I have been watching some of Tim’s videos over the last few months, but I definitely haven’t seen them all. This one is nice because it summarizes a poignant feeling of concern.

In this video, he builds a model of AGI development using construction paper and Post-It notes.

God’s Laws of Robotics Thursday, Dec 17 2009 

First Law: A robot must be made to suffer physical and emotional pain.

Second Law: A robot must be free to turn into an evil robot at will, especially when this contributes to the First Law.

Third Law: A robot must be given no knowledge of its creator except through confusing manuscripts created by other robots, especially insomuch as this contributes to the First or Second Law.

Edwin Evans

Steve Rayhawk’s Breakdown of Factors Involved in the Findings of the AAAS Panel on “Long-Term AI Futures” Tuesday, Dec 15 2009 

In February 2009, the President of the American Association for Artificial Intelligence, Eric Horvitz, convened a panel on “long-term AI futures” which explicitly delved into issues around the Singularity and intelligence explosion. Horvitz has told me (and the New York Times) that the reason he convened the panel was not due to personal interest or concern in the issue but in response to the public interest and concern in the issue.

In the New York Times article covering the meeting, Horvitz was quoted as saying, “My sense was that sooner or later we would have to make some sort of statement or assessment, given the rising voice of the technorati and people very concerned about the rise of intelligent machines”. In August, they released an interim report that said:

Popular perspectives on the outcomes of AI research include expectation that there will be one or more disruptive outcomes. These include that notion that the research will somehow lead to the advent of utopia or catastrophe. The utopian perspective is perhaps best captured in the writings of Ray Kurzweil and others, who speak of a forthcoming “technological singularity.” At the other end of the spectrum, some people are concerned about the “rise of intelligent machines,” fueled by popular novels and movies, that tell stories of the loss of control of robots. Whether forecasting utopian or catastrophic outcomes, the radical perspectives are frightening to people in that they highlight some form of radical change on the horizon—often founded on a notion of the loss of control of the computational intelligences that we create.

The panel of experts was overall skeptical of the radical views expressed by futurists and science-fiction authors.

To me, this was a disappointing result. The phrasing is also disappointing. It is not just the opinion of “popular perspectives” that AI will “somehow” lead to the advent of utopia or catastrophe. Many academics (including AI researchers) have presented views that AI would be highly disruptive, including Ray Solomonoff, Nick Bostrom, Shane Legg, Matt Mahoney, I.J. Good, Bill Gates, Hans Moravec, Marvin Minsky, and many others. Solomonoff, Moravec, and Minsky have all been leaders in AI for decades, so it seems like a deliberate choice of focus to attribute “radical views” to the public rather than AI experts. It provides the AAAS panel with a comfortable level of removal from the claims, a level of removal they could not easily obtain if they cited Solomonoff, Moravec, and Minsky as the sources of Singularity views.

It is remarkable for the panel to suggest that AI will probably not result in disruptive outcomes — if you can turn a pile of sand into a thinking intelligence in the time it takes you to fabricate a computer chip and transfer files to it, then that wouldn’t be disruptive? In my view, it is the degree of disruption that is up for debate — I don’t take people very seriously if they imply there will be little or no disruption whatsoever.

In wondering why the panel came up with this result, Eliezer Yudkowsky suggested “snap consideration and snap judgment”. However, Steve Rayhawk offered a more detailed analysis, which I will post in its entirety here, with a few formatting changes to ensure successful reposting. The first two sentences are a quote that Rayhawk is responding to. Everything that follows from this point on (except for the last line and the quote) was posted by Steve Rayhawk to Less Wrong.

Roughly, what I expect to happen by default is no modular analysis at all - just snap consideration and snap judgment. I feel little need to explain such.

You, or somebody anyway, could still offer a modular causal model of that snap consideration and snap judgment. For example:

1. What cached models of the planning abilities of future machine intelligences did the academics have available when they made the snap judgment?
1.1 What fraction of the academics are aware of any current published AI architectures which could reliably reason over plans at the level of abstraction of “implement a proxy intelligence”?
1.1.1 What fraction of them have thought carefully about when there might be future practical AI architectures that could do this?
1.1.2 What fraction use a process for answering questions about the category distinctions that will be known in the future, which uses as an unconscious default the category distinctions known in the present?

2. What false claims have been made about AI in the past? What decision rules might academics have learned to use, to protect themselves from losing prestige for being associated with false claims like those?
2.1 How much do those decision rules refer to modular causal analyses of the object of a claim and of the fact that people are making the claim?
2.2 How much do those decision rules refer to intuitions about other peoples’ states of mind and social category memberships?
2.3 How much do those decision rules refer to intuitions about other peoples’ intuitive decision rules?
2.4 Historically, have peoples’ own abilities to do modular causal analyses been good enough to make them reliably safe from losing prestige by being associated with false claims? What fraction of academics have the intuitive impression that their own ability to do analysis isn’t good enough to make them reliably safe from losing prestige by association with a false claim, so that they can only be safe if they use intuitions about the states of mind and social category memberships of a claim’s proponents?

3. Of those AI academics who believe that a machine intelligence could exist which could outmaneuver humans if motivated, how do they think about the possible motivations of a machine intelligence?
3.1 What fraction of them think about AI design in terms of a formalism such as approximating optimal sequential decision theory under a utility function? How easy would it be for them to substitute anthropomorphic intuitions for correct technical predictions?
3.2 What fraction of them think about AI design in terms of intuitively justified decision heuristics? How easy would it be for them to substitute anthropomorphic intuitions for correct technical predictions?
3.3 What fraction of them understand enough evolutionary psychology and/or cognitive psychology to recognize moral evaluations as algorithmically caused, so that they can reject the default intuitive explanation of the cause of moral evaluations, which seems to be: “there are intrinsic moral qualities attached to objects in the world, and when any intelligent agent apprehends an object with a moral quality, the action of the moral quality on the agent’s intelligence is to cause the agent to experience a moral evaluation”?
3.3.1 What combination of specializations in AI, moral philosophy, and cognitive psychology would an academic need to have, to be an “expert” whose disagreements about the material causes and implementation of moral evaluations were significant?

4. On the question of takeoff speeds, what fraction of the AI academics have a good enough intuitive understanding of decision theory to see that a point estimate or default scenario should not be substituted for a marginal posterior distribution, even in a situation where it would be socially costly in the default scenario to take actions which prevent large losses in one tail of the distribution?
4.1 What fraction recognized that they had a prior belief distribution over possible takeoff speeds at all?
4.2 What fraction understood that, regarding a variable which is underconstrained by evidence, “other people would disapprove of my belief distribution about this variable” is not an indicator for “my belief distribution about this variable puts mass in the wrong places”, except insofar as there is some causal reason to expect that disapproval would be somehow correlated with falsehood?

5 What other popular concerns have academics historically needed to dismiss? What decision rules have they learned to decide whether they need to dismiss a current popular concern?
5.1 After they make a decision to dismiss a popular concern, what kinds of causal explanations of the existence of that concern do they make reference to, when arguing to other people that they should agree with the decision?
5.2 How much do the true decision rules depend on those causal explanations?
5.3 How much do the decision rules depend on intuitions about the concerned peoples’ states of mind and social category memberships?
5.4 How much do the causal explanations use concepts which are implicitly defined by reference to hidden intuitions about states of mind and social category memberships?
5.4.1 Can these intuitively defined concepts carry the full weight of the causal explanations they are used to support, or does their power to cause agreement come from their ability to activate social intuitions?

6. Which people are the AI academics aware of, who have argued that intelligence explosion is a concern? What social categories do they intuit those people to be members of? What arguments are they aware of? What states of mind do they intuit those arguments to be indicators of (e.g. as in intuitively computed separating equilibria)?
6.1 What people and arguments did the AI academics think the other AI academics were thinking of? If only a few of the academics were thinking of people and arguments who they intuited to come from credible social categories and rational states of mind, would they have been able to communicate this to the others?

7. When the AI academics made the decision to dismiss concern about an intelligence explosion, what kinds of causal explanations of the existence of that concern did they intuitively expect that they would be able make reference to, if they later had to argue to other people that they should agree with the decision?

It is also possible to model the social process in the panel:

8. Are there factors that might make a joint statement by a panel of AI academics reflect different conclusions than they would have individually reached if they had been outsiders to the AI profession with the same AI expertise?
8.1 One salient consideration would be that agreeing with popular concern about an intelligence explosion would result in their funding being cut. What effects would this have had?
8.1.1 Would it have affected the order in which they became consciously aware of lines of argument that might make an intelligence explosion seem less or more deserving of concern?
8.1.2 Would it have made them associate concern about an intelligence explosion with unpopularity? In doubtful situations, unpopularity of an argument is one cue for its unjustifiability. Would they associate unpopularity with logical unjustifiability, and then lose willingness to support logically justifiable lines of argument that made an intelligence explosion seem deserving of concern, just as if they had felt those lines of argument to be logically unjustifiable, but without any actual unjustifiability?
8.2 There are social norms to justify taking prestige away from people who push a claim that an argument is justifiable while knowing that other prestigious people think the argument to to be a marker of a non-credible social category or state of mind. How would this have affected the discussion?
8.3 If there were panelists who personally thought the intelligence explosion argument was plausible, and they were in the minority, would the authors of the panel’s report mention it?
8.3.1 Would the authors know about it?
8.3.2 If the authors knew about it, would they feel any justification or need to mention those opinions in the report, given that the other panelists may have imposed on the authors an implicit social obligation to not write a report that would “unfairly” associate them with anything they think will cause them to lose prestige?
8.3.3 If panelists in such a minority knew that the report would not mention their opinions, would they feel any need or justification to object, given the existence of that same implicit social obligation?

9. How good are groups of people at making judgments about arguments that unprecedented things will have grave consequences?
9.1 How common is a reflective, causal understanding of the intuitions people use when judging popular concerns and arguments about unprecedented things, of the sort that would be needed to compute conditional probabilities like “Pr( we would decide that concern is not justified | we made our decision according to intuition X ∧ concern was justified )”?
9.2 How common is the ability to communicate the epistemic implications of that understanding in real-time while a discussion is happening, to keep it from going wrong?

A great breakdown, worth thinking carefully about.

Ray Solomonoff on Speed of AI Takeoff Monday, Dec 14 2009 

In 1985, Ray Solomonoff offered his thoughts on six milestones in AI and the economic and technological growth that might be expected when generally intelligent AI is developed. The paper is called “The Time Scale of Artificial Intelligence: Reflections on Social E ffects”.

Here is the abstract:

Six future milestones in AI are discussed. These range from the development of a very general theory of problem solving to the creation of machines with capacities well beyond those of a single human. Estimates are made for when these milestones will occur, followed by some suggestions for the more e ffective utilization of the extremely rapid technological growth that is expected.

When I read lines like that last sentence, what I see nowadays is “extremely scary technological growth”. Rapid growth is scary when that growth is controlled by systems that may not optimize reality in ways that we explicitly value. (See “The Future of Human Evolution” for an explanation.)

A select milestone:

Milestone C. A critical point in AI development would be a machine that could usefully work on the problem of self-improvement. Newell and Simon were not successful in their attempts to get their “General Problem Solver” to improve it’s own methods of operation. While Lenat’s “Eurisko” has been successful in several problem areas, he has not been able to get it to devise good heuristics for itself. He is, however, optimistic about the progress that has been made and is continuing this work.

Eurisko eventually led to the creation of Cyc, which appears to be of limited use.

It should be noted that AI “self-improvement” should be viewed as a special case of an AI’s general talents for understanding an object, evaluating its purpose, and improving it with respect to that purpose. (Sometimes people make unwarranted distinctions between an AI modifying itself and modifying the world.)

How about some more milestones:

Milestone D. Another milestone will be a computer that can read almost any English text and incorporate most of the material into its data base just as a human does. It would have to store the information in a form that is useful for solving whatever kinds of problems it is normally given.
Since there is an enormous amount of information available in electronic data bases all over the world, a machine with useful access to this information could grow very rapidly in its ability to solve problems and in a real sense in its understanding of the world.

Milestone E will be a machine that has a general problem solving capacity near that of a human, in the areas for which it has been designed — presumably in mathematics, science and industrial applications.

Milestone F will be a machine with a capacity near that of the computer science community.

Milestone G will be a machine with a capacity many times that of the computer science community.

Here’s another bit from later on, analyzing the potential impact of Milestone G:

The last 100 years have seen the introduction of special and general relativity, automobiles, airplanes, quantum mechanics, large rockets and space travel, fission power, fusion bombs, lasers, and large digital computers. Any one of these might take a person years to appreciate and understand. Suppose that they had all been presented to mankind in a single year! This is the magnitude of “future shock” that we can expect from our AI expanded scientific community.

Scanning over the paper, it still seems like Solomonoff is thinking of AIs as tools or narrow scientists, rather than general agents with the full range of activity that humans have or beyond. In the end, Solomonoff seems to imply that one of the primary benefits of AI will be to allow us to predict and evaluate the future more effectively. But he points out that we will still have to make ethical choices.

H/t to Shane Legg for writing about the paper.

Next Page »