Tytuł artykułu
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Consistency-based diagnosis falls into the category of model based approaches. In this paper the problem of generation of conflict sets for dynamic systems described with causal graphs is approached. Conflict generation is an important step in model-based diagnosis. The foundations of such a diagnostic approach are constituted by the Reiter's theory concerning consistency-based diagnostic reasoning. This paper is aimed at presenting a discussion of selected problems of conflict generation. A notion of Potential Conflict Structure (PCS) constituting a basic tool for identification of possible conflicts is proposed and its use id discussed. The paper includes elements of algebra of conflict sets.
Czasopismo
Rocznik
Tom
Strony
23--46
Opis fizyczny
Bibliogr. 32 poz.
Twórcy
autor
- Institute of Automatics AGH, University of Mining and Metallurgy, Mickiewicza 30, 30-059 Kraków
autor
- Institute of Automatics AGH, University of Mining and Metallurgy, Mickiewicza 30, 30-059 Kraków
Bibliografia
- [1] Bousson K., Trave-Massuyes L., Zimmer L.: Causal model-based diagnosis of dynamic systems, LAAS Report No. 94231, 1994.
- [2] Batko W., Uhl T.: Wybrane problemy diagnostyki maszyn, CCATIE, Kraków, 1996.
- [3] Cempel C , Tomaszewski F. (Ed.): Diagnostyka maszyn. Zasady ogólne. Przykłady zastosowań. Międzyresortowe Centrum Naukowe Ekspolatacji Majątku Trwałego. Radom, 1992.
- [4] Davis R.: Diagnostic reasoning based on structure and behavior. Artifcial Intelligence 24, 347-410, 1984.
- [5] Davis R., Hamscher W.: Model-based reasoning: troubleshooting. In: Readings in Model-Based Diagnosis (W. Hamscher, L. Console and J. de Kleer, Eds.), pp. 3-24. Morgan Kaufmann Publishers. San Mateo, CA, 1992.
- [6] de Kleer J, Williams В. C.: Diagnosing multiple faults, Artificial Intelligence,32, 97-130, 1987.
- [7] Frank P.M.: Fault Diagnosis in Dynamic Systems Using Analitical and Knowledge-based Redundancy-А survey and Some New Results, Automatica, 26(3), 459-474, 1990.
- [8] Frank P.M.: Analytical and qualitative model-based fault diagnosis - a survey and some new results. European Journal of Control (2), 6-28, 1996.
- [9] Genesereth, M.R.: The use of design descriptions in automated diagnosis. Artificial Intelligence 24, 411-436, 1984.
- [10] Górny В. Ligęza A.: Review of Systematic Conflict Generation in Model-Based Diagnosis of Dynamic Systems. IFAC Workshop on Manufacturing Modelling, Management and Control, MIM’2001, Praga, Czechy, 2001.
- [11] Górny В. Ligęza A.: Wnioskowanie diagnostyczne w oparciu o model systemu, V Krajowa Konferencja Naukowo-Techniczna „Diagnostyka Procesów Przemysłowych” DPP’2001, Łagów Lubuski, 2001.
- [12] Górny B, Ligęza A.: Model-Based Diagnosis of Dynamie Systems. 10th International Conference on System Modelling Control, SMC'2001, Zakopane, 2001.
- [13] Górny B., Consistency-Based Reasoning in Model-Based Diagnosis, Ph.D. Thesis AGH Kraków, 2001.
- [14] Hamscher W., Console L., de Kleer J. (Eds.): Readings in Model-Based Diagnosis, Morgan Kaufmann. San Mateo, CA, 1992.
- [15] Isermann R.: Integration of fault detection and diagnosis methods. In: Safeprocess'94. IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes. Vol. 2. pp. 597-612. Helsinki, 1994.
- [16] Hermann R.: Supervision, fault detection and fault-diagnosis methods - an introduction. Control Engineering Practice 5(5), 639-652, 1997.
- [17] Hermann R., Balle P.: Trends in the application of model-based fault detection and diagnosis of technical processes. Control Engineering Practice 5, 707-719, 1997.
- [18] Kościelny J.M.: Diagnostyka zautomatyzowanych procesów przemysłowych, Akademicka Oficyna Wydawnicza EXIT, Warszawa, 2001.
- [19] Korbicz J., Obuchowicz A., Uciński D.: Artifcial Neural Networks. Foundations and Applications. Akademicka Oficyna Wydawnicza РЫ. Warszawa, 1994.
- [20] Liebowitz J. (Ed.): Applied Expert Systems. CRC Press, 1998.
- [21] Ligęza A.: A note on systematic conflict generation in CA-EN-type causal structures, LAAS Report No. 96317, 1996.
- [22] Ligęza A., Fuster-Para P., Aguilar-Martin J.: Causal Abduction: Backward Search on Causal Logical Graphs as a Model for Diagnostic Reasoning, LAAS Report No. 96316, 1996.
- [23] Ligęza A., Górny В.: Systematic conflict generation in model-based diagnosis, in Safeprocess’ 2000, ed. A. M. Edelmayer, 1103-1108, Budapest, 2000.
- [24] Milne R., Trave-Massuyes L.: Model based aspects of the Tiger gas turbine condition monitoring system. In: Safeprocess'97 (R. J. Patton and J. Chen, Eds.), pp. 420-425, Hull, 1997.
- [25] Milne R., Nicol C.: Tiger: Continuous diagnosis of gas turbines. In: ECAI 2000. 14th European Conference on Artifcial Intelligence (W. Horn, Ed.), pp. 711-715. IOS Press. Berlin, 2000.
- [26] Nicol C., Trave-Massuyes L., Quevedo J.: Tiger: Applying hybrid technology for industrial monitoring. LAAS Report, No. 96039, 1996.
- [27] Paton R., Frank P, Clark R. (Ed.): Fault Diagnosis in Dynamic Systems. Theory and Applications. Prentice Hall, 1989.
- [28] Patton R., Chen J.: A review of parity space approaches tofault diagnosis. In: Safeprocess'91. IFAC/IMACS Symposium on Fault Detection Supervision and Safety for Technical Processes (R. Isermann, Ed.). Baden-Baden, 1991.
- [29] Reiter R.: A theory of diagnosis from first principles, Artificial Intelligence,32, 57-95, 1987.
- [30] Trave-Massuyes L., Milne R.: Gas turbine condition monitoring using qualitative model based diagnosis. IEEE Expert magazine “Intelligent Systems and Their Applications” Vol. 12, No. 3, 21-31, 1997.
- [31] Tzafestas S.G.: System fault diagnosis using the knowledge-based methodology. In: Fault Diagnosis in Dynamic Systems. Theory and Applications. Prentice Hall, pp. 509-595, 1989.
- [32] Tzafestas S.G. (Ed.): Knowledge-Based System Diagnosis, Supervision and Control. Plenum Press. New York, London, 1989.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-LOD7-0028-0002