This report stems from an April 1994 meeting, organized by AAAI at the suggestion of Steve Cross and Gio Wiederhold.1 The purpose of the meeting was to assist ARPA in defining an agenda for foundational AI research. Prior to the meeting, the fellows and officers of AAAI, as well as the report committee members, were asked to recommend areas in which major research thrusts could yield significant scientific gain -- with high potential impact on DOD applications -- over the next ten years. At the meeting, these suggestions and their relevance to current national needs and challenges in computing were discussed and debated. An initial draft of this report was circulated to the fellows and officers. The final report has benefited greatly from their comments and from textual revisions contributed by Joseph Halpern, Fernando Pereira, and Dana Nau.

Efficient indexing schemes have influenced the acceptance of production systems in the industrial world. However, in embedded-control systems, production systems have not been applied intensively because of their nondeterministic run-time behavior. Thus, nonpredictability of response times is a major obstacle to the widespread use of expert systems in the real-time domain. The RETE and TREAT algorithms and their offspring play a major role in the implementation of efficient pattern-matching systems. Therefore, it is worthwhile to investigate run-time predictability for these match algorithms. This article presents three different schemes for estimating the time needed for operations in the production-system execution model.

This article describes a new system for induction of oblique decision trees. This system, OC1, combines deterministic hill-climbing with two forms of randomization to find a good oblique split (in the form of a hyperplane) at each node of a decision tree. Oblique decision tree methods are tuned especially for domains in which the attributes are numeric, although they can be adapted to symbolic or mixed symbolic/numeric attributes. We present extensive empirical studies, using both real and artificial data, that analyze OC1's ability to construct oblique trees that are smaller and more accurate than their axis-parallel counterparts. We also examine the benefits of randomization for the construction of oblique decision trees.

Recent general AI conferences show a decline in both the number and the quality of vision papers, but there is tremendous growth in, and specialization of, computer vision conferences. Hence, one might conclude that computer vision is parting or has parted company with AI. This article proposes that the divorce of computer vision and AI suggested here is actually an open marriage: Although computer vision is developing through its own research agenda, there are many shared areas of interest, and many of the key goals, assumptions, and characteristics of computer vision are also clearly found in AI.

The human orientation system is a complex system in which the brain merges information from a variety of sensors to help maintain a coherent interpretation of body position and movement. These sensors include the semicircular canals and the otolith organs located in the inner ear as well as vision and somatosensory perception. I designed a model of this system based on the observer theory model (OTM), which was developed by Merfeld (1990) for the orientation system of the squirrel monkey. Under this scheme, the central nervous system has an internal representation of the sensor organs and tries to minimize the error between its estimate of the sensory afferent signals and the actual afferent signals. As designed, MARIKA's goal is to classify the vestibular system of the subject as normal or abnormal and propose a corresponding model. It works iteratively until the results of the proposed experiment can be modeled. Additional experiments can be presented in succession to the same model.

The Fifth International Conference on Genetic Algorithms was held at the University of Illinois at Urbana-Champaign from 17-21 July 1993. Approximately 350 participants attended the multitrack conference, which covered a wide range of topics, including genetic operators, mathematical analysis of genetic algorithms, parallel genetic algorithms, classifier systems, and genetic programming. This article highlights the major themes of the conference by discussing a few papers in detail.

Engineers Doing so would reduce demands on the OR and equipment specialists responsible for the analysts and provide additional time for them troublesome part, or end item, review the to address more complex analysis problems. MDR to identify the possible cause(s) of failure. Further, with the turnover of personnel in the In the past, engineers and equipment military and the aging of the aircraft fleet, specialists have turned to operations research another objective was to capture expertise (OR) analysts to assist in item performance from personnel who are most knowledgeable analysis. This analysis is usually time consuming about specific aircraft systems and federal and personnel intensive and requires stock classes (FSCs) and make this expertise information from many Air Force data systems. Center (ALC), located at Tinker Air Force Base, data collection and analysis require two person-days. This document describes an item's to the automation of SOURCE DATA: The data used to prepare this report came from the following sources: 1) Product Performance Subsystem (G099), 2) Supportability analysis Forecasting Evaluation (SAFE), 3) Flying Hours (G099), 4) MICAP Hours (D165B), and 5) VAMOSC (D160B). MAINTENANCE DATA (D056): A total of 175 inherent failures occurred between JUL 1991 and JUN 1992, which translates into a Mean Time Between Maintenance Type-1 (MTBM-1) of 162 hours.

The Seventh International Workshop on Qualitative Reasoning about Physical Systems was held on 16-19 May 1993. The bulk of the 50 attendees work in the AI area, but several engineers and cognitive psychologists also attended. The two topics attracting special attention were automated modeling and the design task. This article briefly describes some of the presentations and discussions held during the workshop.

However, extended object-oriented oday, object-oriented programming important and powerful programming Italy, Sweden, the United languages and systems have paradigm, especially for Kingdom, and the United States were been developed that are adequate to the development of complex systems, invited to the workshop. This article handle AI applications. AI, raised and the major points made programming, a case of objectoriented however, is looking for knowledge during the presentations of the eight programming that has a representation and programming papers in the workshop's four sessions. AI, does not satisfy distributed AI applications and uses constructs (for The workshop started with an requirements because it lacks representation, example, frames) and notions (for introduction by Ibrahim in which he communication, and organization. Ibrahim posed a to the object-based concurrent The one-day workshop entitled number of questions related to the programming paradigm to close the Objects and AI, held in Sydney, Australia, theme of the workshop and asked gap with distributed AI, such as the on 25 August 1991 in conjunction the participants to address some of introduction of more powerful object with the 1991 International these questions during their talks and representations, a social theory of Joint Conference on Artificial Intelligence, discussion.

This article summarizes the findings of a 1992 study of knowledge-based systems research and applications in Japan. Representatives of universities and businesses were chosen by the Japan Technology Evaluation Center to investigate the state of the technology in Japan relative to the United States. The panel's report focused on applications, tools, and research and development in universities and industry and on major national projects.