D. Fensel and R. Straatman, 'The essense of problem-solving-methods: Making assumptions for gaining efficiency', Journal of Human Computer Studies, (1998). (to appear).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of a program by means of pre and postconditions. A far back as 1969, Hoare [7] characterised a program as a triple b[ meaning that if preconditions b hold, then after executing program , the postconditions are guaranteed to hold. In the past few years, research in Knowledge Engineering [6, 2, 1] has tried to apply these traditional ideas from Software Engineering to Knowledge Base Systems (KBS) characterising the reasoning steps of a KBS through pre and postconditions. In Knowledge Engineering such reasoning steps are often called a problem solving method (PSM) and we will adopt this ....

D. Fensel and R. Straatman, 'The essense of problem-solving-methods: Making assumptions for gaining efficiency', Journal of Human Computer Studies, (1998). (to appear).

....the term assumptions, since the properties concern conditions that must be tested, and not assumptions which can be assumed. later named ontological conditions in [FB98] work on characterising PSMs still focuses exclusively on so called competence of the PSM [WAS98] This also holds for [FS98], which emphasises more than most the importance of computational behaviour besides only the functional I O relation. Even that paper does not give a concrete proposal for how to describe the computational behaviour. The same holds for [FB98] which describes in some detail the effect that various ....

.... conditions uncovered in the literature: how should the performance of a PSM be described so that it can be used as an applicability condition There are good reasons why performance description of PSM has been left as an open question in the Knowledge Engineering literature: as argued in [FS98], the standard worst case complexity measures from computer science are not very helpful for PSMs, since a significant part of PSMs are of a heuristic nature, and the worst case complexity describes only the case when the heuristics do not apply. One of the few attempts at describing average case ....

D. Fensel and R. Straatman. The essense of problem-solving methods: Making assumptions for gaining efficiency. International Journal of HumanComputer Studies (IJHCS), 48(2):181--215, 1998.

....concern conditions that must be tested, and not assumptions which can be assumed. 2 later named ontological conditions in [FB98] A. ten Teije, F. van Harmelen 10 1 work on characterising PSMs still focuses exclusively on the so called competence 3 of the PSM [WAS98] This also holds for [FS98], which emphasises more than most the importance of computational behaviour besides only the functional I O relation. Even that paper does not give a concrete proposal for how to describe the computational behaviour. The same holds for [FB98] which describes in some detail the effect that various ....

.... conditions uncovered in the literature: how should the performance of a PSM be described so that it can be used as an applicability condition There are good reasons why performance description of PSM has been left as an open question in the Knowledge Engineering literature: as argued in [FS98], the standard worst case complexity measures from computer science are not very helpful for PSMs, since a significant part of PSMs are of a heuristic nature, and the worst case complexity describes only the case when the heuristics do not apply. One of the few attempts at describing average case ....

D. Fensel and R. Straatman. The essense of problem-solving methods: Making assumptions for gaining efficiency. International Journal of HumanComputer Studies (IJHCS), 48(2):181--215, 1998.

....a program by means of pre and postconditions. A far back as 1969, Hoare [7] characterised a program as a triple OE[ff] meaning that if preconditions OE hold, then after executing program ff, the postconditions are guaranteed to hold. In the past few years, research in Knowledge Engineering [6, 2, 1] has tried to apply these traditional ideas from Software Engineering to Knowledge Base Systems (KBS) characterising the reasoning steps of a KBS through pre and postconditions. In Knowledge Engineering such reasoning steps are often called a problem solving method (PSM) and we will adopt this ....

D. Fensel and R. Straatman, `The essense of problem-solving-methods: Making assumptions for gaining efficiency', Journal of Human Computer Studies, (1998). (to appear).

....simple varieties are intractable. As a result, simple uninformed search procedures cannot be used to construct realistic knowledge based systems for complex tasks. A traditional approach in Knowledge Engineering is to equip a KBS with strong control knowledge that is used to guide the computation [1, 4, 12]. Such control knowledge consists of knowledge on the sequence of reasoning steps during problem solving, and is an essential part of expertise. Examples of such control knowledge are the order in which observations must be obtained during diagnostic reasoning, or the order in which components ....

D. Fensel and R. Straatman. The essense of problem-solving methods: Making assumptions for gaining efficiency. International Journal of Human-Computer Studies, 48(2):181--215, 1998.

....on how to implement this task. Moreover, parametric design is in principle an intractable task, so we will generally want to further refine such tasks in the sense that additional, possibly heuristic knowledge is applied to arrive at an acceptable and efficient approximation of the original task [41]. Therefore, a problem solving method which provides information on how to implement an efficient approximation has to be chosen. The problem solving method chosen in this paper is Propose Revise. The central idea behind Propose Revise is that repeatedly, values are proposed for parameters, ....

D. Fensel and R. Straatman, "The essense of problem-solving-methods: Making assumptions for gaining efficiency," International Journal of Human Computer Studies, vol. 48, no. 2, pp. 181--215, 1998.

....on how to implement this task. Moreover, parametric design is in principle an intractable task, so we will generally want to further refine such tasks in the sense that additional, possibly heuristic knowledge is applied to arrive at an acceptable and efficient approximation of the original task [41]. Therefore, a problem solving method which provides information on how to implement an efficient approximation has to be chosen. The problem solving method chosen in this paper is Propose Revise. The central idea behind Propose Revise is that repeatedly, values are proposed for parameters, ....

D. Fensel and R. Straatman, "The essense of problem-solving-methods: Making assumptions for gaining efficiency," International Journal of Human Computer Studies, vol. 48, no. 2, pp. 181--215, 1998.

....on how to implement this task. Moreover, Parametric Design is in principle an intractable task, so we will generally want to further refine such tasks in the sense that additional, possibly heuristic knowledge is applied to arrive at an acceptable and efficient approximation of the original task [10]. Therefore, a problem solving method, which provides information on how to implement an efficient approximation, has to be chosen. The problem solving method chosen in this paper is Propose and Revise. The central idea behind Propose and Revise is that repeatedly, values are proposed for ....

D. Fensel and R. Straatman. The essense of problem-solving-methods: Making assumptions for gaining efficiency. Journal of Human Computer Studies, 1998. (to appear).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC