This unique book is a broad, clear presentation of artificial intelligence (AI) problem-solving techniques. It selects the most important among the well-defined algorithms and procedures in the field, explains them in plain language, and, where ...

Multiagent systems combine multiple autonomous entities, each having diverging interests or different information. This overview of the field offers a computer science perspective, but also draws on ideas from game theory, economics, operations ...

Provides a unified, coherent account of machine interaction at the level of the machine designers (the society of designers) and the level of the machine interaction itself (the resulting artificial society). Rules of Encounter applies the ...

Genetic algorithms have been used in science and engineering as adaptive algorithms for solving practical problems and as computational models of natural evolutionary systems. This brief, accessible introduction describes some of the most ...

A gentle introduction to genetic algorithms. Genetic algorithms revisited: mathematical foundations. Computer implementation of a genetic algorithm. Some applications of genetic algorithms. Advanced operators and techniques in genetic search ...

The Design of Innovation illustrates how to design and implement competent genetic algorithms-genetic algorithms that solve hard problems quickly, reliably, and accurately-and how the invention of competent genetic algorithms amounts to the ...

“Only a small community has concentratedon general intelligence. No one has tried to make a thinking machine . . . The bottom line is that we really haven’t progressed too far toward a truly intelligent machine. We have collections of dumb ...

Creating robust artificial intelligence is one of the greatest challenges for game developers. AI is increasingly important to games, and a game's commercial success is often dependent on the quality of the AI. However, AI is still not well ...

In this mind-expanding book, scientific pioneer Marvin Minsky continues his groundbreaking research, offering a fascinating new model for how our minds work. He argues persuasively that emotions, intuitions, and feelings are not distinct things ...

Learn to make games that are more fun and engaging! Building on fundamental principles of Artificial Intelligence, Funge explains how to create Non-Player Characters (NPCs) with progressively more sophisticated capabilities. Starting with the ...

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so ...

Computers and Thought showcases the work of the scientists who not only defined the field of Artificial Intelligence, but who are responsible for having developed it into what it is today. Originally published in 1963, this collection includes ...

First Published in 1987. Routledge is an imprint of Taylor & Francis, an informa company.

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.

W. V. Quine’s systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication ...

Among the dreams of mankind is the one dealing with the mecha­ nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might ...

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early ...

Written by the organizer of this historic match, this book provides a whistle-stop tour of the development and history of chess-playing computers. As the development comes to its culmination in Philadelphia, the Deep Blue team and Gary Kasparov ...