Skip to main content
SpringerLink
Log in
Book cover

Annual Conference on Artificial Intelligence

KI 2001: KI 2001: Advances in Artificial Intelligence pp 440–454Cite as

DiKe - A Model-Based Diagnosis Kernel and Its Application

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2174))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. Judith Crow and John Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings AAAI, pages 836–841, LosAngeles, July 1991. Morgan Kaufmann.

    Google Scholar 

  4. Philippe Dague. Qualitative Reasoning: A Survey of Techniques and Applications. AI Communications, 8(3/4):119–192, 1995.

    Google Scholar 

  5. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97–130, 1987.

    Article  MATH  Google Scholar 

  6. 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.

    Google Scholar 

  7. Yousri El Fattah and Rina Dechter. Diagnosing tree-decomposable circuits. In Proceedings 14th International Joint Conf. on Artificial Intelligence, pages 1742–1748, 1995.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. Kenneth D. Forbus. Qualitative process theory. Artificial Intelligence, 24:85–168, 1984.

    Article  Google Scholar 

  10. 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).

    Google Scholar 

  11. Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3–39, July 1999.

    Article  MATH  MathSciNet  Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Article  MATH  MathSciNet  Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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].

    Google Scholar 

  21. 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.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. 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.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. Jacky Montmain. Supervision Applied to Nuclear Fuel Reprocessing. AI Communications, 13, 2000. Special Issue on Industrial Applications of Model-Based Reasoning.

    Google Scholar 

  26. Christian Piccardi. AD2LAn Abstract Modelling Language for Diagnosis Systems. Master’s thesis, TU Vienna, 1998.

    Google Scholar 

  27. 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.

    Google Scholar 

  28. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57–95, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  29. 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.

    Google Scholar 

  30. 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.

    Google Scholar 

  31. Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. In Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan, 1997.

    Google Scholar 

  32. Markus Stumptner and Franz Wotawa. Model-based reconfiguration. In Proceedings Artificial Intelligence in Design, Lisbon, Portugal, 1998.

    Google Scholar 

  33. 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.

    Google Scholar 

  34. Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceedings 16th International Joint Conf. on Artificial Intelligence, pages 1074–1079, Stockholm, Sweden, August 1999.

    Google Scholar 

  35. Markus Stumptner and Franz Wotawa, editors. AI Communications, Special Issue on Industrial Applications of Model-Based Reasoning, volume 13(1). IOS Press, 2000.

    Google Scholar 

    Google Scholar 

  36. Markus Stumptner and Franz Wotawa, editors. DiagnosingTree-Structured Systems. Artificial Intelligence, volume 127(1):1–29. Elsevier, 2001.

    Google Scholar 

  37. 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.

    Google Scholar 

  38. 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.

    Google Scholar 

  39. Franz Wotawa, editor. AI Communications, Special Issue on Model-Based Reasoning, volume 12(1/2). IOS Press, 1999.

    Google Scholar 

    Google Scholar 

  40. Franz Wotawa. Debugging synthesizeable VHDL Programs. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Siemens Austria, Program and System Engineering, Erdbergerlände 26, A-1030, Vienna, Austria

    Gerhard Fleischanderl & Herwig Schreiner

  2. School of Computer and Information Science, University of South Australia, Mawson Lakes Boulevard 1, 5092, Mawson Lakes SA, Australia

    Markus Stumptner

  3. Institut für Informationssysteme, Technische UniversitätWien, Favoritenstraße 9-11, A-1040, Vienna, Austria

    Thomas Havelka & Franz Wotawa

Authors
  1. Gerhard Fleischanderl
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Havelka
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Herwig Schreiner
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Markus Stumptner
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Franz Wotawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. RWTH Aachen, Theoretical Computer Science, Ahornstrasse 55, 52074, Aachen, Germany

    Franz Baader

  2. Intelligent Systems Department, University of Leipzig, Computer Science Institute, Augustusplatz 10-11, 04109, Leipzig, Germany

    Gerhard Brewka

  3. Institute of Information Systems Knowledge-Based Systems Group, Vienna University of Technology, Favoritenstrasse 11, 1040, Wien, Austria

    Thomas Eiter

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation