Construction of problem-solving methods as parametric design

International Journal of Human Computer Studies

Volumn 49, Issue 4, 1998, Pages 363-389

  Ten Teije, A ^b   Van Harmelen, F ^a   Schreiber, A Th ^b   Wielinga, B J ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

INDEXING (OF INFORMATION); KNOWLEDGE ACQUISITION;

PROBLEM SOLVING METHODS CONSTRUCTION;

PROBLEM SOLVING;

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

References (23)

1. BENJAMINS, V. R. (1993). Problem solving methods for diagnosis. Ph.D. Thesis, University of Amsterdam, Amsterdam, The Netherlands.
2. BENJAMINS, V., FENSEL, D. & STRAATMAN, R. (1996). Assumption of problem-solving methods and their role in knowledge engineering. Proceedings of the European Conference on Artificial Intelligence (ECAI-96), pp. 408-412. Amsterdam.
3. BROWN, D. C. & CHANDRASEKARAN, B. (1989). Design Problem Solving: Knowledge Structures and Control Strategies, Research Notes in Artificial Intelligence. London: Pitman.
4. CHANDRASEKARAN, B. (1990). Design problem solving: a task analysis. AI Magazine, 11, 59-71.
5. CLANCEY, W. J. (1985). Heuristic classification. Artificial Intelligence, 27, 289-350.
6. CONSOLE, L., DE KLEER, J. & HAMSCHER, W. (1992). Readings in Model-based Diagnosis. Los Altos, CA: Morgan Kaufmann.
7. DUPRÉ, D. (1994) Characterizing and mechanizing abductive reasoning. Ph.D. Thesis, Universita di Torino.
8. FENSEL, D. (1995). A case study on assumptions and limitations of a problem solving method. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95). Banff, Canada.
9. HAYES-ROTH, F., WATERMAN, D. A. & LENAT, D. B. (1983). Building Expert Systems. New York: Addison-Wesley.
10. ISTENES, Z., TCHOUNIKINE, P. & TRICHET, F. (1996). Using zola to model dynamic selection of tasks and methods as a knowledge level reflective activity. In N. SHADBOLT, K. O'HARA & G' SCHREIBER, Eds. 9th European Knowledge Acquisition Workshop, EKAW-96 (Position Papers), Lecture Notes in Artificial Intelligence, Vol. 1076; pp. 42-53. Nottingham: Springer-Verlag.
11. LÖCKENHOFF, C. & MESSER, T. (1994). Configuration. In J. A. BREUKER & W. VAN DE VELDE, Eds. The CommonKADS Library for Expertise Modelling, Chapter 9, pp. 197-212. Amsterdam, The Netherlands: IOS Press.
12. MARCUS, S., STOUT, J. & MCDERMOTT, J. (1988). VT: an expert elevator designer that uses knowledge-based backtracking. AI Magazine, 95-111.
13. MITTAL, S. & FRAYMAN, F. (1989). Towards a generic model of configuration tasks. Proceedings of IJCAI'89, pp. 1395-1401.
14. MOTTA, E. & ZDRHAL, Z. (1996). Parametric design problem solving. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-96). Banff, Calgery.
15. PERKUHN, R. (1997). Reuse of problem-solving methods and family resemblances. In E. PLAZA & R. BENJAMINS, Eds. 10th European Knowledge Acquisition Workshop, EKAW-97, 1319 in Lecture Notes in Artificial Intelligence, Vol. 1319, pp. 174-190. Berlin, Germany: Springer-Verlag.
16. RUNKEL, J., BIRMINGHAM, W. & BALKANY, A. (1995). Solving VT by reuse. International Journal of Human-Computer Studies.
17. SCHREIBER, A. T. & BIRMINGHAM, W. P. (1996). The Sisyphus-VT initiative. International Journal of Human-Computer Studies, 43, 275-280 (Editorial special issue).
18. STROULIA, E. & GOEL, A. (1997). Redesigning a problem-solver's operators to improve solution quality. In M. POLLACK, Eds. Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), Vol. 1, pp. 562-567. Nagoya, Japan: Morgan Kaufmann.
19. TALON, X. & PIERRET-GOLBREICH, C. (1997). A language specify strategies for flexible problem-solving. Proceedings of 7th workshop on Knowledge Engineering: Methods & Languages. Milton Keynes, UK: The Open University.
20. TEN TEIJE, A. (1997) Automated configuration of problem solving methods in diagnosis. Ph.D. Thesis, University of Amsterdam. ISBN 90-5470-063-7.
21. TEN TEIJE, A. & VAN HARMELEN, F. (1996a). Computing approximate diagnoses by using approximate entailment. In G. AIELLO, & J. DOYLE, Eds. Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Boston, MAS: Morgan Kaufman.
22. TEN TEIJE, A. & VAN HARMELEN, F. (1996b). Using reflection techniques for flexible problem solving. Future Generation Computer Systems. 12, 217-234 (special issue Reflection and Metalevel AI Architectures, short version in Reflection Workshop at IJCAI95).
23. 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, Eds. 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.