Explaining control strategies in problem solving

Abstract

Explaining how knowledge-based systems reason involves presentation user modeling, dialogue structure, and the way systems understand their own problem-solving knowledge and strategies. The authors concentrate on the last of these, noting that such understanding provides any explanations's content. The authors also note that most current approaches to knowledge-based system construction require expressing knowledge and control at such low levels that it's hard to give high-level explanations. Providing an explanation example from a prototypical system (MYCIN) built using generic-task methods, they propose generic-task methodology as one way to build knowledge-based systems that contain basic explanation constructs at appropriate abstraction levels. The central concept of generic tasks is what input-output behavior (i.e. that task function), knowledge needed to perform the task, and inferences appropriate for the task are all specified together.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>