Matra Marconi Space (MMS) has been developing spacecraft diagnostic support systems for eight years. Keeping in mind the operational constraints of scale and efficiency that guided the design of the first systems, the reasoning paradigms are now refined, in order to improve the solutions. The FMECA, Fault Mode Effects and Criticality Analyses, form a very important category of knowledge compiled during the design phase of a satellite, and used also for diagnosis activities. This paper proposes their extension, allowing a finer representation of the available knowledge, at approximately the same cost, through the introduction of an appropriate representation of uncertainty and incompleteness based on possibility theory. Efficient discriminization techniques exploiting uncertain observations are introduced, and an example illustrates the mechanisms involved in this approach.<<ETX>>
[1]
Lotfi A. Zadeh,et al.
A Theory of Approximate Reasoning
,
1979
.
[2]
M. Haziza,et al.
Towards an operational fault isolation expert system for French telecommunication satellite Telecom 2
,
1990
.
[3]
Judea Pearl,et al.
Embracing Causality in Default Reasoning
,
1988,
Artif. Intell..
[4]
James A. Reggia,et al.
A formal model of diagnostic inference. I. Problem formulation and decomposition
,
1985,
Inf. Sci..
[5]
E. Sanchez.
SOLUTIONS IN COMPOSITE FUZZY RELATION EQUATIONS: APPLICATION TO MEDICAL DIAGNOSIS IN BROUWERIAN LOGIC
,
1993
.
[6]
J. Reggia,et al.
Abductive Inference Models for Diagnostic Problem-Solving
,
1990,
Symbolic Computation.