I review the research leading from the GUIDON rule-based tutoring system, including the reconfiguration of MYCIN into NEOMYCIN and NEOMYCIN's generalization in the heuristic classification shell, HERACLES. The presentation is organized chronologically around pictures and dialogues that represent conceptual turning points and crystallize the basic ideas. My purpose is to collect the important results in one place, so they can be easily grasped. In the conclusion, I make some observations about our research methodology.

This is the second part of a two-part article describing AI work at the NASA Johnson Space Center (JSC). Research and applications work in AI is being conducted by several groups at JSC. These are primarily independent groups that interact with each other on an informal basis. In the Research and Engineering Directorate, these groups include (1) the Artificial Intelligence and Information Sciences Office, (2) the Simulation and Avionics Integration Division, (3) the Avionics Systems Division, and (4) the Tracking and Communications Division. In the Space Operations Directorate, these groups include (1) the Mission Planning and Analysis Division (MPAD) - Technology Development and Applications Branch, (2) the Spacecraft Software Division, and (3) the Systems Division - Systems Support Section. This second part of the article describes the AI work in the Space Operations Directorate. The first part of the article, published in the last week of AI Magazine, (7:1, Summer 1986) described the AI work in the Research and Engineering Directorate.

I review the research leading from the GUIDON rule-based tutoring system, including the reconfiguration of MYCIN into NEOMYCIN and NEOMYCIN's generalization in the heuristic classification shell, HERACLES. The presentation is organized chronologically around pictures and dialogues that represent conceptual turning points and crystallize the basic ideas. My purpose is to collect the important results in one place, so they can be easily grasped. In the conclusion, I make some observations about our research methodology.

General Electric is engaged in a broad range of research and development activities in artificial intelligence, with the dual objectives of improving the productivity of its internal operations and of enhancing future products and services in its aerospace, industrial, aircraft engine, commercial, and service sectors. Many of the applications projected for AI within GE will require significant advances in the state of the art in advanced inference, formal logic, and architectures for real-time systems. New software tools for creating expert systems are needed to expedite the construction of knowledge bases. Further, new application domains such as computer -aided design (CAD), computer- aided manufacturing (CAM), and image understanding based on formal logic require novel concepts in knowledge representation and inference beyond the capabilities of current production rule systems. Fundamental research in artificial intelligence is concentrated at Corporate Research and Development (CR&D), with advanced development and applications pursued in parallel efforts by operating departments. The fundamental research and advanced applications activities are strongly coupled, providing research teams with opportunities for field evaluations of new concepts and systems. This article summarizes current research projects at CR&D and gives an overview of applications within the company.

The enterprise of developing knowledge-based systems is currently witnessing great growth in popularity. The central unity of many such programs is that they interpret knowledge that is explicitly encoded as rules. While rule-based programming comes with certain clear pay-offs, further fundamental advances in research are needed to extend the scope of tasks that can be adequately represented in this fashion. This article is a statement of personal perspective by a researcher interested in fundamental issues in the symbolic representation and organization ok knowledge.

The MITRE Corporation is a scientific and technical an acronym for Knowledge-Based System. Subsequently, organization engaged in system engineering activities, Rome Air Development Center took over support of the principally in support of the United States Air Force and project and continues to fund part of our AI research effort. MITRE is a special kind of engineering MITRE's current research is summarized below. The corporation is a Federal Contract Bedford center is supported by 15 Symbolics Lisp machines Research Center, a designation covering the handful netted to two Vax-780 file servers, while the Washington of independent institutions that perform governmentsponsored center is supported by both a classified and an unclassified research. It is an independent, nonprofit corporation facility, with 2 Lambdas and 2 Symbolics Lisp machines designed and m.anagcd to provide long-term assistance respectively netted to Vax-780 file servers.

The choice of implication as a representation for empirical associations and for deduction as a model of inference requires a mechanism extraneous to deduction to manage uncertainty associated with inference. Consequently, the interpretation of representations of uncertainty is unclear. Representativeness, or degree of fit, is proposed as an interpretation of degree of belief for classification tasks. The calculation of representativeness depends on the nature of the associations between evidence and conclusions. Patterns of associations are characterized as endorsements of conclusions. We discuss an expert system that uses endorsements to control the search for the most representative conclusion, given evidence.

Two topics are treated here. First we present a user model patterned after the stereotype approach (Rich, 1979). This model surpasses Rich's model with respect to it's greater flexibility in the construction of user profiles, and it's treatment of positive and negative arguments. Second, we present an inference machine. This machine treats uncertain knowledge in the form of evidence for and against the accuracy of a proposition. Truth values are replaced by the concept of two-dimensional evidence space. We discuss the consequences of the concept, particularly with regard to verification. The connection between these two topics is established by implementation of the user model on the inference machine.

The University of Michigan is the site of a variety of AI research projects involving faculty, staff and students from several departments and institutes on the Ann Arbor campus.

The Artificial Intelligence in Medicine (AIM) Workshop has become a tradition. Meeting every year for the past nine years, it has been the forum where all the issues from basic research through applications to implementations have been discussed; it has also become a community building activity, bringing together researchers, medical practitioners, and government and industry sponsors of AIM activities. The AIM Workshop held at Fawcett Center for Tomorrow at Ohio State University, June 30 - July 3, 1984, was no exception. It brought together more than 100 active participants in AIM.