Zusammenfassung
Es wird eine prädikatenlogische Darstellungsform für kausale dynamische Systeme definiert und ein Algorithmus beschrieben, mit dem Diagnoseaufgaben gelöst werden können. Aufgrund der Struktur des Algorithmus ist dieser für Echtzeitanwendungen geeignet.
Chapter PDF
Similar content being viewed by others
Literatur
Brewka, G.: Nichtmonotone Logiken. KI (1989) H. 2, S. 5–12.
de Kleer, J.; Williams, B.C.: Diagnosing multiple faults, AI 32 (1987) No. 1.
Kerndlmaier, M. (Hrsg.) Technische Expertensysteme für Prozeßführung und Diagnose. Oldenbourg-Verlag, München 1989.
Lunze, J.: Ein Verfahren zur Prozessdiagnose auf der Grundlage der Aussagenlogik. msr 33 (1990) H. 12.
Lunze, J.; Serbezow, T.: Logikbasierte Diagnose unter Berücksichtigung der Prozeßdynamik msr (erscheint 1991).
Lunze, J.; Schwarz, W.: Künstliche Intelligenz. Verlag Technik und Springer-Verlag, Berlin 1990.
Narayanan, N.H.; Viswanadham, N.: A methodology for knowledge acquisition and reasoning in failure analysis of systems. IEEE Trans-SMC-17 (1987) No. 2, pp. 274–288
Patton, R.; Frank, P.M.; Clark, R.: Fault Diagnosis of Dynamic Systems. Prentice-Hall, London 1988.
Polke, M.; Will, B.: Neue Qualität der Führung verfahrenstechnischer Prozesse. ATP 31(1989)H. 9, S.115–120.
Puppe, F.: Diagnostisches Problemlösen mit Expertensystemen. Springer-Verlag, Berlin 1986
Reiter, R.: A theory of diagnostics from first principles, AI 32 (1987) No. 1, pp. 57–95.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lunze, J. (1991). Prozessdiagnose Auf der Grundlage Einer Prädikatenlogischen Prozessbeschreibung. In: Hommel, G. (eds) Prozeßrechensysteme ’91. Informatik-Fachberichte, vol 269. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76501-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-76501-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53808-0
Online ISBN: 978-3-642-76501-8
eBook Packages: Springer Book Archive