In Language and Equilibrium, Prashant Parikh offers a new account of meaning for natural language. He argues that equilibrium, or balance among multiple interacting forces, is a key attribute of language and meaning and shows how to derive the meaning of an utterance from first principles by modeling it as a system of interdependent games.
When we play the ancient and noble game of chess, we grapple with ideas about honesty, deceitfulness, bravery, fear, aggression, beauty, and creativity, which echo (or allow us to depart from) the attitudes we take in our daily lives. Chess is an activity in which we deploy almost all our available cognitive resources; therefore, it makes an ideal laboratory for investigation into the workings of the mind. Indeed, research into artificial intelligence (AI) has used chess as a model for intelligent behavior since the 1950s.
New approaches to artificial intelligence spring from the idea that intelligence emerges as much from cells, bodies, and societies as it does from evolution, development, and learning. Traditionally, artificial intelligence has been concerned with reproducing the abilities of human brains; newer approaches take inspiration from a wider range of biological structures that that are capable of autonomous self-organization.
In The Allure of Machinic Life, John Johnston examines new forms of nascent life that emerge through technical interactions within human-constructed environments—"machinic life"—in the sciences of cybernetics, artificial life, and artificial intelligence. With the development of such research initiatives as the evolution of digital organisms, computer immune systems, artificial protocells, evolutionary robotics, and swarm systems, Johnston argues, machinic life has achieved a complexity and autonomy worthy of study in its own right.
Constraint logic programming, the notion of computing with partial information, is becoming recognized as a way of dramatically improving on the current generation of programming languages. This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation.
Building a person has been an elusive goal in artificial intelligence. This failure, John Pollock argues, is because the problems involved are essentially philosophical; what is needed for the construction of a person is a physical system that mimics human rationality. Pollock describes an exciting theory of rationality and its partial implementation in OSCAR, a computer system whose descendants will literally be persons.
The Core Language Engine presents the theoretical and engineering advances embodied in one of the most comprehensive natural language processing systems designed to date. Recent research results from different areas of computational linguistics are integrated into a single elegant design with potential for application to tasks ranging from machine translation to information system interfaces.
Logic-based formalizations of argumentation, which assume a set of formulae and then lay out arguments and counterarguments that can be obtained from these formulae, have been refined in recent years in an attempt to capture more closely real-world practical argumentation. In Elements of Argumentation, Philippe Besnard and Anthony Hunter introduce techniques for formalizing deductive argumentation in artificial intelligence, emphasizing emerging formalizations for practical argumentation.
The idea of intelligent machines has become part of popular culture, and t tracing the history of the actual science of machine intelligence reveals a rich network of cross-disciplinary contributions—the unrecognized origins of ideas now central to artificial intelligence, artificial life, cognitive science, and neuroscience.