Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs

Christoph Benzmueller, Quoc Bao Vo

We study challenges that are imposed to mathematical domain reasoning in the context of natural language tutorial dialog on mathematical proofs. The focus is on proof step evaluation: (i) How can mathematical domain reasoning support the resolution of ambiguities and underspecified parts in proof steps uttered by a student? (ii) How can mathematical domain reasoning support the evaluation of a proof step with respect to the criteria soundness, granularity, and relevance?

Content Area: 8.Human Computer Interaction

Subjects: 6. Computer-Human Interaction; 3. Automated Reasoning

Submitted: May 10, 2005


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.