Results 1 
6 of
6
Tutorial dialogs on mathematical proofs
 In Proceedings of the IJCAI Workshop on Knowledge Representation
, 2003
"... The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis ..."
Abstract

Cited by 19 (16 self)
 Add to MetaCart
The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis of a corpus of dialogs we collected with a simulated tutoring system for teaching proofs in naive set theory, we identify several interesting problems which lead to requirements for mathematical knowledge representation. This includes resolving reference between natural language expressions and mathematical formulas, determining the semantic role of mathematical formulas in context, and determining the contribution of inference steps specified by the user. 1
Assertionlevel proof representation with underspecification
, 2003
"... We propose a proof representation format for humanoriented proofs at the assertion level with underspecification. This work aims at providing a possible solution to challenging phenomena worked out in empirical studies in the DIALOG project at Saarland University. A particular challenge in this pro ..."
Abstract

Cited by 15 (7 self)
 Add to MetaCart
We propose a proof representation format for humanoriented proofs at the assertion level with underspecification. This work aims at providing a possible solution to challenging phenomena worked out in empirical studies in the DIALOG project at Saarland University. A particular challenge in this project is to bridge the gap between the humanoriented proof representation format with underspecification used in the proof manager of the tutorial dialogue system and the calculus and machineoriented representation format of the domain reasoner.
2003b. A WizardofOz experiment for tutorial dialogues in mathematics
 In AIED03 Supplementary Proc., Advanced Technologies for Mathematics Education
"... Abstract. In this paper we report on a WizardofOz (WOz) experiment which ..."
Abstract

Cited by 12 (11 self)
 Add to MetaCart
Abstract. In this paper we report on a WizardofOz (WOz) experiment which
An approach to facilitating reflection in a mathematics tutoring system
 In Proceedings of AIED Workshop on Learner Modelling for Reflection
, 2003
"... ..."
Discourse phenomena in tutorial dialogs on mathematical proofs
 In In Proceedings of AI in Education (AIED 2003) Workshop on Tutorial Dialogue Systems: With a View Towards the Classroom
, 2003
"... Dialogs about problem solving in mathematics are characterized by a mixture of telegraphic natural language text and embedded formal expressions. Behaving adequately in such an environment is extremely important for tutorial systems, as follows from Moore’s empirical findings which show that flexibl ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
Dialogs about problem solving in mathematics are characterized by a mixture of telegraphic natural language text and embedded formal expressions. Behaving adequately in such an environment is extremely important for tutorial systems, as follows from Moore’s empirical findings which show that flexible natural language dialog is needed to support active learning [3]. Motivated by the lack of empirical data for such