Skip to main content
×
Home
    • Aa
    • Aa

Functional device models and model-Based diagnosis in adaptive design

  • Ashok K. Goel (a1) and Eleni Stroulia (a2)
Abstract
Abstract

We analyze the diagnosis task in the context of adaptive design and redesign of physical devices. We identify three types of diagnosis tasks that differ in the types of information they take as input: the design does not achieve a desired function of the device, the design results in an undesirable behavior, and a specific structural element in the design misbehaves. We describe a model-based approach for solving the diagnosis task in the context of adaptive design and redesign. This approach uses functional models that explicitly represent the device functions and use them to organize teleological and causal knowledge about the device. In particular, we describe a specific kind of functional model called structure—behavior—function (SBF) models in which the causal behaviors of the device are specified in terms of flow of substances through components. We illustrate the use of SBF models with three examples from Kritik2, a knowledge system that designs new devices by retrieving, diagnosing, and adapting old device designs.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

A. Abu-Hanna , R. Benjamins , & W. Jansweijer (1992). Device understanding and modeling for diagnosis. IEEE Expert 6(2), 2632.

T. Bylander (1991). A theory of consolidation for reasoning about devices. Man-Machine Stud. 35, 467489.

B. Chandrasekaran (1994). Functional representation and causal processes. In Advances in Computers, ( M. Yovits , Ed.), pp. 73143. Academic Press, New York.

L. Chittaro , G. Guida C. Tasso , & E. Tappano (1993). Functional and telelogical knowledge in the multimodeling approach for reasoning about physical systems. IEEE Trans. Systems, Man and Cybern. 23(6), 17181751.

R. Davis (1984). Diagnostic reasoning based on structure and behavior. Artif. Intell. 24, 347410.

J. de Kleer (1984). How circuits work. Artif. Intell. 24, 205280.

A. Goel , & B. Chandrasekaran (1992). Case-based design: A task analysis. In Artificial Intelligence Approaches to Engineering Design, Volume II: Innovative Design, ( C. Tong and D. Sriram , Eds.), pp. 165184. Academic Press, San Diego.

T. Govindaraj (1987). Qualitative approximation methodology for modeling and simulation of large dynamic systems: Applications to a marine power plant. IEEE Transact. Sys. Man and Cybern. SMC-17(6), 937955.

R. Hawkins , J. Sticklen , J. McDowell , T. Hill , & R. Boyer (1994). Function-based modeling and troubleshooting. J. Applied Intell. 8(2), 285302.

J. Hunt , D. Pugh , & C. Price (1995). Failure mode effects analysis: A practical application of functional modeling. J. Applied Intell. 9(1), 3344.

A. Kumar , & S. Upadhyaya (1995). Function-based discrimination during model-based diagnosis. J. Applied Intell 9(1), 6580.

J. Larsson (1996). Diagnosis based on explicit means-ends models. Artif. Intell. 80, 2993.

M. Lind (1994). Modeling goals and functions of complex industrial plants. J. Applied Intell. 8(2), 259283.

E. Stroulia , & A. Goel (1995). Functional representation and reasoning in reflective systems. J. of Applied Intell. 9(1), 101124.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

AI EDAM
  • ISSN: 0890-0604
  • EISSN: 1469-1760
  • URL: /core/journals/ai-edam
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 13 *
Loading metrics...

Abstract views

Total abstract views: 128 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd May 2017. This data will be updated every 24 hours.