System Description: A Dialogue Manager Supporting Natural Language Tutorial Dialogue on Proofs
MARK C. BUCKLEY, Christoph Benzm · 2005
The Dialog project investigates exible natural language tutorial dialogue on math-ematical proofs. Since the medium of communication is natural language dialogue, and since tutorial dialogues are by nature both exible and unpredictable, it is essential to include a sophisticated, dedicated dialogue manager to handle the in-teraction 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 theorem prover mega{Core, the tutorial module and the linguistic analysis module. Key words: dialogue management, exible natural language tutorial dialogue on proofs, information state update 1