• DocumentCode
    1955761
  • Title

    A general model-based diagnosis

  • Author

    Cheng, Xiaochun ; Ouyang, Dantong ; Zhang, Chengqi

  • Author_Institution
    Dept. of Comput. Sci., Reading Univ., UK
  • fYear
    2003
  • fDate
    16-19 June 2003
  • Firstpage
    627
  • Lastpage
    632
  • Abstract
    A general method for model-based diagnosis is developed, which can handle multiple faulty modes, and will enable users to analyze the completeness of the system model, and to choose the observation subset appropriately, in order to have small diagnostic space with the right solutions in. The existent consistency-based diagnosis and abductive diagnosis are special cases of this method. The relationship between the diagnostic procedure and corresponding prime implication is analyzed for implementation.
  • Keywords
    diagnostic expert systems; diagnostic reasoning; fault diagnosis; model-based reasoning; truth maintenance; abductive diagnosis; abductive reasoning; consistency-based diagnosis; faulty modes handling; model-based diagnosis; prime implication; Circuit faults; Computer aided manufacturing; Computer science; Design automation; Diagnostic expert systems; Fault diagnosis; Humans; Information technology; Kernel; Virtual manufacturing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Technology Interfaces, 2003. ITI 2003. Proceedings of the 25th International Conference on
  • ISSN
    1330-1012
  • Print_ISBN
    953-96769-6-7
  • Type

    conf

  • DOI
    10.1109/ITI.2003.1225413
  • Filename
    1225413