SACHEM is an extensive large-scale, real-time, knowledge-based system designed to monitor and diagnose complex dynamic processes such as blast furnaces. This article aims at illustrating the way the paradigm of discrete events allowed the design of SACHEM as a recursive abstraction process of discrete events. This recursive abstraction process is the basis of a “perception-based” approach of diagnosis. A first formalization of this kind of diagnosis is proposed and illustrated with the example of the perception of a “scaffolding” phenomenon. Some considerations about blast furnaces, SACHEM, and its development are also provided to argue the operational flavor of a“perception-based”approach for diagnosis.
Balakrishnan, K. , and V. Honavar . 1998. Intelligent diagnosis systems . Journal of Intelligent Systems8 (3-4): 239-290 .
2.
Dague, P.2001. Diagnostic, intelligence artificielle, et reconnaissance des formes. Paris: Hermes Science Publications .
3.
de Kleer, J. , and G. Williams . 1987. Diagnosing multiple faults . Artificial Intelligence32: 97-130 .
4.
de Kleer, J. , and G.Williams . 1989. Diagnosis with behavioral modes . In Proceedings of the 11th International Join Conference on Artificial Intelligence, IJCAI’89, Detroit, MI, pp. 1324-1330 .
5.
Reiter, R.1987. A theory for diagnosis from first principles . Artificial Intelligence32: 57-95 .
6.
Console, L. , and P. Torasso . 1990. Hypothetical reasoning in causal models . International Journal of Intelligent Systems1 (5): 83-124 .
7.
Eshelman, L.1988. MOLE: A knowledge-acquisition tool for cover-and-differentiate systems. In Automating knowledge acquisition for expert systems, edited by S. Marcus , 37-80. Boston: Kluwer Academic .
8.
Buchanan, B. , and E. Shortlife . 1984. Rule-based expert systems: The Mycin experiments of the Stanford Heuristic Programming Project. Reading, MA: Addison Wesley .
9.
Shortliffe, E.1976. Computer-based medical consultations: MYCIN. New York: Elsevier .
10.
Bredeweg, B.1994. Model-based diagnosis and prediction. In The CommonKads library for expertise modelling, edited by J. Breuker and W. Van de Velde , 121-153. Amsterdam: IOS Press .
11.
Benjamins, R.1995. Problem-solving methods for diagnosis and their role in knowledge acquisition . International Journal of Expert Systems: Research and Applications2 (8): 93-120 .
12.
Chantler, M. J. , G. M. Coghill , Q. Shen , and R. R. Leicht . 1998. Selecting tools and techniques for model-based diagnosis . Artificial Intelligence in Engineering12: 81-98 .
13.
Davis, R.1983. Reasoning from first principles in electronic troubleshooting . International Journal of Man Machine Studies19: 403-423 .
14.
Davis, R.1984. Diagnostic reasoning based on structure and behavior . Artificial Intelligence24: 347-410 .
15.
Genesereth, M. 1982. Diagnosis using hierarchical design models . In Proceedings of A.A.A.I.’82, pp. 278-283 .
16.
Genesereth, M.1984. The use of design descriptions in automated diagnosis . Artificial Intelligence24: 411-436 .
17.
Struss, P. , and O. Dressler . 1989. Physical negation: Integrating fault models into the general diagnostic engine . In 11th International Joint Conference on Artificial Intelligence, Detroit, MI, pp. 1318-1323 .
18.
Hamscher, W. 1988. Model-based troubleshooting of digital dystems. Technical Report AI-TR 1074, Ph.D. diss., MIT Press.
19.
Guckenbiehl, T. , and C. Shafer-Richter . 1990. Expert systems in engineering: Principles and applications. Berlin: Springer Verlag .
20.
Porcheron, M. , B. Ricard , J. Busquet , and P. Parent . 1994. DIAPO: A case study in applying advances AI techniques to the diagnosis of a complex system . In Proceedings of the European Conference on Artificial Intelligence (ECAI’94), Amsterdam.
21.
Acosta, G. , G. Alonso , and B. Pulido . 2001. Knowledge based diagnosis of a sugar process with TEKNOLID . International Sugar Journal103 (1228): 171-177 .
22.
Alonso, G. , B. Pulido , and G. Acosta . 1998. On line industrial diagnosis: An attempt to apply artificial intelligence techniques to process control . Paper presented at the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence & Expert Systems (IEA-98-AIE), June, Benicàssim, España.
23.
Basseville, M., and M.-O. Cordier. 1996. Surveillance et diagnostic de systèmes dynamiques: approches complémentaires du traitement de signal et de l’intelligence artificielle. IRISA Pub. No. 1004. Rennes: INRIA.
24.
Cauvin, S. , M.-O. Cordier , C. Dousson , P. Laborie , F. Lévy , J. Montmain , M. Porcheron , I. Servet , and L. Travé . 1998. Monitoring and alarm interpretation in industrial environments . AI Communications Journal11 (3-4): 139-173 .
25.
Cauvin, S. , B. Braunschweig , P. Galtier , and Y. Glaize . 1992. Alexip, expert system coupled with a dynamic simulator for the supervision of the Alphabutol process . Revue of Institut Français du Pétrole47: 175-182 .
26.
Cauvin, S. , and B. Braunschweig . 1993. Graphical knowledge representation in the ALEXIP system for petrochemical process supervision . Application of Artificial Intelligence in Engineering2: 219-233 .
27.
Cauvin, S. , B. Braunschweig , P. Galtier , and Y. Glaize . 1993. Model-based diagnosis for continuous process supervision: The ALEXIP experience . Engineering Applications of Artificial Intelligence6 (4): 333-343 .
28.
Arzen, K.1992. A survey of commercial real time expert system environments. In International Symposium on Artificial Intelligence in Real Time Control, pp. 611-618.
29.
Vila, L.1994. A survey on temporal reasonning in artificial intelligence . AICOM7 (1): 4-28 .
30.
Soham, Y.1987. Reasoning about change: Time and causation from the standpoint of artificial intelligence. Cambridge, MA: MIT Press .
31.
Dousson, C.1996. Alarm driven supervision for telecommunication network: II. On-line chronicle recognition . Annales des Télécommunications51 (9-10): 501-508 .
32.
Dousson, C. , P. Gaborit , and M. Ghallab . 1993. Situation recognition: Representation and algorithms . In Thirteenth International Join Conference on Artificial Intelligence, Chambéry, France, pp. 166-172 .
33.
Milne, R. , C. Nicol , M. Ghallab , L. Trave-Massuyes , K. Bousson , C. Dousson , J. Quevedo , J. Aguilar-Martin , and A. Guasch . 1994. TIGER real time situation assessment of dynamic systems . Intelligent Systems Engineering Journal3 (3): 103-124 .
34.
Aguilar, J. , K. Bousson , C. Dousson , M. Ghallab , A. Guash , R. Milne , C. Nicol , J. Quevedo , and L. Travé-Massuyès . 1994. TIGER: Real-time assessment of dynamic systems . Intelligent Systems Engineering3 (3): 103-124 .
35.
Travé-Massuyès, L. , and R. Milne . 1996. Diagnosis of dynamic systems based on explicit and implicit behavioural models: An application to gas turbines in Esprit Project TIGER . Applied Artificial Intelligence Journal3 (10): 000-000 .
36.
Travé-Massuyès, L. , and R. Milne . 1997. TIGER™: Gas turbines condition monitoring using qualitative model based diagnosis . IEEE Expert Intelligent Systems & Their Applications12 (3): 22-31 .
37.
Laborie, P. , and J.-P. Krivine . 1997. Automatic generation of chronicles and its application to alarm processing in power distribution dystems . In International Workshop on Principles of Diagnosis (DX’97), Mont-Saint-Michel, France, pp. 61-68 .
38.
Bredillet, P. , I. Delouis , P. Eyrolles , O. Jehl , J.-P. Krivine , and P. Thiault . 1994. The AUSTRAL expert system for power restoration on distribution systems . In Proceedings ISAP’94, EC2 ed., pp. 295-302 .
Steels, L.1993. The componential framework and its role in reusability: Second generation expert systemsBerlin: Springer Verlag .
41.
Pierret-Golbreicht, C. 1994. TASK model, a framework for the design of models of expertise and their operationalization . In Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada, pp. 37.1-37.22 .
42.
Benjamins, R. 1993. Problem solving methods for diagnosis. Ph.D. diss., University of Amsterdam.
43.
Angele, J. , D. Fensel , D. Landes , S. Neubert , and R. Studer . 1993. Model-based and incremental knowledge engineering: The MIKE approach. In Knowledge oriented software design, A-27. Amsterdam: IFIP Transactions .
44.
Chandresakan, B. , T. R. Johnson , and J. W. Smith . 1992. Task structure analysis for knowledge modeling . Communications of the ACM9 (35): 124-137 .
45.
Puerta, A. , J. Egar , S. Tu , and M. Musen . 1992. A multiple method shell for the automatic generation of knowledge acquisition tools . Knowledge Acquisition4: 171-196 .
46.
Klinker, G. , C. Bhola , G. Dallemagne , D. Marques , and J. McDermott . 1991. Usable and reusable programming constructs . Knowledge Acquisition3: 117-136 .
47.
McDermott, J.1988. Preliminary steps towards a taxonomy of problem solving methods: Automating knowledge acquisition for expert systems. Boston: Kluwer Academic .
48.
Schreiber, G. , H. Akkermans , A. Anjewierden , R. de Hoog , N. Shadbolt , W. Van de Velde , and B. Wielinga . 2000. Knowledge engineering and management: The CommonKADS methodology. Cambridge, MA: MIT Press .
49.
Breuker, J. , and W. Van de Velde . 1994. The CommonKADS library for expertise modeling. Amsterdam: IOS Press .
50.
Le Goc, M. , C. Frydman , and L. Torres . 2002. Verification and validation of the SACHEM conceptual model . International Journal of Human Computer Studies56 (2): 199-223 .
51.
Cordier, M.-O. , S. Thiébaux , O. Jehl , and J.-P. Krivine . 1997. Supply restoration in power distribution systems: A reference problem in diagnosis and reconfiguration . In 8th International Workshop on Principles of Diagnosis, pp. 286-291 .
52.
Dague, P. , O. Jehl , P. Deves , P. Luciani , and P. Taillibert . 1991. When oscillators stops oscillating . In Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp. 1109-1115 .
53.
Console, L. , and D. Theseider Dupré . 1998. On the dimensions of temporal model-based diagnosis . In 9th International Workshop on Principles of Diagnosis, pp. 16-23 .
54.
Zeigler, B.1976. Theory of modeling and simulation. New York: John Wiley .
Ghallab, M. 1996. On chronicles: Representation, on-line recognition and learning . In Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR’96), Cambridge, MA, pp. 597-606 .
57.
Hanks, S. , and D. McDermott . 1994. Modelling a dynamic and uncertain world I: symbolic and probabilistic reasoning about change . Artificial Intelligence66: 1-55 .
58.
Giambiasi, N. , B. Escude , and S. Ghosh . 2000. GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems . Transactions of the Society for Computer Simulation (SCS) International17 (3): 120-134 .
59.
Forbus, K.1988. Qualitative physics: Past, present, and future. In Exploring artificial intelligence, edited by H. Shrobe , 239-290. Los Altos, CA: Morgan Kaufman .
Foulloy, L. , and M. Le Goc . 1989. Towards a methodology to write rules for expert controllers . In Proceedings AIPAC’89, Nancy, France, vol. 1, pp. 239-245 .
62.
Frydman, C. , M. Le Goc , L. Torres , and N. Giambiasi . 2001. Knowledge-based diagnosis in SACHEM using DEVS models . Transactions of the Society for Computer Simulation International (SCS)18 (3): 147-158 .
63.
Bouché, P. , and M. Le Goc . 2004. Discovering operational signatures with time constraints from a discrete event sequence . In Proceedings of HIS’04, Fourth International Conference on Hybrid Intelligent Systems, December 5-8, Kitakyushu, Japan.
64.
Le Goc, M. , C. Touzet , and C. Thirion . 1998. The SACHEM experience on ANN application . In Neurap’98, Fourth International Conference on Neural Networks and Their Applications, Marseilles, France, pp. 315-321 .
65.
Yan, Y. , D. Lemire , and M. Brooks . 2004. Monotone pieces analysis for qualitative modeling . In 16th European Conference on Artificial Intelligence Workshop 28: MONET Workshop on Model-Based Systems, ECAI’04, August 23-27, Valencia, Spain, pp. 39-44 .
66.
Newell, A.1982. The knowledge level . Artificial Intelligence18: 87-127 .
67.
Le Goc, M. , and M. Gaéta . 2003. Modelling structures in generic space, a condition for adaptiveness of monitoring cognitive agent . Journal of Intelligent Structure and Robotic Systems (in press).
68.
Le Goc, M. , and C. Thirion . 1999. Using both numerical and symbolic models to create economic value: The SACHEM system example . In Proceedings of the 27th McMaster Symposium on Iron and Steelmaking, Hamilton, Ontario, Canada.
69.
Albers, P. , and M. Ghallab . 1997. Context dependent effects in temporal planning. In Recent advances on AI planning, edited by S. Steel and R. Alami , LNCS 1348, 1-12. Berlin: Springer .
70.
Bobrow, D. G. , and T. Winograd . 1977. An overview of KRL, a knowledge representation language . Cognitive Sciences1 (1): 3-46 .
71.
Stefik, M. , D. G. Bobrow , S. Mittal , and L. Conway . 1983. Knowledge programming in LOOPS: Report of an experimental course . Artificial Intelligence Magazine4 (3): 3-13 .
72.
Ferenczi, M. , P. Vernet , P. Pares , and C. Grossetête . 1995. Le raisonnement temporal dans SACHEM . Genie Logiciel35: 48-55 .
