This paper presents a new type of genetic algorithm for the set covering problem. It differs from previous evolutionary approaches first because it is an indirect algorithm, i.e. the actual solutions are found by an external decoder function. The genetic algorithm itself provides this decoder with permutations of the solution variables and other parameters. Second, it will be shown that results can be further improved by adding another indirect optimisation layer. The decoder will not directly seek out low cost solutions but instead aims for good exploitable solutions. These are then post optimised by another hill-climbing algorithm. Although seemingly more complicated, we will show that this three-stage approach has advantages in terms of solution quality, speed and adaptability to new types of problems over more direct approaches. Extensive computational results are presented and compared to the latest evolutionary and other heuristic approaches to the same data instances. Introduction In recent years, genetic algorithms have become increasingly popular for solving complex optimisation problems such as those found in the areas of scheduling or timetabling. The general approach in the past was to directly optimise problems with a genetic algorithm often coupled with a post optimisation phase, i.e. both optimisation phases are directed towards lowering the cost of solutions. The new approach presented here is different in two respects. First, a separate decoding routine, with parameters provided by the genetic algorithm, solves the actual problem. Second, the aim of this decoder optimisation is not to achieve the lowest cost solutions in the first instance.

Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could be considered a key tool in increasing intelligence in biological structures. A possible way of answering this question in a mathematical context is shown, formulating a proposition that suggests a link between intelligence and contradiction. A concrete approach is presented in the well-defined setting of cellular automata. Here we define the models of ``observer'', ``entity'', ``environment'', ``intelligence'' and ``contradiction''. These definitions, which roughly correspond to the common meaning of these words, allow us to deduce a simple but strong result about these concepts in an unbiased, mathematical manner. Evidence for a real-world counterpart to the demonstrated formal link between intelligence and contradiction is provided by three computational experiments.

The AAAI video archive is a central source of information about videotapes and films with information about AI that are stored digitally on other sites or physically in institutional archives. For each video, the archive includes a brief description of the contents and personae, one or more representative short clips for classroom or individual use, and the location of the archival copy (for example, at a university library).

Custom DU is an automated underwriting system that enables mortgage lenders to build their own business rules that facilitate assessing borrower eligibility for different mortgage products. Developed by Fannie Mae, Custom DU has been used since 2004 by several lenders to automate the underwriting of numerous mortgage products. Custom DU uses rule specification language techniques and a web-based, user-friendly interface for implementing business rules that represent business policy. By means of the user interface, lenders can also customize their underwriting findings reports, test the rules that they have defined, and publish changes to business rules on a real-time basis, all without any software modifications. The user interface enforces structure and consistency, enabling business users to focus on their underwriting guidelines when converting their business policy to rules. Once lenders have created their rules, loans are routed to the appropriate rule sets, and customized, but consistent, results are always returned to the lender. Using Custom DU, lenders can create different rule sets for their products and assign them to different channels of the business, allowing for centralized control of underwriting policies and procedures—even if lenders have decentralized operations.

Crosswords are very popular and represent a useful domain of investigation for modern artificial intelligence. In contrast to solving other celebrated games (such as chess), cracking crosswords requires a paradigm shift towards the ability to handle tasks for which humans require extensive semantic knowledge. This article introduces WebCrow, an automatic crossword solver in which the needed knowledge is mined from the web: clues are solved primarily by accessing the web through search engines and applying natural language processing techniques. In competitions at the European Conference on Artificial Intelligence (ECAI) in 2006 and other conferences this web-based approach enabled WebCrow to outperform its human challengers. Just as chess was once called “the Drosophila of artificial intelligence,” we believe that crossword systems can be useful Drosophila of web-based agents.

This article describes the architecture and AI technology behind an XML-based AI framework designed to streamline e-government form processing. The framework performs several crucial assessment and decision support functions, including workflow case assignment, automatic assessment, follow-up action generation, precedent case retrieval, and learning of current practices. To implement these services, several AI techniques were used, including rule-based processing, schema-based reasoning, AI clustering, case-based reasoning, data mining, and machine learning. The primary objective of using AI for e-government form processing is of course to provide faster and higher quality service as well as ensure that all forms are processed fairly and accurately. With AI, all relevant laws and regulations as well as current practices are guaranteed to be considered and followed. An AI framework has been used to implement an AI module for one of the busiest immigration agencies in the world.

(ICEIS 2008). (ESAS 2008). Fax: 32-26502715 Faculty of Electrical Engineering and Email: ants@iridia.ulb.ac.be Computing, University of Zagreb URL: iridia.ulb.ac.be/ants2008/ Submission requirements may vary for each workshop, but most Multidisciplinary Workshop on Advances in Preference Handling conform to the schedule below.

AAAI-10 will be held in Atlanta, Georgia! Please mark your calendars, and visit www.aaai.org/Conferences/AAAI/ For more information on Human and Machine Cognition Chicago, please visit www.choose AAAI recently launched a series of (IHMC), is the sixth recipient of the chicago.com. The AAAI 2008 Teaching Forum aims 2006 and 2007 will continue in 2008, industry representative.

The fourth Modeling and Reasoning in Context (MRC) workshop was held on August 20–21, 2007, in conjunction with the Sixth International and Interdisciplinary Conference on Modeling and Using Context, at Roskilde University, Denmark. This year’s workshop included a special track on the role of contextualization in human tasks (CHUT). The overall goal of the workshop was to further the understanding, development, and application of AI methods for context-sensitive information technology.

The Association for the Advancement of Artificial Intelligence presented the 2007 Fall Symposium Series on Friday through Sunday, November 9–11, at the Westin Arlington Gateway, Arlington, Virginia. The titles of the seven symposia were (1) AI and Consciousness: Theoretical Foundations and Current Approaches, (2) Artificial Intelligence for Prognostics, (3) Cognitive Approaches to Natural Language Processing, (4) Computational Approaches to Representation Change during Learning and Development, (5) Emergent Agents and Socialities: Social and Organizational Aspects of Intelligence, (6) Intelligent Narrative Technologies, and (7) Regarding the “Intelligence” in Distributed Intelligent Systems.