C.: A Dialogue Manager supporting Natural Language Tutorial Dialogue on Proofs

The Dialog project investigates exible natural language tutorial dialogue on math-ematical proofs. Due to the exible and unpredictable nature of tutorial dialogue in natural language it is essential to include a sophisticated, dedicated dialogue manager to handle the interaction between student and the system modules. In this paper we present the design and implementation of the dialogue manager for the demonstrator system of the Dialog project. The dialogue manager forms the interface between the user and the system modules, including the automated the-orem prover mega{Core, the tutorial module and the linguistic analysis module. We also give an evaluation of Rubin, the development platform for the dialogue manager. Key words: dialogue management, exible natural language tutorial dialogue on proofs, information state update