Corpus ID: 18876427

Enhancement and Use of a Mathematical Ontology in a Tutorial Dialog System

  title={Enhancement and Use of a Mathematical Ontology in a Tutorial Dialog System},
  author={Dimitra Tsovaltzi and Armin Fiedler},
Despite empirical evidence that natural language dialog capabilities are necessary for the success of tutorial sessions, only few state-of-the-art tutoring systems use natural-language style interaction. Since domain knowledge, tutoring and pedagogical knowledge, and dialog management are tightly intertwined, the modeling and integration of proper natural language dialog capabilities in a tutoring system turns out to be barely manageable. In the DIALOG project, we aim at a mathematical tutoring… Expand
2 State of the Art at the Time of the Proposal and Original Research Issues
Our goal in the DIALOG project was to develop a flexible dialog system for tutoring mathematical problem solving, in particular, theorem proving. We set out to investigate what requirements theExpand
MENON: automating a Socratic teaching model for mathematical proofs
This thesis presents techniques to automatically integrate different aspects of teaching in a unified natural-language output, and proposes a method for automating adaptive feedback and implements the tutorial manager Menon as a proof-of-concept for the domain of set theory proofs. Expand
Human-Adaptive Determination of Natural Language Hints
Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, since hints are typicallyExpand
Developing a Conversational Agent Using Ontologies
This paper presents a novel method of exploiting the existing ontological resources along with Google directory categorization for a semi-automatic understanding of user utterance on general purpose topics like e.g. movies and games. Expand
A Multi-dimensional Taxonomy for Automating Hinting
A multi-dimensional hint taxonomy where each dimension defines a decision point for the associated function is presented, conceived as convergent points of the dimensions. Expand
An Approach to Facilitating Reflection in a Mathematics Tutoring System
In this paper we present an approach which enables both reflection on the student’s own line of reasoning and active learning. We combine the categorisation of the student answer against the expertExpand
Adaptive feedback in computer-based learning environments: a review
A distinct relationship between the characteristics of feedback, features of adaptive feedback, and computer-based learning models is revealed and open research questions in adaptive feedback implementations are identified. Expand
A Wizard of Oz Experiment for Tutorial Dialogues in Mathematics
In this paper we report on a Wizard-of-Oz (WOz) experiment which was conducted in order to collect written empirical data on mathematics tutorial dialogues in German. We present a methodologicalExpand


The Need for Tutorial Dialog to Support Self-Explanation
An exploratory experiment with a tutor version that did not do any natural language processing, strongly suggested the need for natural language dialog, and students provided few free-form explanations in response to the tutor's prompts. Expand
Intelligent Tutoring Systems are Missing the Tutor: Building a More Strategic Dialog-Based Tutor
This paper presents Ms. Lbzdquist, an Intelligent Tutoring System (ITS) designed to carry a more human-like interactive dialog to help students learn how to write algebra expressions given a word problem. Expand
Formalising Hinting in Tutorial Dialogues
The formalisation of the hinting process in Tutorial Dialogues is undertaken in order to simulate the Socratic teaching method. An adaptation of the BE&E annotation scheme for Dialogue Moves, basedExpand
CIRCSIM-Tutor: An Intelligent Tutoring System Using Natural Language Dialogue
CIRCSIM-Tutor version 2, a dialogue-based intelligent tutoring system (ITS), is nearly five years old and can handle a variety of syntactic constructions and lexical items, including sentence fragments and misspelled words. Expand
Dialog Move Generation and Conversation Management in AutoTutor
This paper describes how the Dialog Advancer Network (DAN) manages AutoTutor’s conversations and how autoTutor generates pedagogically effective dialog moves that are sensitive to the quality and nature of the learner's dialog contributions. Expand
Building an Ontology for CIRCSIM-Tutor
Algorithms for machine learning of case frames and also for clustering the frame information to obtain an ontology are described and automatic approaches are investigated. Expand
Hinting as a Tactic in One-on-One Tutoring
Hinting is triggered by student errors but ceases when it appears that the student is unable to respond appropriately, and the surface structure of hints is complex and varied, reflecting the fact that the utterances making up hints often serve multiple functions. Expand
Task-Oriented Tutorial Dialogue: Issues and Agents
The issues that arise in taskoriented tutorial dialogue and the ways they have been addressed in these four prototype tutors are outlined. Expand
Learning domain knowledge for teaching procedural skills
This paper describes a method for acquiring procedural knowledge for use by pedagogical agents in interactive simulation-based learning environments, inspired by human tutorial dialog, which is realized in a system called Diligent, which acquires proceduralknowledge for the STEVE animated pedag logical agent. Expand
What Makes Human Explanations Effective
If computer based instructional systems are to reap the bene ts of natural language interaction they must be endowed with the properties that make hu man natural language interaction so e ective ToExpand