Abstract
Problem solving methods (PSM's) are important in constructing modular and reusable knowledge-based systems, as they specify the different types of knowledge used in knowledge-based reasoning, as well as under what circumstances what knowledge is to be applied. We argue that the formal modeling of PSM's is a useful means for clarifying, communicating and comparing problem-solving knowledge. This paper shows how such PSM's can be formally defined. We illustrate this by developing a formal model for the Cover- and-Differentiate method for diagnosis, and comparing this to Heuristic Classification.
The research reported here was carried out in the course of the REFLECT (P 3178) and the KADS-II (P 5248) projects. These projects are partially funded by the ESPRIT Basic Research resp. ESPRIT-II Programmes of the Commission of the European Communities. The partners in the REFLECT project are the University of Amsterdam (Amsterdam, The Netherlands), the Netherlands Energy Research Foundation ECN (Petten, The Netherlands), the National German Research Centre for Computer Science GMD (St. Augustin, Germany) and BSR Consulting (Munich, West-Germany). The partners in the KADS-II project are Cap Gemini Innovation (Paris, France), Cap Gemini Logic (Stockholm, Sweden), the Netherlands Energy Research Foundation ECN (Petten, The Netherlands), Entel (Madrid, Spain), IBM France (Paris, France), Lloyds' Register (Croydon, United Kingdom), the Swedish Institute of Computer Science (Stockholm, Sweden), Siemens AG (Munich, Germany), Touche Ross MC (London, UK), the University of Amsterdam (Amsterdam, The Netherlands) and the Free University of Brussels (Brussels, Belgium). This paper reflects the opinions of the authors and not necessarily those of the consortia.
Preview
Unable to display preview. Download preview PDF.
References
Akkermans, H., van Harmelen, F., Schreiber, G., & Wielinga, B. (1991). A formalisation of knowledge-level models for knowledge acquistion. International Journal of Intelligent Systems. forthcoming.
Bergstra, J., Heering, J., & Klint, P. (1990). Module algebra. Journal of the ACM, 37(2):335–372.
Breuker, J., Wielinga, B., van Someren, M., de Hoog, R., Schreiber, G., de Greef, P., Bredeweg, B., Wielemaker, J., Billault, J.-P., Davoodi, M., & Hayward, S. (1987). Model Driven Knowledge Acquisition: Interpretation Models. ESPRIT Project P1098 Deliverable D1 (task A1), University of Amsterdam and STL Ltd.
Clancey, W. (1983). The epistemology of a rule based system-a framework for explanation. Artificial Intelligence, 20:215–251. Also: Stanford Heuristic Programming Project, Memo HPP-81-17, November 1981, also numbered STAN-CS-81-896.
Clancey, W. (1985). Heuristic classification. Artificial Intelligence, 27:289–350.
Eshelman, L. (1988). MOLE: A knowledge-acquisition tool for cover-and-differentiate systems. In Marcus, S., editor, Automating Knowledge Acquisition for Expert Systems, pages 37–80. Kluwer Academic Publishers, The Netherlands.
Eshelman, L., Ehret, D., McDermott, J., & Tan, M. (1988). MOLE: a tenacious knowledge acquisition tool. In Boose, J. & Gaines, B., editors, Knowledge Based Systems, Volume 2: Knowledge Acquisition Tools for Expert Systems, pages 95–108, London. Academic Press.
Jackson, P., Reichgelt, H., & van Harmelen, F. (1989). Logic-Based Knowledge Representation. The MIT Press, Cambridge, MA.
Lavrač, N. & Vassilev, H. (1989). Meta-level architecture of a second-generation knowledge acquisition system. In Morik, K., editor, Proceedings EWSL-89, pages 99–109, London. Pitman.
McDermott, J. (1988). Preliminary steps towards a taxonomy of problem-solving methods. In Marcus, S., editor, Automating Knowledge Acquisition for Expert Systems, pages 225–255. Kluwer Academic Publishers, The Netherlands.
Steels, L. (1990). Components of expertise. AI Magazine. Also as: AI Memo 88-16, AI Lab, Free University of Brussels.
van Harmelen, F., Akkermans, H., Balder, J., Schreiber, G., & Wielinga, B. (1990). Formal specifications of knowledge models. ESPRIT Basic Research Action P3178 REFLECT, Technical Report RFL/ECN/I.4/1, Netherlands Energy Research Foundation ECN.
Weyhrauch, R. (1980). Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13. Also in: Readings in Artificial Intelligence, Webber, B.L. and Nilsson, N.J. (eds.), Tioga publishing, Palo Alto, CA, 1981, pp. 173–191. Also in: Readings in Knowledge Representation, Brachman, R.J. and Levesque, H.J. (eds.), Morgan Kaufman, California, 1985, pp. 309–328.
Wielinga, B. & Breuker, J. (1986). Models of expertise. In Proceedings ECAI-86, pages 306–318.
Wielinga, B. J., Schreiber, A. T., & Breuker, J. A. (1992). KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1). Special issue “The KADS approach to knowledge engineering”.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schreiber, G., Wielinga, B., Akkermans, H. (1992). Differentiating problem solving methods. In: Wetter, T., Althoff, KD., Boose, J., Gaines, B.R., Linster, M., Schmalhofer, F. (eds) Current Developments in Knowledge Acquisition — EKAW '92. EKAW 1992. Lecture Notes in Computer Science, vol 599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55546-3_36
Download citation
DOI: https://doi.org/10.1007/3-540-55546-3_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55546-9
Online ISBN: 978-3-540-47203-2
eBook Packages: Springer Book Archive