Building Hint Specifications in an NL Tutorial System for Mathematics

May 2004

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)

Volume

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)

All Papers

NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in the field. Building a tutorial system for teaching mathematical proof techniques, we aim at an elaborate hinting algorithm which integrates problem solving, discourse contexts and accurate domain knowledge into a socratic hinting strategy.