Handling uncertainty with possibility theory and fuzzy sets in a satellite fault diagnosis application

IEEE Transactions on Fuzzy Systems

Volumn 4, Issue 3, 1996, Pages 251-269

  Cayrac, Didier ^b   Dubois, Didier ^a,c   Prade, Henri ^c  

^a IEEE

^b Hewlett Packard France   (France)

^c IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER AIDED DIAGNOSIS; FAILURE ANALYSIS; KNOWLEDGE BASED SYSTEMS; LARGE SCALE SYSTEMS; MATRIX ALGEBRA; MODELS; PROBABILITY; SATELLITES;

REAL TIME COMPATIBLE DISCRIMINATION TECHNIQUES; SATELLITE FAULT DIAGNOSIS;

FUZZY SETS;

EID: 0030214124     PISSN: 10636706     EISSN: None     Source Type: Journal    
DOI: 10.1109/91.531769     Document Type: Article

References (35)

1. R. Patton, P. Frank, and R. Clark, Eds., Fault Diagnostic in Dynamic Systems. Cambridge, UK: Prentice Hall, 1989.
2. D. Dubuisson, Diagnostic et Reconnaissance de Formes. Paris, France: Hermès, 1990.
3. J. De Kleer and B. Williams, "Diagnosing multiple faults," Artificial Intell., vol. 32, pp. 97-130, 1987.
4. D. Poole, "Normality and faults in logic-based diagnosis," Proc. Int. Joint Conf. Artificial Intell. (IJCAI '89), Detroit, MI, Aug. 1989, pp. 1304-1310.
5. P. Struss and O. Dressler, "Integrating fault models into the general diagnostic engine", Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI'89), Detroit, MI, Aug. 1989, 1318-1323.
6. L. Console and P. Torasso, "A spectrum of logical definitions of model-based diagnosis," Computat. Intell., vol. 7, no. 3, pp. 133-141, 1991.
7. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. San Mateo, CA: Morgan Kaufmann, 1988.
8. J. A. Reggia, D. S. Nau, P. Y. Wang, and H. Peng, "A formal model of diagnostic inference," Information Sci., vol. 37, pp. 227-285, 1985.
9. Y. Peng and J. A. Reggia, Abductive Inference Models for Diagnostic Problem-Solving. New York: Springer-Verlag, 1990.
10. M. Haziza, "An expert system shell for satellite fault isolation based on structure and behavior," in Proc. ESTEC Workshop Artificial Intell. Knowledge Based Syst. Space, Noodwijk, The Netherlands, 1988.
11. _, "Toward an operational fault isolation expert system for French telecommunication satellite Telecom 2," in Proc. ESA Symp. - Ground Data Syst. Spacecraft Contr., Darmstadt, Germany, 1990, pp. 385-392.
12. J. M. Brenot, P. Caloud, L. Valluy, and A. Gasquet, "On the design and development choices to bring to operation a diagnostic expert system for the Telecom 2 satellite," in Proc. Tooldiag Int. Conf. Fault Diagnosis, Toulouse, France, Apr. 1993, pp. 368-377.
13. D. Cayrac and H. Haziza, "Management of uncertainty and temporal dependencies in real world diagnostic systems, application to the space domain," in Proc. Tooldiag Int. Conf. Fault Diagnosis, Toulouse, France, Apr. 1993, pp. 697-712.
14. D. Cayrac, D. Dubois, M. Haziza, and H. Prade, "Possibility theory in fault mode effects analyzes - A satellite fault diagnosis application," in Proc. 3rd IEEE Int. Conf. Fuzzy Syst. (FUZZ-IEEE '94), Orlandlo, FL, June 26-29, 1994, pp. 1176-1181.
15. L. A. Zadeh, "A theory of approximate reasoning," Machine Intelligence Volume 9, J. E. Hayes, D. Michies, and L. I. Mikulich, Eds. New York: Halstead Press, 1979, pp. 149-194.
16. D. Dubois and H. Prade, Possibility Theory - An Approach to Computerized Processing of Uncertainty. New York: Plenum, 1988 (French eds. - Masson, 1985, 1987).
17. R. C. T. Lee, "Fuzzy logic and the resolution principle," J. Assoc. Comput. Machinery, vol. 19, pp. 109-119, 1972.
18. P. Fishburn, "The axioms of subjective probability," Statistical Sci., vol. 1, no. 3, pp. 335-358, 1986.
19. J. L. Fodor and M. Roubens, Fuzzy Preference Modeling and Multicriteria Decision Support. Dordrecht, Germany: Kluwer, 1995.
20. D. Dubois and H. Prade, "A fuzzy relation-based extension of Reggia's relational model for diagnosis," in Proc. 9th Conf. Uncertainty Artificial Intell., D. Heckerman and E. H. Mamdani, Eds., Washington, D.C., July 1993, pp. 106-113.
21. _, "Fuzzy relation equations and abductive reasoning," Spec. Issue Equations Relations Ordered Structures: Mathematical Aspects Applicat., Fuzzy Sets Syst., A. Di Nola, W. Pedrycz, S. Sessa, Eds., vol. 75, pp. 119-134, 1995.
22. E. Sanchez, "Solutions in composite fuzzy relation equation - Application to medical diagnosis in Brouwerian logic," in Fuzzy Automata and Decision Processes, M. M. Gupta, G. N. Saridis, and B. R. Gaines, eds. Amsterdam: North-Holland, 1977, pp. 221-234.
23. D. Dubois and H. Prade, "Twofold fuzzy sets and rough sets - Some issues in knowledge representation," Fuzzy Sets Syst., vol. 23, pp. 3-18, 1987.
24. W. Hamscher, L. Console, and J. de Kleer, Eds., Readings in Model-Based Diagnosis San Mateo, CA: Morgan Kaufmann, 1992.
25. S. McIlraith and R. Reiter, "On tests for hypothetical reasoning," in Readings in Model-Based Diagnosis, W. Hamscher, L. Console, and J. de Kleer, Eds. San Francisco, CA: Morgan Kaufmann, 1992, pp. 89-96.
26. D. Dubois, J. Lang, and H. Prade, "Automated reasoning using possibilistic logic: Semantics, belief revision and variable certainty weights," IEEE Trans. Knowledge Data Eng., vol. 6, pp. 64-69, 1994.
27. _, "A possibilistic assumption-based truth maintenance system with uncertainty justifications, and its applications to belief revision," in Truth-Maintenance Syst. - Proc. ECAI '90 Workshop - Lecture Notes Comput. Sci., J. P. Martins and M. Reinfrank, Eds., vol. 515, Springer-Verlag, 1991, pp. 87-106.
28. S. Benferhat, D. Dubois, J. Lang, and H. Prade, "Hypothetical reasoning in possibilistic logic: basic notions and implementation issues," in Advances in Fuzzy Systems: Applications and Theory - Vol. I, P. Z. Wang and K. F. Loc, Eds. Singapore: World Scientific Publ., 1994.
29. R. Reiter, "A theory of diagnosis from first principles," Artificial Intell., vol. 32, pp. 57-96, 1987.
30. R. Reiter and J. De Kleer, "Foundations of assumption-based truth maintenance systems: preliminary report," in Proc. 6th Nat. Conf. Artificial Intell. (AAAI '87), 1987, pp. 183-188.
31. P. Jackson, "Prepositional abductive logic," in Proc. 7th Conf. Soc. Study Artificial Intell. Simulation Behavior, A. G. Cohn, Ed. New York: Pitman Morgan-Kaufmann, 1989, pp. 89-94.
32. _, "Prime implicates: Their computation and use," in Proc. 11th Int. Conf. Expert Syst. Applicat., Avignon, May 27-31, 1991, vol. 1, pp. 53-64.
33. _, "Possibilistic prime implicates and their use in abduction," res. note, McDonnell-Douglas Res. Lab., St Louis, MO, 1991.
34. D. Cayrac, "Diagnostic oprationnel exploitant des connaissances incompltes," thesis Doctorat Univ. Paul Sabatier, Toulouse, France, 1995.
35. D. Cayrac, D. Dubois, and H. Prade, "Practical model-based diagnosis with qualitative possibilistic uncertainty," Proc. 11th Conf. Uncertainty Artificial Intell., P. Besnard, S. Hanks, Eds., Aug. 1995, pp. 68-76.