This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Toward Systematic Construction of Diagnostic Systems for Large Industrial Plants: Methods, Languages, and Tools
October 1994 (vol. 6 no. 5)
pp. 698-712

We address the problem of systematically constructing diagnostic systems for large industrial plants. Toward this end, we propose an environment based on methods, languages and tools allowing systematic construction of diagnostic systems for units of large industrial plants. This environment is based on a skillful articulation of methods, languages, and tools. The process of construction proceeds in three stages as follows. Using methods, the first stage aims at structuring the unit into a set of hierarchies and graphs pointing out several views. The second stage makes use of languages to give a precise specification of the different components embedded in the unit. Finally, tools map the specifications of the unit to derive the diagnostic system.

[1] A. N. Abdallah, "An extended framework for default reasoning," Tech. Rep. 291, Dept. of Comput. Sci., Univ. of Western Ontario, London, ON, Canada, 1991.
[2] B. e. Ayeb, "On diagnosis: Issues and guidelines," Res. Rep. 92-LELAB-006, Universitéde Sherbrooke, PQ, Canada, 1993.
[3] B. e. Ayeb and J. P. Finance,On Cooperation Between Deep and Shallow Reasoning. New York: Elsevier, 1988, pp. 95-118.
[4] B. e. Ayeb, P. Marquis, and M. Rusinowitch, "Preferring diagnoses by abduction,"IEEE Trans. Syst., Man, Cybernetics, May 1993.
[5] B. e. Ayeb and S. Wang, "Computing effect-to-cause/cause-to-effect diagnoses within NdL," inProc. Int. Joint Conf. Artificial Intell., 1993, pp. 1332-1338.
[6] G. Berry and B. Serlet, "Cyacc et lex-kit: Générateurs d'analyseurs syntaxiques et lexicaux pur ceyx/lelisp," Tech. Rep., INRIA, 1984.
[7] P. Caloud, "Toward continous process supervision," inProc. Int. Joint Conf. Artificial Intell., 1987, pp. 1086-1089.
[8] R. Cantone, J. Pipitone, B. Lander, and M. Marrone, "Model-based probabilistic reasoning for electronics troubleshooting," inProc. Int. Joint Conf. Artificial Intell., 1983, pp. 207-211.
[9] J. Chailloux, M. Devin, F. Dupont, J. M. Hullot, B. Serpette, and J. Vuillemin, "Le_lisp de l'INRIA: Le manuel de Référence," Tech. Rep., INRIA, 1986.
[10] L. Chittaro, C. Costantini, G. Guida, and C. Tasso, "Diagnosis based on cooperation of multiple knowledge sources," inIBM Workshop on Model-Based Diagnosis, Paris, France, July 1989.
[11] L. Console, D. T. Dupré, and P. Torasso, "A theory of diagnosis for incomplete causal models," inProc. Int. Joint Conf. Artificial Intell., 1989, pp. 1311-1317.
[12] P. T. Cox and T. Pietrzykowski, "General diagnosis by abductive inference," inSymp. Logic Programming, 1987, pp. 183-189.
[13] P. Dague, P. Dèves, and O. Raiman, "Raisonnement qualitatif dans le diagnostic de pannes," inJournées Les Systèmes Experts, 1986, pp. 613-631.
[14] R. Davis, "Diagnostic reasoning based on structure and behavior,"Artificial Intell., vol. 24, pp. 347-410, Dec. 1984.
[15] R. Davis and W. Hamscher,Model-Based Reasoning: Troubleshooting. San Mateo, CA: Morgan Kaufmann, 1988, pp. 297-346.
[16] J. de Kleer and J.S. Brown, "A Qualitative Physics Based on Confluences,"Artificial Intelligence, Vol. 24, Nos. 1 to 3, 1984, pp. 7-84.
[17] J. de Kleer and B.C. Williams, "Diagnosing multiple faults,"Artif. Intell., vol. 32, pp. 97-130, 1981.
[18] D. Driankov, "Uncertainty in knowledge-based systems," inInt. Conf. Inform. Processing and Mgmt. of Uncertainty in Knowledge-Based Systems, Paris, France, July 1986,Lecture Notes in Computer Science 286. New York: Springer-Verlag.
[19] D. Dubois and H. Prade, "Default reasoning and possibility theory,"Artificial Intell., vol. 35, pp. 235-257, 1988.
[20] R. O. Duda and J. G. Gashing, "Knowledge-based expert systems coming of age,"BYTE, vol. 6, no. 9, pp. 238-281, 1981.
[21] P. K. Fink, J. C. Lusth, and J. W. Duran, "A general expert system design for diagnostic problem,"IEEE Trans. Patt. Anal. Mach. Intell., vol. 7, pp. 553-560, Sept. 1985.
[22] K. Forbus, "Oualitative Process Theory,"Artificial Intelligence, Vol. 24, July 1983, pp. 85-168.
[23] T. Govindaraj, "Qualitative approximation methodology for modeling and simulation of large dynamic systems: Applications to a marine steam power plant,"IEEE Trans. Syst., Man, Cybernetics, vol. xx, pp. 937-955, Nov./Dec. 1987.
[24] A. E. Khair, "Modélisation d'un système expert hybride pour le diagnostic: Application au diagnostic des pannes de tracteurs agricoles," Ph.D. dissertation, Institut Supérieur des Matériaux et de la Construction Mécanique, Paris, 1991.
[25] Walter F. Tichy, "RCS--A system for version control,"Software--practice and Experience, vol. 15, no. 7, pp. 637-654, July 1985.
[26] P. Kuipers, "Qualitative simulation,"Artificial Intell., vol. 29, pp. 289-338, 1986.
[27] R. Lange, L. Hearn, and F. W. Kearney, "The use of knowledge engineering teams as a method for the development of expert systems," inProc. Int. Conf. Applications of Artificial Intell. Eng., 1986, pp. 45-53.
[28] R. Leitch and M. Gallanti, "Task classification for knowledge-based systems in industrial automation,"IEEE Trans. Syst., Man, Cybernetics, vol. 1, pp. 142-152, 1992.
[29] J. McCarthy, "Circumscription: A form of nonmonotonic reasoning,"Artificial Intell., vol. 13, pp. 27-39, 1980.
[30] D. Poole, "A logical framework for default reasoning,"Artificial Intell., vol. 36, pp. 27-47, 1988.
[31] O. Raiman, "Order magnitude reasoning," inProc. AAAI, 1986, pp. 100-104.
[32] O. Raiman, "A circumscribed diagnosis engine," inExpert Systems in Engineering Principles and Applications, Vienna, Austria, Sept. 1990,Lecture Notes in Computer Science, LNAI Subseries 462. New York: Springer-Verlag.
[33] J. A. Reggia, D. S. Nau, P. Y. Wang, and Y. Peng, "A formal model of diagnosis inference, I. Problem formulation and decomposition,"Inform. Sci., vol. 37, pp. 227-256, 1985.
[34] R. Reiter, "A logic for default reasoning,"Artificial Intell., vol. 13, pp. 81-131, 1980.
[35] R. Reiter, "Nonmonotonic reasoning,"Ann. Rev. Comput. Sci., vol. 2, pp. 147-186, 1987.
[36] R. Reiter, "A theory of diagnosis from first principles,"Artif. Intell., vol. 32, pp. 57-95, 1987.
[37] E. A. Scarl, J. R. Jamieson, and C. I. Delaune, "Diagnosis and sensor validation through knowledge of structure and function,IEEE Trans. Syst., Man, Cybernetics, vol. 17, pp. 361-369, 1987.
[38] G. Shafer,A Mathematical Theory Of Evidence. Princeton, NJ: Princeton University Press, 1976.
[39] Z. Xiang and S. N. Srihari, "A strategy for diagnosis based on empirical and model knowledge," inJournées les Systèmes Experts, pp. 835-848, 1986.
[40] L. A. Zadeh, "The role of fuzzy logic in the management of uncertainty in expert systems,"Fuzzy Sets and Syst.vol. 11, pp. 199-227, 1983.

Index Terms:
industrial plants; formal specification; software tools; specification languages; diagnostic expert systems; computer integrated manufacturing; systematic construction; diagnostic systems; large industrial plants; software tools; graphs; hierarchies; specification; artificial intelligence; fault diagnosis; system engineering; expert systems
Citation:
B. el Ayeb, "Toward Systematic Construction of Diagnostic Systems for Large Industrial Plants: Methods, Languages, and Tools," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 5, pp. 698-712, Oct. 1994, doi:10.1109/69.317701
Usage of this product signifies your acceptance of the Terms of Use.