@InProceedings{Tsovaltzi_Matheson:2002,
      AUTHOR = {Tsovaltzi, Dimitra and Matheson, Colin},
      TITLE = {Formalising Hinting in Tutorial Dialogues},
      YEAR = {2002},
      BOOKTITLE = {6th workshop on the semantics and pragmatics of dialogue (EDILOG 2002), September 4-6},
      PAGES = {185-192},
      EDITOR = {Bos, Johan and Foster, Mary Ellen and Matheson, Colin},
      ADDRESS = {University of Edinburgh, Scotland},
      URL = {http://www.ltg.ed.ac.uk/edilog/papers/185.pdf},
      ABSTRACT = {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 trindi project. The algorithm is characterised using update rules which take into account the student model, and the tutor's reasoning process is described in terms of context accommodation.},
      ANNOTE = {Tsovaltzi:2002:FHT}
}