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, Andres Gomez de Silva Garza, Jeff Pittges, Murali Shankar, 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

Instrument modeling

Model-based design


Space telescopes

Transition metals

Temperature metrology


Back to Top