An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized in a company's financial statements. Accounting sys-ems contain internal controls, procedures designed to detect and correct errors and irregularities that can occur in the processing of transactions. In a complex accounting system, it can be an extremely difficult task for the auditor to anticipate the possible errors that can occur and evaluate the effectiveness of the controls at detecting them. An accurate analysis must take into account the unique features of each company's business processes. To cope with this complexity and variability, the COMET system applies a model-based reasoning approach to the analysis of accounting systems and their controls. An auditor uses COMET to create a hierarchical flowchart model that describes the intended processing of business transactions by an accounting system and the operation of its controls. COMET uses the constructed model to automatically analyze the effectiveness of the controls in detecting potential errors. Price Waterhouse auditors have used COMET on a variety of real audits in several countries around the world.

A new generation of sensor-rich, massively distributed, autonomous systems are being developed that have the potential for profound social, environmental, and economic change. These systems include networked building energy systems, autonomous space probes, chemical plant control systems, satellite constellations for remote ecosystem monitoring, power grids, biospherelike life-support systems, and reconfigurable traffic systems, to highlight but a few. To achieve high performance, these immobile robots (or immobots) will need to develop sophisticated regulatory and immune systems that accurately and robustly control their complex internal functions. Thus, immobots will exploit a vast nervous system of sensors to model themselves and their environment on a grand scale. They will use these models to dramatically reconfigure themselves to survive decades of autonomous operation. Achieving these large-scale modeling and configuration tasks will require a tight coupling between the higher-level coordination function provided by symbolic reasoning and the lower-level autonomic processes of adaptive estimation and control. To be economically viable, they will need to be programmable purely through high-level compositional models. Self-modeling and self-configuration, autonomic functions coordinated through symbolic reasoning, and compositional, model-based programming are the three key elements of a model-based autonomous system architecture that is taking us into the new millennium.

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.