J. Crow and J. Rushby, `Model-based reconfiguration: toward an integration with diagnosis', in Proceedings of AAAI-91, Anaheim, CA, volume 2, pp. 836--841, (1991).  Home/Search   Document Details and Download   Summary   Related Articles   Check

....clauses [4] diagnosis of constraint violations in databases [14] or diagnosis of hardware designs defined in VHDL [13] Our work of diagnosing configurator knowledge bases is in the line of software diagnosis, where test cases (examples) are used to validate the software system. Crow and Rushby [6] extend Reiter s [21] framework of model based diagnosis in order to integrate repair (reconfiguration) functionality, claiming that the real goal of the diagnosis task is not only to detect causes for unexpected behavior but also to repair the system. Following a diagnoseand repair approach they ....

Crow, J., Rushby, J.: Model-Based Reconfiguration: Toward an Integration with Diagnosis, Proceedings National Conference on Artificial Intelligence AAAI, 1991, Vol.2, pp. 836-841.

....be efficiently utilised for making systems with extra computational power more fault tolerant. AI methods though offer much more freedom in representing and handling information stay at the level of pure diagnosis, and previous solutions do not tend to cope with fault tolerant behaviour (see [1,8,9,10,11,12]) In order to be able to exploit the representational and problem solving power offered by the presented model, a dynamic matching algorithm has to be utilised. For The modelling approach builds on the dynamic attribute matching algorithm. The implementation of the model and the algorithm is ....

J. Crow et al.: Model-Based Reconfiguration: Toward an Integration with diagnosis, Proc. of AAAI 1991, pp. 836-841

....with diagnostic and intelligent monitoring systems, there is huge gap between the two areas. AI methods though offer much more freedom in representing and handling information stay at the level of pure diagnosis, and previous solutions do not tend to cope with fault tolerant behaviour (see [1,23,24,25,26,27]) In this article a new modelling method is proposed with the following important potential advantages, which distinguish it from previous solutions for achieving fault tolerance: it makes it possible to use implicit redundancy in distributed systems to reach fault tolerant operation; ....

J. Crow et al.: Model-Based Reconfiguration: Toward an Integration with diagnosis, Proc. of AAAI 1991, pp. 836-841

....and then you observe whether the abnormal behaviour disappears. This approach has been taken in an integrated formalization of diagnosis and repair [Friedrich et al. 1992] A similar formalization has been made for diagnosis integrated with repair by reconfiguration in a device with redundancy [Crow Rushby, 1991]. KADS II M2.3 TR SICS 001 1.0 Towards Problem Solving Methods for Sequential Diagnosis May 11, 1994 3.2.3 Expansion method of differentiate We currently only propose one expansion method of the differentiate function. The first function compute power takes the set of explanations as input ....

Judith Crow and John Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proc. of AAAI-91, pages 836--841, Anaheim, California, 1991.

....use uwl, a strips like language, in an approach which integrates gde style diagnosis and strips style planning. The link between diagnosis and repair planning in real applications is also emphasized by Pepper and Kahn [118] Also related, although to a lesser extent, is work by Rushby and Crow [132] who formalize reconfiguration, a form of repair, using an extension of Reiter s theory of diagnosis [131] In GDD, goals are used to focus on repairworthy issues. In the ECM architecture, direct interactions between goals can be resolved using GDD rules (goal level resolution) indirect ....

Rushby, J. and Crow, J., Model-Based Reconfiguration: Toward an Integration with Diagnosis. Proc. AAAI-91, Anaheim, CA, 1991, pp. 836-841.

....system to a proper working condition. Presented not as a theory of diagnosis but as a theory of repair planning, their work applies a possiblemodels planning approach [Winslett 88] to a diagnostic domain. The link between diagnosis and repair planning is also emphasized by [Pepper Kahn 87] Rushby Crow 91] formalize reconfiguration, a limited form of repair, using an extension of Reiter s theory of diagnosis [Reiter 87] In domains such as trauma management, planning and action are necessary for both diagnosis and repair. At the same time, diagnostic reasoning and activity are necessary to (a) set ....

Rushby, J. and Crow, J., ModelBased Reconfiguration: Toward an Integration with Diagnosis. Proc. AAAI-91, Anaheim, CA, 1991, pp. 836-841.

....model, but focuses on the problem of fault diagnosis for a single service, using incomplete knowledge of the system and its fault, given as a set of logical formulas. A typical paper in this category is [3] and a paper that, unusually, takes this approach but does address reconfiguration is [1]. We call a set of components sufficient to support a service a composition of the service. The same service might be supported with different compositions. If components are interchangeable, perhaps any subset of a given size m of the total set is sufficient. For example, systems that use ....

J. Crow and J. Rushby. Model-based reconfiguration: toward an integration with diagnosis. AAAI-91, July 1991, Volume 2, pp. 836-841.

....early as MYCIN [Shortliffe 74] have always considered them together 1 . Nevertheless, the relationship between diagnosis and therapy planning was often left informal and implicit. Only recently has work formalizing diagnosis and repair together begun to appear within the diagnosis community. Rushby and Crow 91] have extended Reiter s consistency based theory of diagnosis to deal with issues of repair. Within that approach the user can define an acceptable mode of operation, and the theory provides for which forms of repair may entail a situation that is compatible with such a requirement. Friedrich et ....

Rushby, J. and Crow, J., Model-Based Reconfiguration: Toward an Integration with Diagnosis. Proceedings of AAAI-91, Anaheim, CA, 1991, pp. 836-841.

.... a strips like language, in an approach which integrates gde style diagnosis [13] and strips style planning [17] The link between diagnosis and repair planning in real applications is also emphasized by Pepper and Kahn [40] Also related, although to a lesser extent, is work by Rushby and Crow [47] who formalize reconfiguration, a form of repair, using an extension of Reiter s theory of diagnosis [46, 14] In GDD, diagnostic and therapeutic goals are treated as equals. Goals, of whichever type, are used to focus on repair worthy issues. In the ECM architecture, direct interactions between ....

Rushby, J. and Crow, J., Model-Based Reconfiguration: Toward an Integration with Diagnosis. Proceedings of AAAI-91, Anaheim, CA, 1991, pp. 836-841.

....to leave it in the core with the hope of eventually obtaining unequivocal evidence of its faultiness. Lincoln describes a diagnosis algorithm called UD that favors completeness over accuracy [16] We have argued previously that diagnosis should not be considered separately from reconfiguration [4]: it is not abstract accuracy or completeness of diagnosis that is important, but its contribution to successful reconfiguration. In the architecture proposed here, diagnosis will be used in group membership, and the crucial factor in deciding whether a channel should remain in the core is its ....

Judith Crow and John Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings, AAAI-91 (Volume 2), pages 836--841, Anaheim, CA, July 1991.

....evidence of its faultiness. Lincoln describes a diagnosis algorithm called UD that favors completeness over accuracy [16] In general, however, it seems that diagnosis algorithms should consider the use to be made of their results, rather than strive for abstract accuracy or completeness [3]. For example, in the architecture proposed here, diagnosis will be used in group membership, and the crucial factor in deciding whether a channel should remain in the core is its ability to contribute to interactive consistency (which is dependent on correct operation of its processor, but not on ....

Judith Crow and John Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings, AAAI-91 (Volume 2), pages 836--841, Anaheim, CA, July 1991.

No context found.

J. Crow and J. Rushby, `Model-based reconfiguration: toward an integration with diagnosis', in Proceedings of AAAI-91, Anaheim, CA, volume 2, pp. 836--841, (1991).

No context found.

J. Crow and J. Rushby, `Model-based reconfiguration: Toward an integration with diagnosis', in National Conference on Artificial Intelligence, pp. 836--841, (1991).

No context found.

Judith Crow and John Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 836--841, Los Angeles, July 1991. Morgan Kaufmann Publishers, Inc.

No context found.

J. Crow and J. Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 836--841, Los Angeles, July 1991. Morgan Kaufmann Publishers, Inc.

No context found.

J. Crow and J. Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 836--841, Los Angeles, July 1991. Morgan Kaufmann Publishers, Inc.

No context found.

Judith Crow and John Rushby. Model-Based Reconfiguration: Toward an Integration with Diagnosis. In Proceedings of AAAI-91, pages 836--841, July 1991.

No context found.

Rushby, J. and Crow, J., Model-Based Reconfiguration: Toward an Integration with Diagnosis. Proc. 9th National Conference on Artificial Intelligence, pp. 836-841, Anaheim CA, 1991.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC