Corpus ID: 1705871

Formalising Hinting in Tutorial Dialogues

@inproceedings{Tsovaltzi2001FormalisingHI,
  title={Formalising Hinting in Tutorial Dialogues},
  author={Dimitra Tsovaltzi and C. Matheson},
  year={2001}
}
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… Expand
Enhancement and Use of a Mathematical Ontology in a Tutorial Dialog System
TLDR
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. Expand
Question Ranking and Selection in Tutorial Dialogues
TLDR
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. Expand
MENON: automating a Socratic teaching model for mathematical proofs
TLDR
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
Intelligent Tutoring Systems
TLDR
This paper discusses the benefits of adopting the Open Agent Architecture for Conversational Intelligence for intelligent tutoring, and develops generic dialogue management software which supports collaborative activities between a human and devices. Expand
Discuss: toward a domain independent representation of dialogue
TLDR
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. Expand
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,Expand
Towards a principled approach to tutoring mathematical proofs
TLDR
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. Expand
Building Hint Specifications in an NL Tutorial System for Mathematics
TLDR
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. Expand
Tutorial dialogs on mathematical proofs
TLDR
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. 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
...
1
2
...

References

SHOWING 1-10 OF 16 REFERENCES
Information States and Dialogue Move Engines
TLDR
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. Expand
Incremental Information State Updates in an Obligation-Driven Dialogue Model
TLDR
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. Expand
Hinting as a Tactic in One-on-One Tutoring
TLDR
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
Supporting Constructive Learning with a Feedback Planner
TLDR
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. Expand
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 anExpand
Discourse Obligations in Dialogue Processing
TLDR
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. Expand
Coding instructional dialogue
  • 1999
Journal of the learning sciences
  • Hinting as a Tactic in One-On-One Tutoring, 5(1):23–47.
  • 1996
Accommodating questions and the nature of qud
  • Proceedings G=F6talog2000.
  • 2000
Building a 3rd generation its for symbolization: Adding a tutorial model with multiple tutorial strategies
  • Proceedings of the ITS 2000 Workshop on Algebra Learning,
  • 2000
...
1
2
...