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.
Published Date: May 2004
Registration: ISBN 978-1-57735-201-3
Copyright: Published by The AAAI Press, Menlo Park, California.