Abstract
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, and a graphical user interface to provide an integrated toolset for the development of model-based diagnosis applications. The framework has been used for representing a number of application domains. We present the AD2L language, the main user language for the system geared towards use by non-specialists, and discuss use of DiKe in various domains.
This work was partially supported by the Austrian Science Fund project N Z29-INF, Siemens Austria research grant DDV GR 21/96106/4, and the Hochschuljubiläumsstiftung der Stadt Wien grant H-00031/97.
Authors are listed in alphabetical order.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Reference
Fulvio Cascio, Luca Console, Marcella Guagliumi, Massimo Osella, Andrea Panati, Sara Sottano, and Daniele Theseider Dupré. Generating on-board diagnostics of dynamic automotive systems based on qualitative models. AI Communications, 12(1/2), 1999.
James Crawford, Adam Farquhar, and Benjamin Kuipers. QPC: A compiler from physical models into qualitative differential equations. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 365–372, Boston, August 1990. Morgan Kaufmann.
Judith Crow and John Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings AAAI, pages 836–841, LosAngeles, July 1991. Morgan Kaufmann.
Philippe Dague. Qualitative Reasoning: A Survey of Techniques and Applications. AI Communications, 8(3/4):119–192, 1995.
Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97–130, 1987.
Werner Dilger and Jörg Kippe. COMODEL: A language for the representation of technical knowledge. In Proceedings 9th International Joint Conf. on Artificial Intelligence, pages 353–358, Los Angeles, CA, August 1985. Morgan Kaufmann.
Yousri El Fattah and Rina Dechter. Diagnosing tree-decomposable circuits. In Proceedings 14th International Joint Conf. on Artificial Intelligence, pages 1742–1748, 1995.
Tim Finin, Yannis Labrou, and James Mayfield. KQML as an Agent Communication Language. In Jeffrey M. Bradshaw, editor, Software Agents, pages 291–317. AAAI Press / The MIT Press, 1997.
Kenneth D. Forbus. Qualitative process theory. Artificial Intelligence, 24:85–168, 1984.
Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Physical impossibility instead of fault models. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 331–336, Boston, August 1990. Also appears in Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992).
Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3–39, July 1999.
Peter Fröhlich and Wolfgang Nejdl. A Static Model-Based Engine for Model-Based Reasoning. In Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan, August 1997.
M.R. Genesereth and R.E. Fikes. Knowledge Interchange Format, Version 3.0, Reference Manual. Technical report, Technical report Logic-92-1, Stanford University Logic Group, 1992.
Russell Greiner, Barbara A. Smith, and Ralph W. Wilkerson. A correction to the algorithm in Reiter’s theory of diagnosis. Artificial Intelligence, 41(1):79–88, 1989.
Florentin Heck, Thomas Laengle, and Heinz Woern. A Multi-Agent Based Monitoring and Diagnosis System for Industrial Components. In Proceedings of the Ninth International Workshop on Principles of Diagnosis, pages 63–69, Cape Cod, Massachusetts, USA, May 1998.
Ulrich Heller and Peter Struss. Transformation of Qualitative Dynamic Models-Application in Hydro-Ecology. In Proceedings of the 10th International Workshop on Qualitative Reasoning, pages 83–92. AAAI Press, 1996.
Ulrich Heller and Peter Struss. Conceptual Modeling in the Environmental Domain. In Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, volume 6, pages 147–152, Berlin, Germany, 1997.
Yumi Iwasaki, Adam Farquhar, Richard Fikes, and James Rice. A Web-Based Compositional Modeling System for Sharing of Pysical Knowledge. In Proceedings 15th International Joint Conf. on Artificial Intelligence, 1997.
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. AI Support for Debugging Java Programs. In 3rdWorkshop on Intelligent SW Eng., Limerick, Ireland, June 2000.
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE-AI Support for Debugging Java Programs. In Proceedings of the 12th International Conference on Tools with Artificial Intelligence, Canada, November 2000. Also appears in [19].
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java programs using a model-based approach. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999.
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Locating bugs in Java programs-first results of the Java Diagnosis Experiments (Jade) project. In Proceedings IEA/AIE, New Orleans, 2000. Springer-Verlag.
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Programs for Diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000.
Heiko Milde, Thomas Guckenbiehl, Andreas Malik, Bernd Neumann, and Peter Struss. Integrating Model-based Diagnosis Techniques into Current Work Processes-Three Case Studies from the INDIA Project. AI Communications, 13, 2000. Special Issue on Industrial Applications of Model-Based Reasoning.
Jacky Montmain. Supervision Applied to Nuclear Fuel Reprocessing. AI Communications, 13, 2000. Special Issue on Industrial Applications of Model-Based Reasoning.
Christian Piccardi. AD2LAn Abstract Modelling Language for Diagnosis Systems. Master’s thesis, TU Vienna, 1998.
Kanna Rajan, Douglas Bernard, Gregory Dorais, Edward Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, Pandurang Nayak, Nicolas Rouquette, Benjamin Smith, William Taylor, and Ye-wen Tung. Remote Agent: An Autonomous Control System for the New Millennium. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000.
Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57–95, 1987.
Martin Sachenbacher, Peter Struss, and Claes M. Carlén. A Prototype for Model-based Onboard Diagnosis of Automotive Systems. AI Communications, 13, 2000. Special Issue on Industrial Applications of Model-Based Reasoning.
Peter Struss and Oskar Dressler. Physical negation-Integrating fault models into the general diagnostic engine. In Proceedings 11th International Joint Conf. on Artificial Intelligence, pages 1318–1323, Detroit, August 1989.
Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. In Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan, 1997.
Markus Stumptner and Franz Wotawa. Model-based reconfiguration. In Proceedings Artificial Intelligence in Design, Lisbon, Portugal, 1998.
Markus Stumptner and Franz Wotawa. VHDLDIAG+:Value-level Diagnosis of VHDL Programs. In Proceedings of the Ninth InternationalWorkshop on Principles of Diagnosis, Cape Cod, May 1998.
Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceedings 16th International Joint Conf. on Artificial Intelligence, pages 1074–1079, Stockholm, Sweden, August 1999.
Markus Stumptner and Franz Wotawa, editors. AI Communications, Special Issue on Industrial Applications of Model-Based Reasoning, volume 13(1). IOS Press, 2000.
Markus Stumptner and Franz Wotawa, editors. DiagnosingTree-Structured Systems. Artificial Intelligence, volume 127(1):1–29. Elsevier, 2001.
Brian C. Williams and P. Pandurang Nayak. A Model-based Approach to Reactive Self-Configuring Systems. In Proceedings of the Seventh International Workshop on Principles of Diagnosis, pages 267–274, 1996.
Brian C. Williams and P. Pandurang Nayak. A reactive planner for a model-based executive. In Proceedings 15th International Joint Conf. on Artificial Intelligence, pages 1178–1185, 1997.
Franz Wotawa, editor. AI Communications, Special Issue on Model-Based Reasoning, volume 12(1/2). IOS Press, 1999.
Franz Wotawa. Debugging synthesizeable VHDL Programs. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fleischanderl, G., Havelka, T., Schreiner, H., Stumptner, M., Wotawa, F. (2001). DiKe - A Model-Based Diagnosis Kernel and Its Application. In: Baader, F., Brewka, G., Eiter, T. (eds) KI 2001: Advances in Artificial Intelligence. KI 2001. Lecture Notes in Computer Science(), vol 2174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45422-5_31
Download citation
DOI: https://doi.org/10.1007/3-540-45422-5_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42612-7
Online ISBN: 978-3-540-45422-9
eBook Packages: Springer Book Archive