An end-to-end system was created at Genworth Financial to automate the underwriting of long-term care (LTC) and life insurance applications. Relying heavily on artificial intelligence techniques, the system has been in production since December 2002 and in 2004 completely automates the underwriting of 19 percent of the LTC applications. A fuzzy logic rules engine encodes the underwriter guidelines and an evolutionary algorithm optimizes the engine's performance. Finally, a natural language parser is used to improve the coverage of the underwriting system.

This editorial introduces the articles published in the AI Magazine special issue on Innovative Applications of Artificial Intelligence (IAAI), based on a selection of papers that appeared in the IAAI-05 conference, which occurred July 9-13 2005 in Pittsburgh, Pennsylvania. IAAI is the premier venue for learning about AI's impact through deployed applications and emerging AI application technologies. Case studies of deployed applications with measurable benefits arising from the use of AI technology provide clear evidence of the impact and value of AI technology to today's world. The emerging applications track features technologies that are rapidly maturing to the point of application. The six articles selected for this special issue are extended versions of papers that appeared at the conference. Three of the articles describe deployed applications that are already in use in the field. Three articles from the emerging technology track were particularly innovative and demonstrated some unique technology features ripe for deployment.

The Electrical Systems Division at the NASA Kennedy Space Center has developed and deployed an agent-based tool to monitor the space shuttle's ground processing telemetry stream. The application, the NASA Engineering Shuttle Telemetry Agent (NESTA), increases situational awareness for system and hardware engineers during ground processing of the shuttle's subsystems. The agent provides autonomous monitoring of the telemetry stream and automatically alerts system engineers when predefined criteria have been met. Efficiency and safety are improved through increased automation. Sandia National Labs' Java Expert System Shell is employed as the rule engine. The shell's predicate logic lends itself well to capturing the heuristics and specifying the engineering rules of this spaceport domain. The declarative paradigm of the rule- based agent yields a highly modular and scalable design spanning multiple subsystems of the shuttle. Several hundred monitoring rules have been written thus far with corresponding notifications sent to shuttle engineers. This article discusses the rule-based telemetry agent used for space shuttle ground processing and explains the problem domain, development of the agent software, benefits of AI technology, and deployment and sustaining engineering of the product.

This article describes the ExpertCop tutorial system, a simulator of crime in an urban region. In ExpertCop, the students (police officers) configure and allocate an available police force according to a selected geographic region and then interact with the simulation. The student interprets the results with the help of an intelligent tutor, the pedagogical agent, observing how crime behaves in the presence of the allocated preventive policing. The interaction between domain agents representing social entities as criminals and police teams drives the simulation. ExpertCop induces students to reflect on resource allocation. The pedagogical agent implements interaction strategies between the student and the geosimulator, designed to make simulated phenomena better understood. In particular, the agent uses a machine-learning algorithm to identify patterns in simulation data and to formulate questions to the student about these patterns.

Also, it provides a means for conflict resolution of multiple criteria and better assessment of options. This system provides identification, recognition, optimization, a very powerful solution methodology by permitting and control. The algorithmic methods optimization of power distribution system provide updates to the system status operation (Sarfi and Solo 2005a). Sarfi, Salama, and Chikhani (1994a) as well as system with a coupling between knowledgebased Sarfi and Solo (2002c) demonstrate that fuzzy and numerical methods combines the logic is not an asset in all power systems planning advantages of both methods for multiobjective and operation scenarios. Some rules do optimization of power distribution system not involve any uncertainty or can be represented operation. One must to ensure that the best methods are employed. An extensive study of software effectively optimizes a power distribution network tools used in real-time power system for multiple system-performance objectives, applications concluded that electric utility including system loss reduction, transformer companies were not satisfied with conventional load balancing, reduction of transformer approaches based on numerical methods in aging to decrease the failure rate and 50 percent of the cases examined (Sarfi, Salama, increase continuity of service, maintenance of and Chikhani 1994a). Dissatisfied parties a satisfactory voltage profile throughout the cited two major shortcomings in techniques network, reactive power compensation, and based on numerical methods: (1) lack of flexibility conservative voltage reduction (CVR) practice in system modeling, and (2) exclusion of to achieve peak shaving.

