• Corpus ID: 1705871

Formalising Hinting in Tutorial Dialogues

  title={Formalising Hinting in Tutorial Dialogues},
  author={Dimitra Tsovaltzi and Colin Matheson},
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, based on the theory of social obligations, is sketched, and a taxonomy of hints and a selection algorithm is suggested based on data from the BE&E corpus. Both the algorithm and the tutor’s reasoning are formalised in the context of the information state theory of dialogue management developed on the… 

Figures from this paper

Enhancement and Use of a Mathematical Ontology in a Tutorial Dialog System
This paper presents how the DIALOG project aims at a mathematical tutoring dialog system that employs an elaborate natural language dialog component and shows how these relations can be used by the socratic tutoring strategy, which it employs, in planning the next system utterance.
Question Ranking and Selection in Tutorial Dialogues
This work learns to rank using judgments collected from expert human tutors, and shows that adding features derived from a rich, multi-layer dialogue act representation improves system performance over baseline lexical and syntactic features to a level in agreement with the judges.
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.
Discuss: toward a domain independent representation of dialogue
The Dialogue Schema Unifying Speech and Semantics (DISCUSS) is introduced, an intermediate linguistic representation that captures the semantics and pragmatics of speech while also allowing for domain-independent modeling of tutorial dialogue.
Intelligent tutoring systems : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012 : proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Tutoring Systems, ITS 2012, held in Chania, Crete, Greece, in June 2012. The 28 revised full papers,
Towards a principled approach to tutoring mathematical proofs
This work is developing a system that teaches proving skills in mathematics, by incrementally enhancing a testable Wizard-of Oz environment with tutoring components, existing domain reasoning systems and natural language processing components.
Building Hint Specifications in an NL Tutorial System for Mathematics
In order to make hints more effective on the basis ofabledomainknowledge, the authors have added abstractions in the hint presentations, thereby also enhancing the reper-toire by adding hints addressing the problem from another perspective, which they call functional complementing the conceptual one.
Tutorial dialogs on mathematical proofs
This work identifies several interesting problems which lead to requirements for mathematical knowledge representation, including resolving reference between natural language expressions and mathematical formulas, and determining the contribution of inference steps specified by the user.
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 expert
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 methodological


Information States and Dialogue Move Engines
A framework for experimenting with information states and dialogue move engines is used, and an experimental dialogue system urrently being developed in G oteborg within the framework an be provided with rules to handle a ommodation of questions and plans in dialogue is shown.
Incremental Information State Updates in an Obligation-Driven Dialogue Model
A set of practical inference rules which incrementally update information states and assign intentional structures to sequences of dialogue moves are proposed, showing that an obligation-driven approach can account for a wide range of phenomena which are assumed to be crucial for modelling any kind of dialogue.
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.
Supporting Constructive Learning with a Feedback Planner
This paper proposes a modular and reusable architecture for tutorial dialogue systems and discusses how a reactive planner in the context of this architecture can implement multi-turn tutorial strategies.
Modelling Grounding and Discourse Obligations Using Update Rules
This paper describes an implementation of some key aspects of a theory of dialogue processing whose main concerns are to provide models of GROUNDING and of the role of DISCOURSE OBLIGATIONS in an
Discourse Obligations in Dialogue Processing
It is shown how discourse obligations can be used to account in a natural manner for the connection between a question and its answer in dialogue and how obligationsCan be used along with other parts of the discourse context to extend the coverage of a dialogue system.
Coding instructional dialogue
  • 1999
TrindiKit 1.0 manual
Question Accommodation and Information States in Dialogue
Dynamics and the Semantics of Dialogue