The Mincer Metaphor: A New View on Problem-Solving Methods For Knowledge-Based Systems? (1995)
| Venue: | Proceedings of the 6th Workshop on Knowledge Engineering Methods and Languages |
| Citations: | 4 - 1 self |
BibTeX
@TECHREPORT{Fensel95themincer,
author = {Dieter Fensel and Remco Straatman and Frank Van Harmelen},
title = {The Mincer Metaphor: A New View on Problem-Solving Methods For Knowledge-Based Systems?},
institution = {Proceedings of the 6th Workshop on Knowledge Engineering Methods and Languages},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we present the following view on problem-solving methods: Problemsolving methods describe an efficient reasoning strategy to achieve a goal by introducing assumptions about the available domain knowledge and the "functionality" of the task. These assumptions characterize a problem-solving method. This differs from current views on problem-solving methods. Current work does not explicitly take the role of efficiency of problem-solving methods into consideration, whereas we regard it as the primary principle that drives the development of problem-solving methods. A consequence of our view is that development of problem-solving can no longer be seen as hierarchical refinement of a functional specication. 1 Introduction The concept of a problem-solving method (PSM) is present in a large part of current knowledge-engineering frameworks (e.g. generic tasks [Cha86], Role-limiting Methods [Mar88, Pup93], kads [SWB93], method-to-task approach [Mus92], Components of expertise [St...
