The essence of problem-solving methods: Making assumptions to gain efficiency

International Journal of Human Computer Studies

Volumn 48, Issue 2, 1998, Pages 181-215

  Fensel, Dieter ^a   Straatman, Remco ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

HUMAN COMPUTER INTERACTION; KNOWLEDGE ACQUISITION; PROBLEM SOLVING;

REASONING STRATEGY;

KNOWLEDGE BASED SYSTEMS;

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

References (102)

1. ABEN, M. (1993). Formally specifying re-usable knowledge model components. Knowledge Acquisition, 5, 119-141.
2. AKKERMANS, J. M., WIELINGA, B. & SCHREIBER, A. TH. (1993). Steps in constructing problem-solving methods. In N. AUSSENAC ET AL. Eds. Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in Artificial Intelligence, Vol. 723. Berlin: Springer.
3. ANGELE, J., FENSEL, D. & STUDER, R. (1996). Domain and task modelling in MIKE. In A. SUTCLIFFE ET AL., Eds. Domain Knowledge for Interactive System Design. New York: Chapman & Hall.
4. BAUER, F. L., EHLER, H., HORSCH, R., MÜLLER, B., PARTSCH, H., PAUKNER, O. & PEPPER, P. (1987). The Munich Project CIP, Vol. II, The Transformation System CIP-S, Lecture Notes in Computer Science, Vol. 292. Berlin: Springer.
5. BENJAMINS, V. R. (1995). Problem solving methods for diagnosis and their role in knowledge acquisition. International Journal of Expert Systems: Research and Application. 8, 93-120.
6. BENJAMINS, V. R., FENSEL, D. & STRAATMAN, R. (1996). Assumptions of problem-solving methods and their role in knowledge engineering. In Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96). Budapest, 12-16 August.
7. BOEHM, B. W. (1988). A spiral model of software development and enhancement. IEEE Computer.
8. BREDEWEG, B. (1994). Model-based diagnosis and prediction of behaviour. In J. BREUKER and W. VAN DE VELDE, Eds. pp. 121-153. Amsterdam, The Netherlands: IOS Press.
9. BREUKER, J. (1997). Problems in indexing problem solving methods. In Proceedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems (W26) during the 15th International Conference on Artificial Intelligence (IJCAI-97). Nagoya, Japan, 24 August.
10. BREUKER, J. & VAN DE VELDE, W., Eds (1994). The CommonKDS Library for Expertise Modelling. Amsterdam, The Netherlands: IOS Press.
11. BYLANDER, T. (1991). Complexity results for planning. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91). Sydney, Australia.
12. BYLANDER, T., ALLEMANG, D., TANNER, M. C. & JOSEPHSON, J. R. (1991). The computational complexity of abduction. Artificial Intelligence, 49, 25-60.
13. BYLANDER, T. & CHANDRASEKARAN, B. (1988). Generic tasks in knowledge-based reasoning, the right level of abstraction for knowledge acquisition. In B. GAINES ET AL., Eds. Knowledge Acquisition for Knowledge-Based Systems, Vol. I, pp. 65-77. New York: Academic Press.
14. CHANDRASEKARAN, B. (1986). Generic tasks in knowledge-based reasoning: high-level building blocks for expert system design. IEEE Expert, 1, 23-30.
15. CHANDRASEKARAN, B. (1990). Design problem solving: a task analysis. Artificial Intelligence Magazine, 59-71.
16. CHANDRASEKARAN, B., JOHNSON, T. R. & SMITH, J. W. (1992). Task structure analysis for knowledge modeling. Communications of the ACM, 35, 124-137.
17. CHI, M. T. H., FELTOVICH, P. J. & GLASER, R. (1981). Categorization and representation of physics problems by experts and novices. Cognitive Science, 5, 121-152.
18. DAVIS, R. (1984). Diagnostic reasoning based on structure and behavior. Artificial Intelligence, 24, 347-410.
19. DAVIS, R. & HAMSCHER, W. (1988). Model-based reasoning: trouble shooting. In: H. E. SHROBE, Ed. Exploring AI: Survey Talks from the National Conference on AI. San Mateo, CA: Morgan Kaufman.
20. DE KLEER, J. H., MACKWORTH, A. K. & REITER, R. (1992). Characterizing diagnoses and systems. Artificial Intelligence, 56.
21. DE KLEER, J. H. & WILLIAMS, B. C. (1987). Diagnosing multiple faults. Artificial Intelligence, 32, 97-130.
22. ERIKSSON, H., SHAHAR, Y., TU, S. W., PUERTA, A. R. & MUSEN, M. A. (1994). Task modeling with reusable problem-solving methods. Research Report, Knowledge Systems Lab., Stanford University.
23. ERIKSSON, H., SHAHAR, Y., TU, S. W., PUERTA, A. R. & MUSEN, M. A. (1995). Task modeling with reusable problem-solving methods. Artificial Intelligence, 79, 293-326.
24. FENSEL, D. (1995a). Assumptions and limitations of a problem-solving method: A case study. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95). Banff, Canada, 26 January-3 February.
25. FENSEL, D. (1995b). The Knowledge Acquisition and Representation Language KARL. Boston: Kluwer Academic Publisher.
26. FENSEL, D. (1995c). Formal specification languages in knowledge and software engineering. The Knowledge Engineering Review, 10.
27. FENSEL, D. (1997). The tower-of-adapter method for developing and reusing problem-solving methods. In E. PLAZA ET AL. Eds. Knowledge Acquisition, Modeling and Management, Lecture Notes in Artificial Intelligence, Vol. 1319. Berlin: Springer.
28. FENSEL, D., ANGELE, J., LANDES, D. & STUDER, R. (1993). Giving structured analysis techniques a formal and operaional semantics with KARL. In Proceedings of Requirements Engineering '93-Prototyping-. Bonn, 25-27 April. Stuttgart: Teubner.
29. FENSEL, D. & BENJAMINS, V. R. (1996). Assumptions in model-based diagnosis. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96). Banff, Canada, 9-15 November.
30. FENSEL, D., ERIKSSON, H., MUSEN, M. A. & STUDER, R. (1996e). Developing problem-solving by introducing ontological commitments. International Journal of Expert Systems: Research & Applications, 9.
31. FENSEL, D. & GROENBOOM, R. (1996). MLPM: defing a semantics and Axiomatization for Specifying the reasoning process of knowledge-based systems. In Proceedings of the 12th European Conference of Artifical Intelligence (ECAI-96). Budapest, 12-16 August.
32. FENSEL, D. & GROENBOOM, R. (1997). Specifying knowledge-based systems with reusable components. In Proceedings of the 9th European Conference on Software Engineering & Knowledge Engineering (SEKE-97). Madrid, Spain 18-20 June.
33. FENSEL, D., GROENBOOM, R. & RENARDEL DE LAVALETT, G. R. (to appear). MCL: specifying the reasoning of knowledge-based systems. Data and Knowledge Engineering (DKE).
34. FENSEL, D. & SCHÖNEGGE, A. (1997a). Assumption hunting as developing method for problem-solving method. In Proceedings of the Workshop on Problem-Solving Methods for Knowledge-Based Systems during the 15th International Joint Conference on AI (IJCAI-97). Nagoya, Japan, 24 August.
35. FENSEL, D. & SCHÖNEGGE, A. (1997b). Using KIV to specify and verify architectures of knowledge-based systems. In Proceedings of the 12th IEEE International Conference on Automated Software Engineering (ASEC-97). Incline Village, Nevada, 3-5 November.
36. FENSEL, D., STRAATMAN, R. & VAN HARMELEN, F. (1996a). The Mincer metaphor for problem solving methods: making assumptions for reason of efficiency. In Proceedings of the Knowledge Engineering-Methods & Languages Workshop (KEML-96). Paris-Orsay, 15-16 January.
37. FENSEL, D. & VAN HARMELEN, F. (1994). A comparison of languages which operationalize and formalize KADS models of experitise. The Knowledge Engineering Review, 9.
38. FENSEL, D., MOTTA, E., DECKER, S. & ZDRAHAL, Z. (1997). Using ontologies for defining tasks, problem-solving methods and their mappings. In E. PLAZA ET AL., eds. Knowledge Acquisition, Modeling and Management, Lecture Notes in Artificial Intelligence, Vol. 1319. Berlin: Springer.
39. GIL, Y. & MELZ, E. (1996), Explicit representations of problem-solving strategies to support knowledge acquisition. In Proceedings of the 13th National Conference on AI(AAAI-96). Portland, Oregon, 4-8 August.
40. GOEL, A., SOUNDARARAJAN, N. & CHANDRASEKARAN, B. (1987). Complexity in classificatory reasoning. In Proceedings of the 6th National Conference on Artificial Intelligence (AAAI'87). Seattle, Washington, 13-17 July.
41. GRUBER, T. R. (1993). A translation approach to portable ontology specification. Knowledge Acquisition, 5, 199-220.
42. HAREL, D. (1984). Dynamic logic. In D. GABBY ET AL., Eds. Handbook of Philosophical Logic, Vol. II. Extensions of Classical Logic. Dordrecht (NL): Reidel.
43. KATZ, S., RICHTER, C. A. & THE, K.-S. (1989) PARIS: a system for resuing partially interpreted schemas. In T. J. BIGGERSTAFF ET AL., Eds. Software Reusability, Vol. I. Menlo Park, Addison-Wesley.
44. KIFER, M., LAUSEN, G. & WU, J. (1995). Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42, 741-843.
45. KLINKER, G., BHOLA, C., DALLEMAGNE, G., MARQUES, D. & MCDERMOTT, J. (1991). Usable and reusable programming constructs. Knowledge Acquisition, 3, 117-136.
46. KOZEN, D. (1990). Logics of programs. In J. v. LEEUWEN, Ed., Handbook of Theoretical Computer Science. Amsterdam: Elsevier.
47. KROEGER, F. (1987). Temporal Logic of Programs. Berlin: Springer.
48. LANDES, D. & STUDER, R. (1995). The treatment of non-functional requirements in MIKE. In Proceedings of the 5th European Software Engineering Conference ESEC'95. Barcelona, Spain, 25-28 September.
49. LARKIN, J. H., McDERMOTT, J., SIMON, D. P. & SIMON, A. H. (1980). Expert and novice Performance in solving physics problems. Science, 208, 1335-1342.
50. LEDRU, Y. (1996). Using KIDS as a tool support for VDM. In Proceedings of the 18th International Conference on Software Engineering (ICSE-96). Berlin, March.
51. LEVESQUE, H. J. (1984). Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23, 155-212.
52. LEVY, A. Y. & ROUSSET, M.-C. (1996). CARIN: A representation language combining Horn rules and description logics. In Proceedings of the 12th European Conference of Artificial Intelligence (ECAI-96). Budapest, 12-16 August.
53. LINSTER, M., Ed. (1994). Sisyphus '91/92: Models of Problem solving. International Journal of Human Computer Studies, 40.
54. MAES, P. & NARDI, D. (1988). Meta-Level Architectures and Reflection. Amsterdam: North-Holland.
55. MARCUS, S., Ed. (1988). Automating Knowledge Acquisition for Experts Systems. Boston: Kluwer Academic Publisher.
56. MARCUS, S., STOUT, J. & MCDERMOTT, J. (1988). VT: An expert elevator designer that uses knowledge-based backtracking. AI Magazine, 9, 95-111.
57. MITTAL, S. & FRAYMAN, F. (1989). Towards a generic model of configuration tasks. In Proceedings of the 11th International Joint Conference on Artificial Intelligence - IJCAI '89, San Mateo, CA. Los Altos, CA: Morgan-Kaufman.
58. MOTTA, E. & ZDRAHAL, Z. (1996). Parametric design problem solving. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96). Banff, Canada, 9-15 November.
59. MUSEN, M. A. (1989). An editor for the conceptual models of interactive knowledge-acquisition tools. International Journal of Man-Machine Studies (IJMMS), 31.
60. NEBEL, B. (1996). Artificial intelligence: A computational perspective. In G. BREWKA, Ed. Principles of Knowledge Representation. Studies in Logic, Language and Information, Stanford: CSLI Publications.
61. NEWELL, A. (1982). The knowledge level. Artificial Intelligence, 18, 87-127.
62. NEWELL, A. (1991). Formulating the problem-space computational model. In R. F. RASHID, Ed. Carnegie-Mellon Computer Science: A 25-Year Commemorative Reading. Reading, MA: Addison-Wesley.
63. O'HARA, K. & SHADBOLT, N. (1996). The Thin end of the wedge: efficiency and the generalized directive model methodology. In N. SHADBOLT, Ed. Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, Vol. 1076. Berlin: Springer.
64. PARK, C. Y. & SHAW, A. C. (1991). Experiments with a program timing tool based on source-level timing schema, IEEE Computer, 24, 48-57.
65. PARNAS, D. L. & CLEMENTS, P. C. (1986). A Rational design process: how and why to fake it. IEEE Transactions of Software Engineering, 12, 251-257.
66. POECK, K. (1994). Konfigurierbare Problemlösungsmethoden am Beispiel der Problemklassen Zuornung und Diagnostik. Ph.D. Thesis, University of Würzburg, Germany.
67. POECK, K., FENSEL, D., LANDES, D. & ANGELE, J. (1996). Combining KARL And CRLM for designing vertical transportation systems. In Special Issue on Sisyphus, The International Journal of Human-Computer Studies (IJHCS), 44.
68. POECK, K. & GUPPA, U. (1993). Making Role-limiting shells more flexible. In N. AUSSENAC ET AL. Eds. Knowledge Acquisition for Knowledge-Based Systems, Lecture Notes in Artificial Intelligence, Vol. 723. Berlin: Springer.
69. POS, A. (1997). Automated redesign of engineering models. Ph.D. Thesis, University of Twente, The Netherlands.
70. PUPPE, F. (1993). Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods. Berlin: Springer.
71. REIF, W. (1995). The KIV approach to software engineering. In M. BROY & S. JÄHNICHEN, Eds. Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science, Vol. 1009. Berlin: Springer.
72. RICH, E. & KNIGHT, K. (1991). Artificial Intelligence. 2nd Edn. New York: McGraw-Hill.
73. ROUVEIROL, C. & ALBERT, P. (1994): Knowledge level model of a configurable learning system. In L. STEELS ET AL., Eds. A Future for Knowledge Acquisition, Lecture Notes in Artificial Intelligence, Vol. 867. Berlin: Springer.
74. RUSSELL, S. J. & SUBRAMANIAN, D. (1995) Provably bounded-optimal agents. Journal of Artificial Intelligence Research, 2.
75. SCHREIBER, A. TH., AKKERMANS, J. M. & WIELINGA, B. J. (1991). On problems with the knowledge level perspective. In L. STEELS & B. SMITH, Eds. Proceedings AISB'91: Artificial Intelligence and Simulation of Behaviour. London, pp. 208-221. Berlin: Springer.
76. SCHREIBER, A. TH. & BIRMINGHAM, B., Eds (1996). In Special Issue on Sisyphus, The International Journal of Human-Computer Studies (IJHCS), 44.
77. SCHREIBER, A. TH., WIELINGA, B. J. & BREUKER, J. A., Eds (1993). KADS: a principled Approach to Knowledge-Based System Development, Knowledge-Based Systems Book Series, Vol. 11. London: Academic Press.
78. SCHREIBER, A. TH., WIELINGA, B., AKKERMANS, J. M., VAN DE VEL DE, W. & DE HOOG, R. (1994). CommonKADS. A comprehensive methodology for KBS development. IEEE Expert, 9, 28-37.
79. SHAW, A. (1989). Reasoning about time in higher level language software. IEEE Transactions on Software Engineering, 15, 875-889.
80. SMITH, D. R. (1990). KIDS: a semiautomatic program development system. IEEE Transactions on Software Engineering, 16.
81. SMITH, D. R. (1996). Towards a classification approach to design. In M. WIRSING ET AL., Eds. Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, Vol. 1101. Berlin: Springer.
82. SMITH, D. R. & LOWRY, M. R. (1990). Algorithm theories and design tactics. Science of Computer Programming, 14, 305-321.
83. STEELS, L. (1990) Components of expertise. AI Magazine, 11.
84. STEELS, L. (1993). The componential framework and its role in reusability. In M. DAVID ET AL., Eds. Second Generation Expert Systems. Berlin: Springer.
85. STEFIK, M., AIKINS, J., BALZER, R., BENOIT, J., BIRNBAUM, L., HAYES-ROTH, F. & SACERDOTI, E. (1983). Basic concepts for building expert systems. In F. HAYES-ROTH ET AL., Eds. Building Expert Systems. Reading, MA: Addison-Wesley.
86. STRAATMAN, R. & BEYS, P. (1995). A performance model for knowledge-based systems. In M. AYEL ET AL., Eds. EU ROV AV-95 European Symposium on the Validation and Verification of Knowledge Based Systems. Universite de Savoie, Chambery, 26-28 June.
87. TANK, W. (1992). Modellierung von Expertise über Konfigurationsaufgaben. Infix, Sankt Augustin, Germany.
88. TEN TEIJE, A. (1997). Automated configuration of problem solving methods in diagnosis. Ph.D. Thesis, University of Amsterdam, The Netherlands.
89. TEN TEIJE, A. & VAN HARMELEN, F. (1994). An extended spectrum of logical definitions for diagnostic systems. In Proceedings of the 5th International Workshop of Principles of Diagnosis (DX-94). New Paltz, New York, October.
90. TERPSTRA, P., VAN HEIJST, G., WIELINGA, B. & SHADBOLT, N. (1993). Knowledge acquistion support through generalised directive models. In M. DAVID, ET AL., Eds. Second Generation Expert Systems. Berlin: Springer.
91. TOP, J. & AKKERMANS, H. (1994). Tasks and ontologies in engineering modeling. International Journal of Human-Computer Studies, 41, 585-617.
92. VAN HARMELEN, F. & TEN TEIJE, A. (1995). Approximations in diagnosis: Motivations and techniques. In Proceedings of the Symposium on Abstraction, Reformulation, and Approximation (SARA-95). Quebec, Canada, August.
93. VAN HEIJST, G., SCHREIBER, A. TH. & WIELINGA, B. (1997). Using explicit ontologies in knowledge-based system development. International Journal of Human-Computer Interaction (IJHCI), 46.
94. VAN HEIJST, G., TERPSTRA, WIELINGA, B., & SHADBOLT, N. (1992). Using generalised directive models in knowledge acquisition. In T. WETTER ET AL., Eds. Current Developments in Knowledge Acquisition, Lecture Notes in Artificial Intelligence. Berlin: Springer.
95. VAN DE VELDE, H. (1988). Inference structure as a basis for problem solving. In Proceedings of the 8th European Conference on Artificial Intelligence (ECAI-88). Munich, 1-5 August.
96. VAN DE VELDE, W. (1991). Tractable rationality at the knowledge-level. In L. STEELS & B. SMITH, Eds., Proceedings AISB'91: Artificial Intelligence and Simulation of Behaviour, London. pp. 196-207. Berlin: Springer.
97. VAN DE VELDE, W. (1994). A constructivist view on knowledge engineering. In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94). Amsterdam, August.
98. VANLEHN, K. (1989). Problem-solving and cognitive skill acquisition. In M. I. POSNER, Ed. Foundations of Cognitive Science. Cambridge, MA: The MIT Press.
99. WIELINGA, B., AKKERMANS, H. & SCHREIBER, A. TH. (1995). A formal analysis of parametric design problem solving. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95). Banff, Canada, 26 January-3 February.
100. WIELINGA, B., VAN DE VELDE, W., SCHREIBER, A. TH. & AKKERMANS, H. (1993). Towards a unification of knowledge modelling approaches. In J.-M. DAVID ET AL., Eds. Second Generation Expert Systems, pp. 299-335. Berlin: Springer.
101. WIRTH, N. (1983). Program development by stepwise refinement. Communications of the ACM, 26.
102. ZDRAHAL, Z. & MOTTA, E. (1995). An in-depth analysis of Propose & Revise problem solving methods. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95). Banff, Canada, 26 January-3 February.