Abstract
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.
Richard Benjamins is supported by the Netherlands Computer Science Research Foundation with financial support from the Netherlands Organisation for Scientific Research (NWO). The work has partly been supported by the HCM program, financed by the CEC.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Aben. Formal Methods in Knowledge Engineering. PhD thesis, University of Amsterdam, Amsterdam, 1995.
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.
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.
V. R. Benjamins. Problem Solving Methods for Diagnosis. PhD thesis, SWI, University of Amsterdam, Amsterdam, The Netherlands, June 1993.
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.
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.
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.
J. H. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.
E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976.
C. A. R. Hoare. The axiomatic basis of computer programming. Communications of the ACM, 12(10):567–583, October 1969.
P. G. Larsen, N. Plat, and H. Toetenel. A formal semantics of data flow diagrams. Formal Aspects od Computing, 3, 1993.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
J. Rushby. Formal methods and their role in the certification of critical systems. Technical Report CSL-95-1, SRI, 1995.
A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker. KADS: A Principled Approach to Knowledge-Based System Development. Academic Press, London, 1993.
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.
N. R. Shadbolt, E. Motta, and A. Rouge. Constructing knowledge based systems. IEEE Software, 1993.
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.
F. van Harmelen and M. Aben. Structure preserving specification languages for knowledge-based systems. International Journal of Human-Computer Studies, 44(2), 1996.
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'.
E. Yourdon. Modern Structured Analysis. Prentice Hall, Englewood Cliffs, New Jersey, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benjamins, R., Aben, M. (1996). A conceptual and formal model of a diagnostic reasoner. In: Shadbolt, N., O'Hara, K., Schreiber, G. (eds) Advances in Knowledge Acquisition. EKAW 1996. Lecture Notes in Computer Science, vol 1076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61273-4_6
Download citation
DOI: https://doi.org/10.1007/3-540-61273-4_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61273-5
Online ISBN: 978-3-540-68391-9
eBook Packages: Springer Book Archive