A conceptual and formal model of a diagnostic reasoner

  • Richard Benjamins
  • Manfred Aben
Theoretical and General Issues
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1076)


The knowledge acquisition process can be supported by distinguishing different models in the development process of knowledge-based systems, where each model is dedicated to a specific phase. Two of these models are the conceptual model and the formal model. Conceptual models of knowledge-based systems facilitate initial system specification because they are easy to understand and construct. However, such models are often ambiguous and inconsistent, and contain hidden assumptions. The use of formal methods is a way to overcome these problems, and formalization becomes essential when we have to guarantee that system specifications are met, such as in safety critical systems. This paper presents a conceptual model and a formal model of a diagnostic reasoner, and includes a proof which shows that the high-level specification of our reasoner is ensured by the formal model presented.


Fault Model Device Model Diagnostic Reasoner Inference Structure Safety Critical System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Aben. Formal Methods in Knowledge Engineering. PhD thesis, University of Amsterdam, Amsterdam, 1995.Google Scholar
  2. 2.
    J. Angele, D. Fensel, S. Neubert, and R Studer. Model-based and incremental knowledge engineering: The MIKE approach. In J. Cuena, editor, Knowledge Oreinted Software Design, volume A-27 of IFIP Transactions, pages 139–168. Elsevier, Amsterdam, 1993.Google Scholar
  3. 3.
    C. Bauer and W. Karbach, editors. Proceedings Second KADS User Meeting, ZFE BT SE 21, Otto-Hahn Ring 6, D-8000 Munich 83, 17–18 February 1992. Siemens AG.Google Scholar
  4. 4.
    V. R. Benjamins. Problem Solving Methods for Diagnosis. PhD thesis, SWI, University of Amsterdam, Amsterdam, The Netherlands, June 1993.Google Scholar
  5. 5.
    V. R. Benjamins. Problem-solving methods for diagnosis and their role in knowledge acquisition. International Journal of Expert Systems: Research and Applications, 8(2):93–120, 1995.Google Scholar
  6. 6.
    L. Console and P. Torasso. Integrating models of the correct behaviour into abductive diagnosis. In L. C. Aiello, editor, Proc. ECAI-90, pages 160–166, London, 1990. ECCAI, Pitman.Google Scholar
  7. 7.
    R. Davis and W. C. Hamscher. Model-based reasoning: Troubleshooting. In H. E. Shrobe, editor, Exploring Artificial Intelligence, pages 297–346. Morgan Kaufmann, San Mateo, California, 1988.Google Scholar
  8. 8.
    J. H. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.Google Scholar
  9. 9.
    E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976.Google Scholar
  10. 10.
    C. A. R. Hoare. The axiomatic basis of computer programming. Communications of the ACM, 12(10):567–583, October 1969.Google Scholar
  11. 11.
    P. G. Larsen, N. Plat, and H. Toetenel. A formal semantics of data flow diagrams. Formal Aspects od Computing, 3, 1993.Google Scholar
  12. 12.
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs, New Jersey, 1991.Google Scholar
  13. 13.
    J. Rushby. Formal methods and their role in the certification of critical systems. Technical Report CSL-95-1, SRI, 1995.Google Scholar
  14. 14.
    A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker. KADS: A Principled Approach to Knowledge-Based System Development. Academic Press, London, 1993.Google Scholar
  15. 15.
    L. T. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification. The Computer Journal., 35(6):600–610, 1992.Google Scholar
  16. 16.
    N. R. Shadbolt, E. Motta, and A. Rouge. Constructing knowledge based systems. IEEE Software, 1993.Google Scholar
  17. 17.
    A. ten Teije and F. van Harmelen. An extended spectrum of logical definitions for diagnostic systems. In Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis, 1994.Google Scholar
  18. 18.
    F. van Harmelen and M. Aben. Structure preserving specification languages for knowledge-based systems. International Journal of Human-Computer Studies, 44(2), 1996.Google Scholar
  19. 19.
    F. van Harmelen and J. R. Balder. (ML)2: a formal language for KADS models of expertise. Knowledge Acquisition, 4(1), 1992. Special issue: ‘The KADS approach to knowledge engineering'.Google Scholar
  20. 20.
    E. Yourdon. Modern Structured Analysis. Prentice Hall, Englewood Cliffs, New Jersey, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Richard Benjamins
    • 1
  • Manfred Aben
    • 2
  1. 1.SWI, University of AmsterdamWB AmsterdamThe Netherlands
  2. 2.Unilever Research LaboratoriesAT VlaardingenThe Netherlands

Personalised recommendations