10
$\begingroup$

I was reading about John McCarthy and his orthodox vision of Artificial Intelligence. To me, it seems like he was not very much in favour of resources (like time and money) being used to make AIs play games like Chess. Instead, he wanted more to focus on passing the Turing Test and AIs imitating human behavior.

I have also read many articles about major companies like IBM, Google, etc. spending millions of dollars in making AIs to play games like Chess, Go, etc.

To what extent is this justified?

$\endgroup$
  • 2
    $\begingroup$ My short answer is that games like Chess and Go have complexity akin to nature (by which I mean the universe) and are useful to study, particularly in their unsolved states, b/c, like looking out into the universe, you never know what you're going to find. Simple combinatorial models, of which games are the most useful for AI, can be infinitely expansive. Pure mathematics often takes a while to find applications, but it has a very good track record in this respect. Even where such games are solved, solutions can still be refined. $\endgroup$ – DukeZhou Jul 6 '17 at 21:40
  • 2
    $\begingroup$ To illustrate my point see A topological approach to solving Tic-Tac-Toe. This may also be of interest: Solving Tic-Tac-Toe, Part II: A Better Way. These are just a couple of basic example of what people are doing and thinking about and how games, in this case combinatorial games, relate to AI and problem solving. $\endgroup$ – DukeZhou Jul 6 '17 at 22:08
8
$\begingroup$

Alexander Kronrod once said, “Chess is the Drosophila of artificial intelligence”. John McCarthy disagrees with this statement. I think it's primarily because he has different vision.
Techniques and Innovative methods developed to play these games have been found useful over the wide spectrum of Computer Science (and not just Artificial Intelligence).

The Book Artificial Intelligence: A Modern Approach used Grand Prix motor racing as an analogy to explain the above issue. Games like Chess, Go, Othello is to AI as Grand Prix motor racing is to the car industry. The powerful, highly optimised engines that incorporate the latest engineering advances are not good for driving on regular roads, for shopping, etc. Nonetheless, it creates excitement and steady stream of innovations that have been adopted by the wider community.

AI programs written to play games like Chess, Othello, Go have introduced concepts like null move heuristics, futility pruning, combinatorial game theory, finessing and squeezing, metareasoning and much more. Highly advanced algorithms of machine learning and deep learning are their output.

You can see it similar to space missions of NASA, ISRO, JAXA and other space agencies. All these missions don’t seem to have a direct benefit to citizens but have many indirect benefits. They pave the way for technological innovations (GPS, 3D printing, car crash technology, clean energy, LED), the creation of jobs, etc. Advance storms, hurricane detection is the output of space exploration which has saved millions of lives worldwide.

AI Games has not just helped to develop the software but hardware also. Many innovations have been seen to produce highly optimised and powerful hardware.

$\endgroup$
  • 4
    $\begingroup$ Also, games like chess are highly standardized, so it's easier to compare different solutions and approaches. However, the Turing test doesn't have any formal base for comparison that is consistent over multiple runs (AFAIK), so comparing different approaches gets a lot harder (and possibly dependent on measuring methodology). $\endgroup$ – hoffmale Jul 5 '17 at 10:01
  • 1
    $\begingroup$ "“Chess is the Drosophila of artificial intelligence”" what he tryed to express with that? $\endgroup$ – dhein Jul 5 '17 at 10:05
  • $\begingroup$ @dhein Drosophila is a fruit fly and is used by geneticists to make discoveries that apply to biology more broadly. More here $\endgroup$ – Ugnes Jul 5 '17 at 10:08
  • $\begingroup$ I even rea that wiki page before psoted my comment still not getting the connection. $\endgroup$ – dhein Jul 5 '17 at 10:11
  • 3
    $\begingroup$ @dhein It's just what the answer said. In genetics this species is very well understood, most of their mutations are very well seen and understood. They are ideal for studying genetics. Why? I don't know. You might need to ask an expert. Same is Chess for AI. Concepts applied in playing chess includes rational thinking, looking ahead, and other techniques. When we make a program play chess we try to incorporate these things in it. This helps the philosophy of AI overall. I hope it helps. $\endgroup$ – Ugnes Jul 5 '17 at 10:18
3
$\begingroup$

Why is Game Playing R&D a Focus of Resource Allocation?

When examining the apparent obsession with game playing as researchers attempt to simulate portions of human problem solving abilities, the orthodoxy of the views of John McCarthy (1927 – 2011) may be misleading.

Publication editorial bias and popular science fiction themes may obscure the primary forces that lead to the appearance of obsession with developing winning board game software. When examining the allocation of funds and human resources within the many fields of intelligence research and development, some historical background is necessary to circumvent distortions typical of answers to questions in this social net.

Historical Background

The ability to place ourselves out of our own time and into the mindset of other periods is helpful when analyzing history, including scientific and technological history.

Consider that McCarthy's vision was not orthodox in his time. It quickly became orthodox because of an array of emerging trends in thought about automation among scientists and mathematicians in times immediately following western industrialization. This thinking was the natural extension of the mechanization of the printing, textile, agriculture, and transportation industries and of war.

By the mid-twentieth century, some of these trends combined to conceptualize the digital computer. Others became orthodoxy within the community of people investigating aspects of intelligence via digital systems. The technical backdrop included theoretical work and electro-mechanical work, some of which has since achieved a degree of public fame. But it was generally either secret or too abstract (and therefore obscure) to be considered items of national security interest at the time.

  • Cybernetics theory, largely developed by Norbert Wiener (1894 – 1964)
  • The work done on automating arithmetic (extending George Boole's theory and Blaise Pascal's calculator, with primary funding originating from the U.S. military in an interest in guiding anti-aircraft weaponry by calculating probable trajectories of enemy of aircraft and determining spherical coordinates to create a probable interesting ballistic trajectory
  • Often dismissed work of Alonso Church (1903 – 1995) on lambda calculus which led to the idea of functional programming, a key aspect to the emergence of LISP in Cambridge, which McCarthy leveraged for early AI experimentation
  • The birth of information theory, primarily through the work of Claude Shannon (1916 – 2001), funded through Bell Labs in the interest of automating communications switching
  • The early cryptanalysis work of Church's doctoral student, Alan Turing, funded entirely by Allied Forces with the R&D goal of defeating the Enigma cryptography device so that Nazi forces could be stopped prior to the complete annihilation of London and other Allied targets
  • The work on John von Neumann (1903 – 1957) toward centralizing the implementation of arbitrary Boolean logic together with integer arithmetic into a single unit (currently called a CPU) and storing the program that controlled the implementation in electronic flip-flops along with the data to be processed and the results (the same general architecture imployed by almost all contemporary computing devices today)

All of these were concepts surrounding the vision of automata, the simulation of functional aspects of mammalian neurology. (A monkey or elephant can successfully plan and execute the swatting of a fly, but a fly is incapable of planning and executing an attack on a monkey or elephant.)

Experimentation into intelligence and its simulation via symbolic manipulation using a new programming language, LISP, was a primary focus of John McCarthy and his role in the creation of the MIT AI Laboratory. But whatever orthodoxy may have existed with rule based (production systems), neural nets, and genetic algorithms has largely diversified into a cloud of ideas that make the term orthodoxy somewhat nebulous. A few examples follow.

  • Richard Stallman resigned from the MIT AI Lab and began a philosophical shift away from many of the economic philosophies that dominated that time period. The result was GNU software and LINUX, followed by open hardware and creative commons, concepts largely opposed to the philosophic orientation of those that funded AI hotbeds.
  • Many proprietary (and therefore company confidential) systems use Bayesian methods or adaptive components that stem more from Norbert Wiener's work than anything that was considered mainstream AI research in the 1970s.

The Birth of Game Theory

The key event that answers the question most directly in this parade of historical events is some other work of von Neumann's. His book Game Theory, coauthored with Oskar Morgenstern, is perhaps the strongest factor among the historical conditions that led to the persistence of Go and Chess as test scenarios for problem solving software.

Although there were many earlier works on how to win in Chess or Go, never before was there a mathematical treatment and a presentation as compelling as that in Game Theory.

The privileged members of the scientific community were well aware of von Neumann's success with raising the temperature and pressure of fissile material to critical mass and his work in deriving classic thermodynamics from quantum theory. The foundation of mathematics he presented in Game Theory was quickly accepted (by some of the same people that funded research at MIT) as a potential predictive tool for economics. Predicting economics was the first step in controlling it.

Theory Meets Geopolitical Philosophy

The dominant philosophy that drove western policy during that period was Manifest Destiny, essentially the fatalist view of a New World Order, the head of which would be in the seats of U.S. power. Declassified documents indicate that it is highly likely that leaders of that time saw economic domination achieved through the application of game theory as considerably less risky and expensive than military conquest followed by the maintenance of bases of operations (high tech garrisons) near every populated area overseas.

The highly publicized challenges to develop Chess and Go automatons are simply dragnets that corporations and governments use as a first cut in the acquisition of personnel assets. The game results are like resumes. A winning game playing program is a piece of evidence of the existence of programming skill that would likely also succeed in the development of more important games that move billions of dollars or win wars.

Those who can write winning Chess or Go code are considered high value assets. Funding game playing research has been seen as a way of identifying those assets. Even in the absence of immediate return on investment, the identification of these assets, because they can be tucked away in think tanks to plot out the domination of the world, have become a primary consideration when research funds are allocated.

Slow and Fast Paths to Return on Investment

In contrast to this geopolitical thinking, seeking institutional prestige on the back of some crafty programmer or team is another factor. In this scenario, any progress in simulating intelligence that has a potential of geometric improvements in some important industry or military application was sought.

For instance, programs like Maxima (a forerunner of mathematical problem solving applications such as Mathematica) were funded with the hope of developing mathematics using symbolic computing.

This path to success conceptually rested on determinism as an overarching natural philosophy. In fact, it was the epitome of determinism. It was proposed that, if a computer could not only do arithmetic but develop mathematical theorems of super-human complexity, models of human endeavors could be reduced to equations and solved. The predictability for a wide variety of important economic, military, and political phenomena could then be used in decision making, permitting significant gain.

To the surprise of many, the success of Maxima and other mathematics programs was very limited in its positive impact on the ability to reliably predict economic and geopolitical events. The emergence of Chaos Theory explained why.

Beating a human master with a program turned out to be within the reach of twentieth century R&D. Use of software to experiment on various computer science approaches to winning a game was achievable and therefore more attractive for institutions as a way of gaining prestige, much like a winning basketball team.

Let's Not Forget Discovery

Sometimes appearances are in direct opposition to actuality. The various above mentioned applications of thinking machines nave not been forgotten, and the expense in time and money required to simulate aspects of mammalian abilities will not loose funding to board game automaton development.

Technology is largely occupied with solving communications, military, geopolitical, economic, and financial problems that far exceed the complexity of games like Chess and Go. Game theory includes elements of random moves made by non-players as far back as its inception. Therefore, the obsession with Chess and Go is merely a signature of the actual focus of funding and activity in the many fields of simulating intelligence.

Software that can play a mean game of Chess or Go is deployed to neither NSA global modelling computers nor Google's indexing machinery. The big dollars are spent to develop what IS deployed into such places.

You will never see details on or even an overview of that R&D described online, except in the case of people who, for some personally compelling reason, violate their company confidential agreements or commit treason.

$\endgroup$
  • 1
    $\begingroup$ Very nice explanation by linking the historical background. You are so right about how things have changed in AI research with time. Very good point on placing yourself back in time to understand the perspective. $\endgroup$ – Ugnes Jul 11 '17 at 6:18
2
$\begingroup$

I find the statement troubling as the first confirmed algorithmic intelligence may have been a NIM automata, so from my perspective, the development of Algorithmic Intelligence is inseparable from combinatorial games. it would also seem that McCarthy does not hold the opinion that games are useful, which leads me to suspect he has never seriously studied the history of games.

Combinatorial Game Theory, an applied field in mathematics and computing, was formalized in the decades after the Sprague-Grundy Theorem which was a mathematical analysis of the game of NIM. More recently, the protein folding game Foldit produced real results in an applied field.

  • The answer I usually give is that games such as Chess and Go provide complexity akin to nature using extremely simple parameters. (In essence, combinatorial games and puzzles, like Sudoku, are complexity engines.)

But games, unlike puzzles, which are solo endeavors, require a type of strategic decision-making that is quite useful. (@Ugnes answer lists many of them.)

  • Combinatorial games in particular provide a useful benchmark for the capability of algorithms to manage intractable problems.

There is also a PR factor. Algorithmic language translation has gotten extremely good in recent years, but you never hear the press making a big deal about it. Compare to DeepBlue vs. Kasparov, or AlphaGo vs. Sedol. (This stack exploded with ML questions after the AlphaGo result.) This is similar to the US moon landings, which was great, if not strictly necessary, engineering feat that inspired generations of budding scientists.


Postscript: It's notable that until recently, the term "strong" was reserved for Artificial General Intelligence, which is still highly theoretical. After AlphaGo, I'm starting to see scholars use the term "Strong Narrow AI."

The use of strong in relation to Artificial General Intelligence is purely philosophical. By contrast, the way the term is used in Combinatorial Game Theory (see Solved Game) is purely practical and involves mathematical proofs.

Chess remains unsolved, and therefore it is still useful for study. [See GiraffeChess following.]

The fields of Game Theory and Combinatorial Game Theory include names like Von Neumann, Nash and Conway, and more recently Demain at MIT. And if you want to include combinatorial puzzles like Sudoku, we can stretch this back to Euler. For these reasons, as well as those listed above, I have a hard time seeing analysis of games as a trivial pursuit.


Giraffe Chess was a recent result by an individual mathematician/programmer, Matthew Lai, who used a Neural Network approach to create a chess algorithm that taught itself to play at an international master level in 72 hours.

One of of Lai's goals was to create an algorithm that produced more "human like play". (Compare to the "inhuman" play of algorithms like AlphaGo.) Giraffe is not AGI, but it certainly could be taken to be an piece of the puzzle.

Computer games are arguably the deepest type of interactions shared by humans and automata, and this type of interaction goes back almost to the inception of modern computing.

$\endgroup$
  • 2
    $\begingroup$ It wasn't like McCarthy thought games are useless. He believed that we should focus more on imitating human behaviour by machines, things like Turing Test. He thought Turing Test might be more important than Chess when it comes to AI. This might help. $\endgroup$ – Ugnes Jul 6 '17 at 3:47
  • $\begingroup$ @Ugnes Thanks for clarifying, but my point still holds. Turing test passing is a nice idea, but it's very philosophical, and entirely subjective. It's also fairly meaningless because passing a Turing test doesn't mean self-awareness or volition. Game Theory and Combinatorial Game Theory are practical, procedural and mathematical, and the restriction of game AI to "narrow" is likely a reflection on the limited nature of current game models. Metagames like [M] provide a bridge to the two fields, and may provide a compact model for fundamental AGI. $\endgroup$ – DukeZhou Jul 6 '17 at 18:59
  • 1
    $\begingroup$ @Ugnes I guess partly what I'm saying is that, approaching AGI at a high level will probably just be "smoke and mirrors". My hypothesis is that AGI needs to be approached at a fundamental level, with basic volitional (economic) functions that become "autonomic". Once you have that, you can build on top of it by plugging Natural Language Processing, etc. I'm skeptical of any approach to AGI that is not rooted in Game Theory and it's extensions, which apply to all decision-making, whether conscious or autonomic (as in the case of simple organisms.) $\endgroup$ – DukeZhou Jul 6 '17 at 19:12
  • 1
    $\begingroup$ I totally agree with you. I too am not a very big fan of Turing Test. Plus Game theory is another very important topic. I too have been a student of Economics, thus I understand. $\endgroup$ – Ugnes Jul 7 '17 at 4:04
  • 1
    $\begingroup$ @Ugnes If find it interesting that Turing himself called his test the "Imitation Game", which I take to be a precise and accurate description. (It's possible that the rebranding as the "Turing Test" is misleading in that, in popular understanding, it seems to have taken on broader implications such as self-awareness...) $\endgroup$ – DukeZhou Jul 9 '17 at 16:55
0
$\begingroup$

The Turing test is far too subjective and a waste of time in my opinion. Im sure millions of people have responded to emails sent by bots or conversed with chatbots online whilst having no idea that they are actually just responding to a program.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.