Diagnosing a System with Value-Based Reasoning

Authors:
Xuenong Zhang;Yunfei Jiang;Aixiang Chen
Affiliations:
Institute of Software Research, Zhongshan University, and Network Center, GuangDong Pharmaceutical University,;Institute of Software Research, Zhongshan University,;Institute of Software Research, Zhongshan University,
Venue:
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Year:
2009

Citing 11
Cited 0

Diagnostic reasoning based on structure and behavior

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
Diagnosis of large active systems

Artificial Intelligence
Diagnosing tree-structured systems

Artificial Intelligence
Process algebras for systems diagnosis

Artificial Intelligence
Hierarchical model-based diagnosis based on structural abstraction

Artificial Intelligence
Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis

Artificial Intelligence
Integrating model-based diagnosis techniques into current work processes --- three case studies from the INDIA project

AI Communications
Temporal decision trees: model-based diagnosis of dynamic systems on-board

Journal of Artificial Intelligence Research
Diagnosing tree-decomposable circuits

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a value propagation model and redefines the notion of diagnosis. On the basis of the value propagation model, an algorithm for finding a minimal diagnosis is proposed. This algorithm need not compute the minimal conflicts and provides a reasonable interpretation for the minimal diagnosis. In addition, we present a method for repairing the faulty system by integrating diagnoses and test.