This special issue issue of AI Magazine presents six articles on some of the most interesting question answering systems in development today. Included are articles on Project, the Semantic Research, Watson, True Knowledge, and TextRunner (University of Washington's clever use of statistical NL techniques to answer questions across the open web).

This special issue issue of AI Magazine presents six articles on some of the most interesting question answering systems in development today. Included are articles on Project, the Semantic Research, Watson, True Knowledge, and TextRunner (University of Washington’s clever use of statistical NL techniques to answer questions across the open web).

The Logic Programming (LP) community, through the Association for Logic Programming (ALP) and its Executive Committee, decided to introduce for 2010 important changes in the way the main yearly results in LP and related areas are published. Whereas such results have appeared to date in standalone volumes of proceedings of the yearly International Conferences on Logic Programming (ICLP), and this method -fully in the tradition of Computer Science (CS)- has served the community well, it was felt that an effort needed to be made to achieve a higher level of compatibility with the publishing mechanisms of other fields outside CS. In order to achieve this goal without giving up the traditional CS conference format a different model has been adopted starting in 2010 in which the yearly ICLP call for submissions takes the form of a joint call for a) full papers to be considered for publication in a special issue of the journal, and b) shorter technical communications to be considered for publication in a separate, standalone volume, with both kinds of papers being presented by their authors at the conference. Together, the journal special issue and the volume of short technical communications constitute the proceedings of ICLP. This 26th International Conference on Logic Programming Special Issue is the first of a series of yearly special issues of Theory and Practice of Logic Programming (TPLP) putting this new model into practice.

This thesis investigates the use of problem-specific knowledge to enhance a genetic algorithm approach to multiple-choice optimisation problems.It shows that such information can significantly enhance performance, but that the choice of information and the way it is included are important factors for success.Two multiple-choice problems are considered.The first is constructing a feasible nurse roster that considers as many requests as possible.In the second problem, shops are allocated to locations in a mall subject to constraints and maximising the overall income.Genetic algorithms are chosen for their well-known robustness and ability to solve large and complex discrete optimisation problems.However, a survey of the literature reveals room for further research into generic ways to include constraints into a genetic algorithm framework.Hence, the main theme of this work is to balance feasibility and cost of solutions.In particular, co-operative co-evolution with hierarchical sub-populations, problem structure exploiting repair schemes and indirect genetic algorithms with self-adjusting decoder functions are identified as promising approaches.The research starts by applying standard genetic algorithms to the problems and explaining the failure of such approaches due to epistasis.To overcome this, problem-specific information is added in a variety of ways, some of which are designed to increase the number of feasible solutions found whilst others are intended to improve the quality of such solutions.As well as a theoretical discussion as to the underlying reasons for using each operator,extensive computational experiments are carried out on a variety of data.These show that the indirect approach relies less on problem structure and hence is easier to implement and superior in solution quality.

When creating algorithms or systems that are supposed to be used by people, we should be able to adopt a "binocular" view of users' interaction with intelligent systems: a view that regards the design of interaction and the design of intelligent algorithms as interrelated parts of a single design problem. This special issue offers a coherent set of articles on two levels of generality that illustrate the binocular view and help readers to adopt it.

There is considerable validity to this point of view: Anyone who develops systems that are intended for use by people can benefit from familiarity with and application of these methods. Accordingly, this article offers a brief introduction to these methods, including examples and suggestions for additional reading (see in particular the Further Reading section). Even people who are already experts in the application of these methods should be aware of potential adaptations and extensions to the methods when applied to systems that are designed to incorporate significant use of AI. The theme articles by Lieberman (2009) and by Jameson (2009) in this issue discuss some of the ways in which systems that incorporate intelligence tend to differ from systems that do not, both in terms of their potential to help users and in terms of possible side effects. These and other properties of intelligent systems can affect the application of design and evaluation methods in various ways, some of which are illustrated in the case studies of this special issue. To organize our discussion, we distinguish broadly three types of activity that are involved in usability engineering: understanding users' needs, interaction design, and evaluation. Except for the fact that understanding users' needs tends to occur early in the design process, these activities generally proceed in parallel and complement each other.

When creating algorithms or systems that are supposed to be used by people, we should be able to adopt a “binocular” view of users’ interaction with intelligent systems: a view that regards the design of interaction and the design of intelligent algorithms as interrelated parts of a single design problem. This special issue offers a coherent set of articles on two levels of generality that illustrate the binocular view and help readers to adopt it.

The goal of the Innovative Applications of Artificial Intelligence (IAAI) conference is to highlight new, innovative, systems and application areas of AI technology and to point out the often-overlooked difficulties involved in deploying complex technology to end users. Those of us who have ventured out of the realm of pure research and tried to build applications to be used by our fellow humans realize that it takes a lot more than just brilliant algorithms to make an application survive in the real world. Each application that succeeds is worth celebrating and the teams behind them are due wholehearted congratulations. It is in this spirit that we bring you this special issue covering select applications from the IAAI conference held last year in Chicago.

The goal of the Innovative Applications of Artificial Intelligence (IAAI) conference is to highlight new, innovative, systems and application areas of AI technology and to point out the often-overlooked difficulties involved in deploying complex technology to end users. Those of us who have ventured out of the realm of pure research and tried to build applications to be used by our fellow humans realize that it takes a lot more than just brilliant algorithms to make an application survive in the real world. Each application that succeeds is worth celebrating and the teams behind them are due wholehearted congratulations. It is in this spirit that we bring you this special issue covering select applications from the IAAI conference held last year in Chicago.

Specialized intelligent systems can be found everywhere: finger print, handwriting, speech, and face recognition, spam filtering, chess and other game programs, robots, et al. This decade the first presumably complete mathematical theory of artificial intelligence based on universal induction-prediction-decision-action has been proposed. This information-theoretic approach solidifies the foundations of inductive inference and artificial intelligence. Getting the foundations right usually marks a significant progress and maturing of a field. The theory provides a gold standard and guidance for researchers working on intelligent algorithms. The roots of universal induction have been laid exactly half-a-century ago and the roots of universal intelligence exactly one decade ago. So it is timely to take stock of what has been achieved and what remains to be done. Since there are already good recent surveys, I describe the state-of-the-art only in passing and refer the reader to the literature. This article concentrates on the open problems in universal induction and its extension to universal intelligence.