The realization of a task by a PSM, and the decomposition of a PSM into subtasks are the most common relations in a PSM architecture. However, we suggest to extend these relations with the notions of task refinement and method refinement . These notions represent intermediate decisions in a task-method structure, in which the competence of a task or method is refined without immediately paying attention to the operationalization in terms of subtasks. Explicit representation of this kid of imntermediate decisions helps to make and represent decisions in a more piecemeal fashion. In this paper, we focus on the use of PSM speciifcations in the task of system adaptation, when there is a discrepancy between the behavior delivered by the system and the behavior desired of it.
Autonomous robots are but one example of such systems.
They usually live in highly dynamic environments and need to be able to adapt to the evolving requirements that these environments impose on their behavior. From these integrations, we discuss two experiments. The possible need for a mediating ontology of problems between domain ontologies and PSMs should be considered carefully by the HPKB problem solving methods. Joost Breuker's paper is also important to the capability description task, particularly so given that Breuker was the architect of the original KADS-1 hierarchy of task types which has been widely accepted in Europe as a way of classifying problem solving methods. The three solution types which Breuker distinguishes are the case model which explains the data, the argument structure which justifies the conclusion, and the conclusion itself.