Abstract
The paper calls for attention to the following points:
-
• There is a rapidly opening gap between available computational resources in all kinds of technical devices and useful on-board applications for the end user. This means opportunities for creating embedded artificial intelligence systems of all sorts, in particular on-board model-based diagnosis in cars.
-
• In the case of model-based diagnosis relevant technology has been available for years. This is demonstrated by sketching a minimal on-board diagnosis system using rather old components. Based on this latter experience we emphasize the need for real examples even in the early stages of a research program. It helps focusing one's efforts both on a personal as on a community level. Despite the successes so far, diagnosis is an open problem. More, not less basic research is needed to solve the problems arising in industrial environments.
-
• There are many other tasks in a technical product's life cycle where a model-based approach is suitable (both on-board and off-board), but where even more basic research is needed.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Böttcher, Dressler. A Framework for Controlling Diagnosis Systems with Multiple Actions Annals of Mathematics and Artificial Intelligence, 11(l–4), 1994. Special Issue on Model-based Diagnosis.
Burch, Clarke, McMillan. Symbolic model checking: 1020 states and beyond. 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, New York, pp. 428–439
de Kleer, J., An Assumption-based Truth Maintenance System. Artificial Intelligence, 1986
de Kleer. Focusing on Probable Diagnoses. Proc. AAAI'91. MIT Press, 1991
de Kleer, Williams. Diagnosing Multiple Faults. Artificial Intelligence, 1987
Dressler, Freitag. Propagation of Temporally Indexed Values in Multiple Contexts. In GWAI'89, Springer, 1989
Dressler, Farquhar. Putting the problem solver back in the driver's seat: contextual control of the ATMS. Springer Lecture Notes on AI, 1990
Dressler,Struss.Model-based diagnosis with the default-based diagnosis engine: effective control strategies that work in practice. Proc. ECAI'94, Wiley, 1994
O. Dressler, P. Struss. The Consistency-based Approach to Automated Diagnosis of Devices. In G.Brewka (Ed.), Principles of Knowledge Representation, pages 267–311, CSLI Publications, Stanford 1996
Dressler.On-line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-based Diagnosis Engines Proc ECAI'96, Wiley, 1996.
Forbus, de Kleer. Building Problem Solvers. MIT Press, 1993
Friedrich, Gottlob, Nejdl. Formalizing the repair process. Proc. EPIA '91, Springer Lecture Notes on AI, 1991
Hunt, Price, Lee. Automating the FMEA Process. Intelligent Systems Engineering, 2:119–132, 1993
Kuipers, Shults. Reasoning in Logic about Continuous Systems, Proc. KR '94, Morgan Kaufmann Publishers
Roth, P. Computer Logic, Testing, and Verification. Pitman Publishing, 1980
Struss. What's in SD? in Hamscher, Console, de Kleer (Eds.) Readings in Model-based diagnosis, Morgan Kaufmann, 1992
Struss, P. Testing Physical Systems, Proc. AAAI 94, MIT Press, 1994
Struss, P. Fundamentals of Model based Diagnosis of Dynamic Systems. Proc. IJCAI'97, Morgan Kaufmann, 1997
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dressier, O. (1997). Diagnostic information at your fingertips!. In: Coasta, E., Cardoso, A. (eds) Progress in Artificial Intelligence. EPIA 1997. Lecture Notes in Computer Science, vol 1323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023939
Download citation
DOI: https://doi.org/10.1007/BFb0023939
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63586-4
Online ISBN: 978-3-540-69605-6
eBook Packages: Springer Book Archive