What criteria should be used to select one semantic formalism over another? However, the scope of analyze and gain insight into (that is, models for circumscription, perfect convergence results linking aspects of not just model) such a task. Although much basic problems are NP hard (at best). Ginsberg and Hugh Holbrook work remains to be done, the consensus His point was that just confirming (Stanford University) showed seems to be that there is sufficient that this problem is indeed potentially that default reasoning could be used common ground to warrant serious nasty is not really surprising. Marco Cadoli and as well as to somehow cope with the significant computational advantages.

The Association for the Advancement of Artificial Intelligence (AAAI) held its 1994 Spring Symposium Series on 19-23 March at Stanford University, Stanford, California. This article contains summaries of 10 of the 11 symposia that were conducted: Applications of Computer Vision in Medical Image Processing; AI in Medicine: Interpreting Clinical Data; Believable Agents; Computational Organization Design; Decision-Theoretic Planning; Detecting and Resolving Errors in Manufacturing Systems; Goal-Driven Learning; Intelligent Multimedia, Multimodal Systems; Software Agents; and Toward Physical Interaction and Manipulation. Papers of most of the symposia are available as technical reports from AAAI.

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.