Zusammenfassung
Wir präsentieren ein System (Quasimodis), das in der Lage ist, mit Hilfe eines qualitativen Modells eines technischen Gerätes, Beobachtungen über das Verhalten dieses Gerätes und Hypothesen über mögliche Fehlverhalten eine Uberprüfung dieser Hypothesen durchzuführen und dabei mit den Beobachtungen nicht verträgliche Hypothesen auszuschließen sowie zusätzliche Messungen vorzuschlagen, die unter den verbliebenen Hypothesen in optimaler Weise differenzieren. Modellierungssprache, Verhaltenssimulation und Hypothesenüberprüfung/ — diskriminierung werden vorgestellt und anhand eines Beispiels erläutert. Quasimodis ist in Lucid Common Lisp auf einer SUN-Workstation implementiert.
QUAlitative SImulation zur MOdellbasierten DIagnose dynamischer Systeme
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
J.F. Allen: Maintaining Knowledge about Temporal Intervals, Comm. ACM 26(11), 1983
J.F. Allen, P.F. Hayes: A Common Sense Theory of Time, Proc. 9 th IJCAI, 1985
R. Davis: Diagnostic Reasoning Based on Structure and Behavior, Artificial Inteiligence 24, pp 347–410, 1984
D. Dvorak, B. Kuipers: Model-Based Monitoring of Dynamic Systems, Proc. llth IJCAI, pp 1238–1243, 1989
J. de Kleer, J. Brown: A Qualitative Physics Based on Confluences, Artificial Inteiligence 24, pp 7–83, 1984
J. de Kleer, B.C. Wilhams: Diagnosing Multiple Faults, Artificial Inteiligence 32(1), pp 97–130, 1987
J. de Kleer, B.C. Wilhams: Diagnosis with Behavioral Modes, Proc. llth IJCAI, pp 1324–1330, 1989
K.D. Forbus: Qualitative Process Theory, Artificial Inteiligence 24, pp 85–168, 1984
B. Kuipers: Qualitative Simulation, Artificial Inteiligence 29(3), pp 289–338, 1986
B. Kuipers, C. Chiu: Taming Intractible Branching in Qualitative Simulation, Proc.10th IJCAI, pp 1079–1085, 1987
K. Nökel: Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements, Proc. llth IJCAI, pp 1255–1260, 1989
P. Struss, O. Dressler:“Physical Negation“ — Integrating Fault Models into the GDE, Proc. 11th IJCAI, pp 1318–1323, 1989
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alt, M., Rehbold, R., Scheidhauer, R. (1990). Quasimodis: Modellbasierte Diagnose dynamischer Systeme mit qualitativer Simulation. In: Marburger, H. (eds) GWAI-90 14th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76071-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-76071-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53132-6
Online ISBN: 978-3-642-76071-6
eBook Packages: Springer Book Archive