Abstract
In order to give more support in the construction, adaptation, and use of problem-solving methods (PSM) an explicit representation of the relevant aspects of a PSM is necessary. In [4] we propose such a framework, based on the kads [5] methodology. kids [7], a transformational software development system, is based on a representation similar to our proposed framework. In this paper we investigate to what extent KIDS can be used as a basis for representations and tools for PSM development.
The investigations were supported by the Netherlands Computer Science Research Foundation with financial support from the Netherlands Organization for Scientific Research (NWO).
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, februari 1995.
V. R. Benjamins. Problem Solving Methods for Diagnosis. PhD thesis, University of Amsterdam, Amsterdam, June 1993.
J. A. Breuker and W. Van de Velde, editors. The CommonKADS Library for Expertise Modelling. IOS Press, Amsterdam, The Netherlands, 1994.
D. Fensel and R. Straatman. The essence of problem-solving methods: Making assumptions for efficiency reasons. In Nigel Shadbolt, Kieron O'Hara, and Guus Schreiber, editors, proceedings of the gth European Knowledge Acquisition Workshop, EKAW-96 Springer-Verlag, 1996.
A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker, editors. KADS: A Principled Approach to Knowledge-Based System Development Academic Press, London, 1993.
D. R. Smith. Structure and design of global search algorithms. Technical Report KES.U.87.12, Kestrel Institute, Palo Alto, California, November 1987.
D. R. Smith. Kids: A semi-automatic program development system. IEEE Transactions on Software Engineering, September 1990.
R. Straatman. KIDS for KADS. Technical report, SWI, UvA, Amsterdam, 1996. http://www.swi.psy.uva.nl/usr/remco/postscripts/Straatman:96a.ps.gz
F. van Harmelen and M. Aben. Structure preserving specification languages for knowledge-based systems. International Journal of Human Computer Studies, 1996.
B. J. Wielinga, J. M. Akkermans, and A. Th. Schreiber. A formal analysis of parametric design problem solving. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 8th Banff KAW, Alberta, Canada, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Straatman, R. (1997). KIDS for KADS. In: Plaza, E., Benjamins, R. (eds) Knowledge Acquisition, Modeling and Management. EKAW 1997. Lecture Notes in Computer Science, vol 1319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026803
Download citation
DOI: https://doi.org/10.1007/BFb0026803
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63592-5
Online ISBN: 978-3-540-69606-3
eBook Packages: Springer Book Archive