Natural Language Dialog with a Tutor System for Mathematical Proofs

An overview on the current research in the multi-disciplinary research project Dialog, whose goal is to build a prototype dialog-enabled system for teaching to do mathematical proofs, presents the crucial sub-systems in the architecture: the input understanding component and the domain reasoner.