ACT grew out of and semantic nets. It differs from other cognitive research on human memory. Over the years, architectures in that it also includes signals, ACT has evolved into ACT* and more recently, images, and maps in its knowledge database, ACT-R. ACT-R is being used in several research and maintains a tight real-time coupling projects in an Advanced Decision Architectures between iconic and symbolic data structures in Collaborative Technology Alliance for the U.S. its world model. The 4D/RCS architecture is also Army (Gonzalez 2003). ACT-R is also being different in its (1) focus on task decomposition used by thousands of schools across the country as the fundamental organizing principle; as an algebra tutor--an instructional system (2) level of specificity in the assignment of duties that supports learning by doing. Another wellknown and responsibilities to agents and units in and widely used architecture is Soar the behavior-generating hierarchy; and (3) emphasis (Laird, Newell, and Rosenbloom 1987). Soar on controlling real machines in realworld grew out of research on human problem solving environments.

Dhiraj K. Pathak 1, Eric P. Hoffman 2, and 1 Mark W. Perlin 1 Department of Computer Science, Carnegie Mellon University 2 Department of Molecular Genetics and Biochemistry, University of Pittsburgh Abstract This paper describes a knowledge-based system for molecular diagnostics, and its application to fully automated diagnosis of X-hnked genetic disorders. Molecular diagnostic information is used in chnical practice for determining genetic risks, such as carrier determination and prenatal diagnosis. Initially, blood samples are obtained from related individuals, and PCR amphfication is performed. Linkage-based molecular diagnosis then entails three data analysis steps. First, for every individual, the alleles (i.e., DNA composition) are determined at specified chromosomal locations. Second, the flow of genetic material among the individuals is established. Third, the probability that a given individual is either a carrier of the disease or affected by the disease is determined. The current practice is to perform each of these three steps manually, which is costly, time consuming, labor-intensive, and error-prone. As such, the knowledge-intensive data analysis and interpretation supersede the actual experimentation effort as the major bottleneck in molecular diagnostics.

Most autonomous robots are equipped with restricted, unreliable, and inaccurate sensors and effectors and operate in complex and dynamic environments. A successful approach to deal with the resulting uncertainty is the use of controllers that prescribe the robots' behavior in terms of concurrent reactive plans (CRPs) -- plans that specify how the robots are to react to sensory input in order to accomplish their jobs reliably (e.g., McDermott, 1992a; Beetz, 1999). Reactive plans are successfully used to produce situation specific behavior, to detect problems and recover from them automatically, and to recognize and exploit opportunities (Beetz et al., 2001). These kinds of behaviors are particularly important for autonomous robots that have only uncertain information about the world, act in dynamically changing environments, and are to accomplish complex tasks efficiently. Besides reliability and flexibility, foresight is another important capability of competent autonomous robots (McDermott, 1992a).

What Do We Know about Knowledge? In this article, I will examine the first of these questions. AI has been slow to embrace this principle. Programs demonstrating research ideas in AI are often too large and not well enough documented to allow replication or sharing. What I would like to in diverse conditions. I wish to clarify the knowledge example, it was pretty clearly articulated in Biblical principle and try to increase our understanding times: "A man of knowledge increaseth of what programmers and program strength" (Proverbs 24: 5). Greek philosophers based their lives on acquiring The "knowledge is power" principle is most and transferring knowledge. In the course closely associated with Francis Bacon, from his of teaching, they sought to understand the 1597 tract on heresies: "Nam et ipsa scientia nature of knowledge and how we can establish potestas est." ("In and of itself, knowledge is knowledge of the natural world. B," along with quantification, "All A's are B's," Euclid's geometry firmly established the concept In the intervening several centuries before Plato, Socrates's pupil and Aristotle's mentor, was the first to pose the question in writing of the Middle Ages and the rise of modern science what we mean when we say that a person in the West, He was distinguishing empirical knowledge, church to make new knowledge fit with established lacking complete certainty, from the certain dogma.

By the early 1960s there were several active research groups in AI, including those at Carnegie Mellon University (CMU), the Massachusetts Institute of Technology (MIT), Stanford University, Stanford Research Institute (later SRI International), and a little later the University of Southern California Information Sciences Institute (USC-ISI). My own involvement in AI began in 1963, when I joined Stanford as a graduate student working with John McCarthy. After completing my Ph.D. in 1966, I joined the faculty at Stanford as an assistant professor and stayed there until 1969 when I left to join Allen Newell and Herb Simon at Carnegie Mellon University