The training of operational skills in the domain under consideration is a key issue for tutor systems. This requires an elaborate presentation of a wide range of examples and associated explanations. However, preparing a documentation of many examples in sufficient variability and detail is an extremely time consuming task. Therefore, we propose the integration of expert problem solving systems (EPSs) that provide the technical competence for solving and demonstrating examples. Moreover, the integration of EPSs provides a basis for exploratory problem solving. In this paper, we elaborate the use of some EPSs integrated into the ACTIVEh’[ATH environment. This environment dynamically and adaptively generates an interactive mathematical document. When working with the interactive document, the EPSs can be employed for computing a solution, checking the user’s solutions or for interactively solving a problem. In particular, for the latter elaborate dialogs are needed. In this paper, we characterize the role of EPSs from the point of view of an educational system, and we discuss the enhancements in the tutorial dialogs.
[1]
Helmut Horacek.
Presenting Proofs in a Human-Oriented Way
,
1999,
CADE.
[2]
William McCune,et al.
OTTER 1.0 Users' Guide
,
1990
.
[3]
Erica Melis,et al.
Knowledge-Based Proof Planning
,
1999,
Artif. Intell..
[4]
Erica Melis,et al.
A proof presentation suitable for teaching proofs
,
1999
.
[5]
Bruce W. Char,et al.
A Tutorial Introduction to Maple
,
1986,
J. Symb. Comput..
[6]
Volker Sorge,et al.
A Distributed Graphical User Interface for the Interactive Proof System
,
1998
.
[7]
Michael Kohlhase,et al.
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
,
2001,
J. Symb. Comput..