1 March 1994 Model-based redesign: indexing causal mechanisms and qualitative relations
Author Affiliations +
Very rarely do physical devices function as intended by their designers the first time they are implemented. Usually, there are two ways in which the behavior of a device may deviate from the intended one: the device may not exhibit a desired behavior or it may result in an undesirable behavior. We describe a model-based method for solving the latter task. This method involves diagnosis and repair of the failed device and verification of the modified device. It uses compiled structure-behavior-function (SBF) models of how the device works. In an SBF model, the behaviors and the structural elements of a device act as indices into causal mechanisms that explain how the structure of the device produces its behaviors. The causal mechanisms in turn serve as indices into qualitative relations between device variables. The KRITIK2 system uses this indexing scheme to access relevant causal mechanisms and qualitative relations, and uses this knowledge for solving the diagnosis, repair, and verification subtasks of redesign. KRITIK2 shows that this model-based method is sufficient for parametric redesign even for devices in which a single cause results in multiple effects and a single structural element plays a role in multiple causal behaviors.
© (1994) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Ashok K. Goel, Ashok K. Goel, Andres Gomez de Silva Garza, Andres Gomez de Silva Garza, Jeff Pittges, Jeff Pittges, Murali Shankar, Murali Shankar, Eleni Stroulia, Eleni Stroulia, } "Model-based redesign: indexing causal mechanisms and qualitative relations", Proc. SPIE 2244, Knowledge-Based Artificial Intelligence Systems in Aerospace and Industry, (1 March 1994); doi: 10.1117/12.169390; https://doi.org/10.1117/12.169390


The LINC-NIRVANA IR cryostat
Proceedings of SPIE (June 27 2006)
Temperature control method used in Antarctic telescope
Proceedings of SPIE (October 14 2012)
OGSE telescope WFE testing at 30K
Proceedings of SPIE (August 10 2010)

Back to Top