Linguistic Geometry: From Search to Construction is the first book of its kind. Linguistic Geometry (LG) is an approach to the construction of mathematical models for large-scale multi-agent systems. A number of such systems, including air/space combat, robotic manufacturing, software re-engineering and Internet cyberwar, can be modeled as abstract board games. These are games with moves that can be represented by the movement of abstract pieces over locations on an abstract board. The purpose of LG is to provide strategies to guide the games' participants to their goals. Traditionally, discovering such strategies required searches in giant game trees. These searches are often beyond the capacity of modern and even conceivable future computers. LG dramatically reduces the size of the search trees, making the problems computationally tractable. LG provides a formalization and abstraction of search heuristics used by advanced experts including chess grandmasters. Essentially, these heuristics replace search with the construction of strategies. To formalize the heuristics, LG employs the theory of formal languages (i.e. formal linguistics), as well as certain geometric structures over an abstract board. The new formal strategies solve problems from different domains far beyond the areas envisioned by the experts. For a number of these domains, Linguistic Geometry yields optimal solutions.

The notion of linguistic geometry is defined in this book. It is pertinent to keep in the record that linguistic geometry differs from classical geometry. Many basic or fundamental concepts and notions of classical geometry are not true or extendable in the case of linguistic geometry. Hence, for simple illustration, facts like two distinct points in classical geometry always define a line passing through them; this is generally not true in linguistic geometry. Suppose we have two linguistic points as tall and light we cannot connect them, or technically, there is no line between them. However, let's take, for instance, two linguistic points, tall and very short, associated with the linguistic variable height of a person. We have a directed line joining from the linguistic point very short to the linguistic point tall. In this case, it is important to note that the direction is essential when the linguistic variable is a person's height. The other way line, from tall to very short, has no meaning. So in linguistic geometry, in general, we may not have a linguistic line; granted, we have a line, but we may not have it in both directions; the line may be directed. The linguistic distance is very far. So, the linguistic line directed or otherwise exists if and only if they are comparable. Hence the very concept of extending the line infinitely does not exist. Likewise, we cannot say as in classical geometry; three noncollinear points determine the plane in linguistic geometry. Further, we do not have the notion of the linguistic area of well-defined figures like a triangle, quadrilateral or any polygon as in the case of classical geometry. The best part of linguistic geometry is that we can define the new notion of linguistic social information geometric networks analogous to social information networks. This will be a boon to non-mathematics researchers in socio-sciences in other fields where natural languages can replace mathematics.

Linking is one of the challenges for theories of the syntax-semantics interface. In this new approach, the author explores the hypothesis that the positions of syntactic arguments are strictly determined by lexical argument geometry. Through careful argumentation and original analysis, her study provides a framework for explaining the linking patterns of a range of verb classes, leading to a number of insights about lexical structure and a radical rethinking of many verb classes.

This book constitutes the thoroughly refereed postproceedings of the Second International Conference on Computers and Games, CG 2001, held in Hamamatsu, Japan in October 2000. The 23 revised full papers presented together with two invited contributions and five reviews were carefully refereed and selected during two rounds of reviewing and improvement. The papers are organized in topical sections on search and strategies, learning and pattern acquisition, theory and complexity issues, and further experiments on game; the reviews presented are on computer language games, computer Go, intelligent agents for computer games, RoboCup, and computer Shogi.

Artificial intelligence (AI) is a branch of computer science that models the human ability of reasoning, usage of human language and organization of knowledge, solving problems and practically all other human intellectual abilities. Usually it is characterized by the application of heuristic methods because in the majority of cases there is no exact solution to this kind of problem. Soft computing can be viewed as a branch of AI that deals with the problems that explicitly contain incomplete or complex information, or are known to be impossible for direct computation, i.e., these are the same problems as in AI but viewed from the perspective of their computation. The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intelligence (SMIA), is a major international AI forum and the main event in the academic life of the country’s growing AI community. In 2010, SMIA celebrated 10 years of activity related to the organization of MICAI as is represented in its slogan “Ten years on the road with AI”. MICAI conferences traditionally publish high-quality papers in all areas of artificial intelligence and its applications. The proceedings of the previous MICAI events were also published by Springer in its Lecture Notes in Artificial Intelligence (LNAI) series, vols. 1793, 2313, 2972, 3789, 4293, 4827, 5317, and 5845. Since its foundation in 2000, the conference has been growing in popularity and improving in quality.

The rising tide of threats, from financial cybercrime to asymmetric military conflicts, demands greater sophistication in tools and techniques of law enforcement, commercial and domestic security professionals, and terrorism prevention. Concentrating on computational solutions to determine or anticipate an adversary's intent, Adversarial Reasoning: