Watch what I do: programming by demonstration
Watch what I do: programming by demonstration
An architecture for plug-in tutor agents
Journal of Artificial Intelligence in Education
The Mathematica book (4th edition)
The Mathematica book (4th edition)
Solving Mathematical Exercises that Involve Symbolic Computations
Computing in Science and Engineering
Hi-index | 0.00 |
In this work we show how MathEdu, an authoring tool for the design of collections of interactive problems of Mathematics that involve symbolic computation allows the use of resolution strategies. We also describe the mechanisms related to these strategies. MathEdu allows for the definition of interactive problems and their generalization. MathEdu allows also for the definition of resolution strategies and for the characterization of the cases when they can be applied. This process is based on the pattern matching of mathematical expressions. Specific problems are generated in MathEdu from generalized problem patterns by random generation, and students can solve them by means of an interactive dialog with the system, that validates the strategy used by the student and the results of the accomplished tasks.