Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs.
Armin Fiedler · 1998
In order to generate high quality explanations in technical or mathematical domains, the presentation must be adapted to the knowledge of the intended audience. Current proof presentation systems only communicate proofs on a fixed degree of abstraction independently of the addressee's knowledge. In this paper that describes ongoing research, we propose an architecture for an interactive proof explanation system, called P.rex . Based on the theory of human cognition Act-R, its dialog planner exploits a cognitive model, in which both the user's knowledge and his cognitive processes are modeled. By this means, his cognitive states are traced during the explanation. The explicit representation of the user's cognitive states in Act-R allows the dialog planner to choose a degree of abstraction tailored to the user for each proof step to be explained. 1 Introduction A person who explains to another person a technical device or a logical line of reasoning adapts his explanations to ...