A competence theory approach to problem solving method construction

International Journal of Human Computer Studies

Volumn 49, Issue 4, 1998, Pages 315-338

  Wielinga, B J ^a   Akkermans, J M ^b   Schreiber, A Th ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SYSTEMS PROGRAMMING; KNOWLEDGE BASED SYSTEMS;

COMPETENCE THEORY;

PROBLEM SOLVING;

EID: 0032184329     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1998.0209     Document Type: Article

References (37)

1. ABEN, M. (1995). Formal methods in knowledge engineering. Ph.D. Thesis, University of Amsterdam, Faculty of Psychology. ISBN 90-5470-028-9.
2. AKKERMANS, J. M., VAN HARMELEN, F., SCHREIBER, A. T. & WIELINGA, B. J. (1993a). A formalisation of knowledge-level models for knowledge acquisition. International Journal of Intelligent Systems, 8, 169-208. Reprinted in: K. M. FORD, & J. M. BRADSHAW, Eds. (1993). Knowledge Acquisition as Modelling. New York: Wiley.
3. AKKERMANS, J. M., VAN HARMELEN, F., SCHREIBER, A. T. & WIELINGA, B. J. (1993a). A formalisation of knowledge-level models for knowledge acquisition. International Journal of Intelligent Systems, 8, 169-208. Reprinted in: K. M. FORD, & J. M. BRADSHAW, Eds. (1993). Knowledge Acquisition as Modelling. New York: Wiley.
4. AKKERMANS, J. M., WIELINGA, B. J. & SCHREIBER, A. T. (1993b). Steps in constructing problem-solving methods. In N. AUSSENAC, G. BOY, B. GAINES, M. LINSTER, J.-G. GANASCIA & Y. KODRATOFF, Eds. Knowledge Acquisition for Knowledge-Based Systems. Proceedings of the 7th European Workshop EKAW'93. Toulouse and Caylus, France, in Lecture Notes in Computer Science, Vol. 723, pp. 45-65. Germany: Springer-Verlag.
5. AKKERMANS, J. M., WIELINGA, B. J. & SCHREIBER, A. T. (1994). Steps in constructing problem-solving methods. In B. R. GAINES & M. A. MUSEN, Eds. Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop. Vol. 2: Shareable and Reusable Problem-Solving Methods, pp. 29.1-29.21. Alberta, Canada: University of Calgary: SRDG Publications.
6. BENJAMINS, V. R. (1993). Problem solving methods for diagnosis. Ph.D. Thesis, University of Amsterdam, Amsterdam, The Netherlands.
7. BREUKER, J. A. & VAN DE VELDE, W., Eds. (1994). The CommonKADS Library for Expertise Modelling. Amsterdam, The Netherlands: IOS Press.
8. CHANDRASEKARAN, B. (1988). Generic tasks as building blocks for knowledge-based systems: the diagnosis and routine design examples. The Knowledge Engineering Review, 3, 183-210.
9. CHANDRASEKARAN, B., JOHNSON, T. R. & SMITH, J. W. (1992). Task-structure analysis for knowledge modeling. Communications of the ACM, 35, 124-137.
10. CLANCEY, W. J. (1992). Model construction operators. Artificial Intelligence, 53, 1-115.
11. CONSOLE, L. & TORASSO, P. (1990). Integrating models of the correct behaviour into abductive diagnosis. In L. C. AIELLO, Ed. Proceedings ECAI-90, pp. 160-166. London: ECCAI, Pitman.
12. ESHELMAN, L., EHRET, D., MCDERMOTT, J. & TAN, M. (1988). MOLE: a tenacious knowledge acquisition tool. In J. H. BOOSE & B. R. GAINES, Eds. Knowledge Based Systems, Vol. 2: Knowledge Acquisition Tools for Expert Systems, pp. 95-108. London: Academic Press.
13. FENSEL, D. (1995a). Assumptions and limitations of a problem-solving method: A case study. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95). Banff, Canada.
14. FENSEL, D. (1995b). The Knowledge Acquisition And Representation Language KARL. Boston: Kluwer Academic Publisher.
15. FENSEL, D. & GROENBOOM, R. (1996). M1pm: defing a semantics and axiomatization for specifying the reasoning process of knowledge-based systems. Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96). Budapest.
16. FENSEL, D., SCHOENEGGE, A., GROENBOOM, R. & WIELINGA, B. (1996). Specification and verification of knowledge-based systems. Proceedings of the Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, 12th European Conference on Artificial Intelligence (ECAI-96). Budapest.
17. KLINKER, G., BHOLA, C., DALLEMAGNE, G., MARQUES, D. & MCDERMOTT, J. (1991). Usable and reusable programming constructs. Knowledge Acquisition, 3, 117-136.
18. MCDERMOTT, J. (1988). Preliminary steps towards a taxonomy of problem-solving methods. In S. MARCUS, Ed. Automating Knowledge Acquisition for Expert Systems, pp. 225-255. Boston: Kluwer.
19. MARCUS, S., STOUT, J. & MCDERMOTT, J. (1988). VT: an expert elevator designer that uses knowledge-based backtracking. AI Magazine, 95-111.
20. MUSEN, M. A. (1989). Automated Generation of Model-Based Knowledge-Acquisition Tools, Research Notes in Artificial Intelligence. London: Pitman.
21. NEWELL, A. (1982). The knowledge level. Artificial Intelligence, 18, 87-127.
22. POOLE, D. L. (1988). Representing knowledge for logic-based diagnosis. Proceedings of the 5th International Conference on Generation Computing Systems, pp. 1982-1290. Tokyo.
23. REITER, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32, 57-96.
24. SCHREIBER, A. T. & BIRMINGHAM, W. P. (1996). The Sisyphus-VT initiative. International Journal of Human-Computer Studies, 43, 275-280 (Editorial special issue).
25. SCHREIBER, A. T., WIELINGA, B. J., DE HOOG, R., AKKERMANS, J. M. & VANDE VELDE, W. (1994). CommonKADS: a comprehensive methodology for KBS development. IEEE Expert, 9, 28-37.
26. STEELS, L. (1990). Components of expertise. AI Magazine.
27. STEFIK, M. (1995). Introduction to Knowledge Systems. Los Altos, CA: Morgan Kaufmann.
28. TEN TEIJE, A. (1997). Automated configuration of problem solving methods in diagnosis. Ph.D. Thesis, SWI, University of Amsterdam.
29. TEN TEIJE, A., VAN HARMELEN, F., SCHREIBER, A. T. & WIELINGA, B. J. (1996). Construction of problem-solving methods as parametric design. In B. R. GAINES, & M. A. MUSEN Ed. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop Alberta, Canada, 9-14 November, Vol. 1, pp. 12.1-12.21. University of Calgary: SRDG Publications.
30. VAN DE VELDE, W. (1988). Inference structure as a basis for problem solving. In Y. KODRATOFF, Ed. Proceedings of the 8th European Conference on Artificial Inteligence, pp. 202-207. London: Pitman.
31. 2: a formal language for KADS models of expertise. Knowledge Acquisition, 4 (Special issue: 'The KADS approach to knowledge engineering', required in A. TH. SCHREIBER, et al., Eds. (1993). KADS: A Principled Approach to Knowledge-Based System Development.
32. 2: a formal language for KADS models of expertise. Knowledge Acquisition, 4 (Special issue: 'The KADS approach to knowledge engineering', required in A. TH. SCHREIBER, et al., Eds. (1993). KADS: A Principled Approach to Knowledge-Based System Development.
33. VAN HEIJST, G., TERPSTRA, P., WIELINGA, B. & SHADBOLT, N. (1992). Generalised directive models. Proceedings of KAW-92. Banff.
34. WIELINGA, B. J., AKKERMANS, J. M. & SCHREIBER, A. T. (1995). A formal analysis of parametric design problem solving. In B. R. GAINES, & M. A. MUSEN Ed. Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Vol. II, pp. 37.1-37.15. Alberta, Canada. University of Calgary: SRDG Publications.
35. WIELINGA, B. J., SCHREIBER, A. T. & BREUKER, J. A. (1992). KADS: a modelling approach to knowledge engineering. Knowledge Acquisition, 4, 5-53 (Special issue 'The KADS approach to knowledge engineering'. Reprinted in: BUCHANAN, B. and WILKINS, D. Eds. (1992), Readings in Knowledge Acquisition and Learning, pp. 92-116. San Meteo, CA: Morgan Kaufmann).
36. WIELINGA, B. J., SCHREIBER, A. T. & BREUKER, J. A. (1992). KADS: a modelling approach to knowledge engineering. Knowledge Acquisition, 4, 5-53 (Special issue 'The KADS approach to knowledge engineering'. Reprinted in: BUCHANAN, B. and WILKINS, D. Eds. (1992), Readings in Knowledge Acquisition and Learning, pp. 92-116. San Meteo, CA: Morgan Kaufmann).
37. YOST, G. (1992). Configuring elevator systems. Technical Report, Digital Equipment Corporation, 111 Locke Drive (LMO2/K11), Marlboro, MA 02172, USA.