A library of problem-solving components based on the integration of the search paradigm with task and method ontologies

International Journal of Human Computer Studies

Volumn 49, Issue 4, 1998, Pages 437-470

  Motta, Enrico ^a   Zdrahal, Zdenek ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING;

TASK ONTOLOGY;

KNOWLEDGE BASED SYSTEMS;

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

References (52)

1. BALKANY, A., BIRMINGHAM, W. P. & TOMMELEIN, I. D. (1993). An analysis of several configuration design systems. AI in Engineering, Design, and manufacturing, 7, 1-17.
2. BALKANY, A., BIRMINGHAM, W. P. & RUNKEL, J. T. (1994). Solving Sisyphus by design. International Journal of Human-Computer Studies 40, 221-241.
3. BENJAMINS, R. (1993). Problem solving methods for diagnosis. Ph.D. Thesis, Department of Social Science Informatics, University of Amsterdam.
4. BENJAMINS, R., PLAZA, E., MOTTA, E., FENSEL, D., STUDER, R., WIELINGA, B., SCHREIBER, G. & ZDRAHAL, Z. (1998). An intelligent brokering service for knowledge-component reuse on the World Wide Web. In B. R. GAINES & M. MUSEN, Eds. Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW '98). Banff, Canada.
5. BEYS, P., BENJAMINS, R. & VAN HEIJST, G. (1996). Remedying the reusability-usability trade-off for problem-solving methods. In B. R. GAINES & M. MUSEN, Eds. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW '96). Banff, Canada, 9-14 November.
6. BONNARDEL, N. & SUMNER, T. (1996). Supporting evaluation in design. Acta Psychologica, 91, 221-244.
7. BREUKER, J. A. & VAN DE VELDE, W. (1994). CommonKADS Library for Expertise Modelling. Amsterdam, The Netherlands: IOS Press.
8. CHANDRASEKARAN, B. (1990). Design problem solving: a task analysis. AI Magazine, 11, 59-71.
9. CHANDRASEKARAN, B., JOHNSON, T. R. & SMITH, J. W. (1992). Task-structure analysis for knowledge modelling. Communications of the ACM, 35, 124-137.
10. DECHTER, R. & MEIRI, I. (1989). Experimental evaluation of pre-processing techniques in constraint satisfaction problems. Proceedings of the 11th International Joint Conference on Artificial Intelligence - IJCAI'89, pp. 271-277. San Mateo, CA: Morgan-Kaufmann.
11. DECHTER, R. & PEARL, J. (1988). Network-based heuristics for constraint satisfaction problems. Artificial Intelligence Journal, 34, 1-38.
12. EHN, P. (1989). Work-Oriented Design of Computer Artefacts. Stockholm: Arbetslivscentrum.
13. ESHELMAN, L. (1988). MOLE: a knowledge acquisition tool for cover-and-differentiate systems. In S. MARCUS, Ed. Automating Knowledge Acquisition for Expert Systems, pp. 37-80. Dordrecht: Kluwer Academic Publishers.
14. FENSEL, D. (1997) The tower-of-adapter method for developing and reusing problem solving methods. In R. BENJAMINS & E. PLAZA, Eds. Knowledge Acquisition, Modelling, and Management. Proceedings of the 10th European Workshop, EKAW '97. Lecture Notes in Artificial Intelligence, Vol. 1319, pp. 97-112. Berlin: Springer.
15. FENSEL, D. & MOTTA, E. (1998). Structured development of problem solving methods. Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW '98). Banff, Canada.
16. FLEMMING, U., BAYKAN, C. A., COYNE, R. F. & FOX, M. S. (1992). Hierarchical generate and test vs constraint-directed search. In J. S. GERO, Ed. Artificial Intelligence in Design '92, pp. 817-838. Dordrecht: Kluwer Academic Publishers.
17. GENNARI, J. H., TU, S. W., ROTHENFLUH, T. E. & MUSEN, M. A. (1994). Mapping domains to methods in support of reuse. In B. R. GAINES & M. MUSEN, Eds. Proceedings of the 8th Banff Knowledge Acquisition Workshop. Banff, Canada.
18. GREENBAUM, J. & KYUNG, M. (1991). Design at Work: Cooperative Design of Computer Systems. Hillsdale, NJ: Lawrence Erlbaum Associates.
19. GRUBER, T. R. (1993). A translation approach to portable ontology specifications. Knowledge Acquisition, 5, 199-220.
20. GRUBER, T. R., OLSEN, G. R. & RUNKEL, J. (1996). The configuration design ontologies and the VT elevator domain theory. International Journal of Human-Computer Studies, 44(3), 569-598.
21. KLINKER, G., BHOLA, C., DALLEMAGNE, G., MARQUES, D. & McDERMOTT, J. (1991). Usable and reusable programming constructs. Knowledge Acquisition, 3, 117-136.
22. LAIRD, J., NEWELL, A. & ROSENBLOOM, P. (1987). Soar: an architecture for general intelligence. Artificial Intelligence, 33, 1-64.
23. LENAT, D. B. & FEIGENBAUM, E. A. (1987). On the thresholds of knowledge. Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI '87), pp. 1173-1182. Los Altos, CA: Morgan Kaufmann.
24. LINSTER, M. (1994). Problem statement for Sisyphus: models of problem solving. International Journal of Human-Computer Studies, 40, 187-192.
25. MARCUS, S., Ed. (1988). Automatic Knowledge Acquisition for Expert Systems. Dordrecht: Kluwer Academic Publishers.
26. MARCUS, S. & McDERMOTT, J. (1989). SALT: a knowledge acquisition language for propose and revise systems. Journal of Artificial Intelligence, 39, 1-37.
27. MARCUS, S., STOUT, J. & McDERMOTT, J. (1988). VT: an expert elevator designer that uses knowledge-based backtracking. AI Magazine, 9, 95-112.
28. MINTON, S., JOHNSON, M. D., PHILIPS, A. B. & LAIRD, P. (1992). Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence, 58, 161-205.
29. MITTAL, S. & FRAYMAN, F. (1989). Towards a generic model of configuration tasks. Proceedings of the 11th International Joint Conference on Artificial Intelligence - IJCAI '89, pp. 1395-1401. San Mateo, CA: Morgan-Kaufmann.
30. MOTTA, E. (1998a). An overview of the OCML modelling language. Paper Presented at the 8th Workshop on Knowledge Engineering Methods and Languages (KEML '98). Available from URL http://kmi.open.ac.uk/~enrico/papers/kem98.ps.
31. MOTTA, E. (1998b). Reusable components for knowledge models. Ph.D. Thesis. Knowledge Media Institute. The Open University. UK. Available from URL http://kmi.open.ac.uk/~en-rico/thesis/thesis.html.
32. MOTTA, E., STUTT, A., ZDRAHAL, Z., O'HARA, K. & SHADBOLT, N. (1996). Solving VT in VITAL: a study in model construction and knowledge reuse. International Journal of Human-Com-puter Studies, 44, 333-371.
33. MOTTA, E. & ZDRAHAL, Z. (1996). Parametric design problem solving. In B. R. GAINES & M. MUSEN, Eds. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW '96). Banff, Canada, 9-14 November.
34. MURRAY, K. & PORTER, B. (1988). Developing a tool for knowledge integration: initial results. Proceedings of the 3rd Banff Knowledge Acquisition Workshop. Banff, Canada.
35. NEWELL, A. & SIMON, H. A. (1976). Computer science as empirical enquiry: symbols and search. Communications of the ACM, 19, 113-126.
36. NILSSON, N. J. (1980). Principles of Artificial Intelligence. Los Altos, CA: Morgan Kaufmann.
37. ORSVÄRN, K. (1996). Principles for libraries of task decomposition methods - conclusions from a case-study. In Proceedings of the European Knowledge Acquisition Workshop, EKAW '96, Lecture Notes in Artificial Intelligence, Vol. 1076, pp. 48-65. Berlin: Springer.
38. POECK, K. & PUPPE, F. (1992). COKE: efficient solving of complex assignment problems with the Propose-and-Exchange method. Proceedings of the 5th International Conference on Tools with Artificial Intelligence. Arlington. Virginia.
39. PUERTA, A. R., EGAR, J. W., TU, S. W. & M USEN, M. A. (1992). A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools. Knowledge Acquisition, 4, 171-196.
40. RUNKEL, J. T., BIRMINGHAM, W. B. & BALKANY, A. (1996). Solving VT by reuse. International Journal of Human-Computer Studies, 44, 403-433.
41. SADEH, N. & FOX, M. S. (1996). Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem. Artificial Intelligence, 86, 1-41.
42. SCHOEN, D. A. (1983). The Reflective Practitioner: How Professionals Think in Action, New York: Basic Books.
43. STEELS, L. (1990). Components of expertise. AI Magazine, 11, pp. 29-49.
44. STEFIK, M. (1995). Introduction to Knowledge Systems. Los Altos, CA: Morgan Kaufmann.
45. VALASEK, M. & ZDRAHAL, Z. (1997). Experiments with applying knowledge based techniques to parametric design. In A. RIITAHUHTA, Ed. Proceedings of the International Conference on Engineering Design - ICED 97, Vol. 1, pp. 277-280. Tampere University of Technology, Finland.
46. VALENTE, A., BREUKER, J. A. & VAN DE VELDE, W. (1994). The CommonKADS expertise modelling library. In J. A. B REUKER, & W. VAN DE VELDE, The CommonKADS Library for Expertise Modelling, pp. 31-56. Amsterdam, The Netherlands: IOS Press.
47. VAN HEIJST, G., TERPSTRA, P., WIELINGA, B. & SHADBOLT, N. (1992). Using generalized directive models in knowledge acquisition. In Th. WETTER, K. -D. ALTHOFF, J. BOOSE, B. R. GAINES, M. LINSTER & F. S. CHMALHOFER, Eds. Current Developments in Knowledge Acquisition - EKAW '92, pp. 112-32. Berlin: Springer.
48. WIELINGA, B. J., AKKERMANS, J. M. & SCHREIBER, A. TH. (1995). A formal analysis of parametric design problem solving. In B. R. GAINES & M. MUSEN, Eds. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 37-1-37-15.
49. WIELINGA, B. J. & SCHREIBER, A. Th. (1997). Configuration-design solving. IEEE Expert, 12, 49-56.
50. YOST, G. R. & ROTHENFLUH, T. R. (1996). Configuration elevator systems. International Journal of Human-Computer Studies, 44, 521-568.
51. ZDRAHAL, Z. & MOTTA, E. (1995). An in-depth analysis of Propose & Revise Problem solving methods. In B. R. GAINES & M. MUSEN, Eds. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop. Banff, Canada.
52. ZDRAHAL, Z. & MOTTA, E. (1996). Improving competence by integrating case-based reasoning and heuristic search. In B. R. GAINES & M. MUSEN, Eds. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW '96). Banff, Canada, 9-14 November.