Remco Straatman

Learn More
A problem-solving method describes a reasoning process that efficiently achieves a goal by applying domain knowledge. However, a problem-solving method cannot directly be applied because of the existence of a gap between, on the one hand, a problem-solving method and the domain knowledge it uses, and, on the other hand, a problem-solving method and the goal(More)
In this paper we present the following view on problem-solving methods for knowledge-based systems: Problem-solving methods describe an efficient reasoning strategy for achieving a goal by introducing assumptions about the available domain knowledge and the required functionality. Assumptions, dynamic reasoning behavior, and functionality are the three(More)
In this paper we present the following view on problem-solving methods: Problem-solving methods describe an eecient 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 diiers from current views on(More)
A knowledge-level analysis of complex tasks like diagnosis and design can give us a better understanding of these tasks in terms of the goals they aim to achieve and the different ways to achieve these goals. In this paper we present a knowledge-level analysis of redesign. Redesign is viewed as a family of methods based on some common principles, and a(More)
427 D. Fensel and R. Groenboom choose and the range constructs, cf. [7]). Otherwise, current operationalizations and axiomizations of ealgebras are restricted to the case of point-wise updates. A further difference to our approach is that MLPM provides a richer vocabulary to express control over the execution of transitions. The language DESIRE uses the(More)
During the development and the life-cycle of knowledge-based systems the requirements on the system and the knowledge in the system will change. One of the types of knowledge aaected by changing requirements is control-knowledge, which prescribes the ordering of problem-solving steps. Machine-learning can aid developers of knowledge-based systems in(More)