The traditional reliability design methods are imperfect because the designed systems aim at fewer faults, but once a fault happens, the systems might hard fail. Regarding the repair-executing capability, control-type repair strategy was followed. However, the prototype revealed the following problems when its reasoning system was used with a commercial product as embedded software: (1) poor performance of the reasoning system, (2) system size that was too large, (3) low adaptability to environmental changes, and (4) roughness of qualitative repair operations. To solve these problems, we proposed new reasoning method based on virtual cases and fuzzy qualitative values.

A common difficulty in diagnosing failures within Pratt & Whitney's F100-PW-100/200 gas turbine engine occurs when a fault in one part of a system -- comprising an engine, an airframe, a test cell, and automated ground engine test set (AGETS) equipment -- is manifested as an out-of-bound parameter elsewhere in the system. However, because the self-diagnostics only test the specified local parameter, it will pass, leaving only the operators' experience and traditional fault-isolation manuals to locate the source of the problem in another part of the system. This article describes a diagnostic tool (that is, AGETS MBR), designed to overcome this problem by isolating failures using an overall system troubleshooting approach. AGETS MBR was developed jointly by personnel at Pratt & Whitney and United Technologies Research Center using an AI tool called the qualitative reasoning system (QRS).

A common difficulty in diagnosing failures within Pratt & Whitney's F100-PW-100/200 gas turbine engine occurs when a fault in one part of a system -- comprising an engine, an airframe, a test cell, and automated ground engine test set (AGETS) equipment -- is manifested as an out-of-bound parameter elsewhere in the system. In such cases, the normal procedure is to run AGETS self-diagnostics on the abnormal parameter. However, because the self-diagnostics only test the specified local parameter, it will pass, leaving only the operators' experience and traditional fault-isolation manuals to locate the source of the problem in another part of the system. This article describes a diagnostic tool (that is, AGETS MBR), designed to overcome this problem by isolating failures using an overall system troubleshooting approach. AGETS MBR was developed jointly by personnel at Pratt & Whitney and United Technologies Research Center using an AI tool called the qualitative reasoning system (QRS).

We present a definition of cause and effect in terms of decision-theoretic primitives and thereby provide a principled foundation for causal reasoning. Our definition departs from the traditional view of causation in that causal assertions may vary with the set of decisions available. We argue that this approach provides added clarity to the notion of cause. Also in this paper, we examine the encoding of causal relationships in directed acyclic graphs. We describe a special class of influence diagrams, those in canonical form, and show its relationship to Pearl's representation of cause and effect. Finally, we show how canonical form facilitates counterfactual reasoning.

Scope This workshop reviewed and classified the various models which have emerged from the general concept of selective attention and context dependency, and sought to identify their commonalities. It was concluded that the motivation and mechanism of these functional models are "efficiency" and ''factoring'', respectively. The workshop focused on computational models of selective attention and context dependency within the realm of neural networks. We treated only ''functional'' models; computational models of biological neural systems, and symbolic or rule-based systems were omitted from the discussion. Presentations Thomas H. Hildebrandt presented the results of his recent survey of the literature on functional models of selective attention and context dependency.

Scope This workshop reviewed and classified the various models which have emerged from the general concept of selective attention and context dependency, and sought to identify their commonalities. It was concluded that the motivation and mechanism of these functional models are "efficiency" and ''factoring'', respectively. The workshop focused on computational models of selective attention and context dependency within the realm of neural networks. We treated only ''functional'' models; computational models of biological neural systems, and symbolic or rule-based systems were omitted from the discussion. Presentations Thomas H. Hildebrandt presented the results of his recent survey of the literature on functional models of selective attention and context dependency.

Scope This workshop reviewed and classified the various models which have emerged from the general concept of selective attention and context dependency, and sought to identify their commonalities. It was concluded that the motivation and mechanism ofthese functional models are "efficiency" and ''factoring'', respectively. The workshop focused on computational models of selective attention and context dependency withinthe realm of neural networks. We treated only ''functional'' models; computational models of biological neural systems, and symbolic or rule-based systems were omitted from the discussion. Presentations Thomas H. Hildebrandt presented the results of his recent survey of the literature onfunctional models of selective attention and context dependency.

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. 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. It works iteratively until the results of the proposed experiment can be modeled.

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. When the method of proof is carried out substantially by machine, we speak of automatic verification. Symbolic Model Checking deals with methods of automatic verification as applied to computer hardware. The practical motivation for study in this area is the high and increasing cost of correcting design errors in VLSI technologies. There is a growing demand for design methodologies that can yield correct designs on the first fabrication run.

The First National Aeronautics and Space Administration (NASA) Workshop on Monitoring and Diagnosis was held in Pasadena, California, from 15 to 17 January 1992. The workshop brought together individuals from NASA centers, academia, and aerospace who have a common interest in AI-based approaches to monitoring and diagnosis technology. The workshop was intended to promote familiarity, discussion, and collaboration among the research, development, and user communities.