Learn More
Our goal is to develop a flexible dialog system for tutoring mathematical problem solving. Empirical findings in the area of intelligent tutoring show that flexible natural language dialog supports active learning. Therefore, we focus on the development of solutions allowing flexible dialog. However, little is known about the use of natural language in(More)
In order to generate high quality explanations in mathematical domains, the presentation must be adapted to the knowledge of the intended audience. Most proof presentation systems only communicate proofs on a fixed degree of abstraction independently of the addressee's knowledge. In this paper , we shall present the proof explanation system P.rex. Based on(More)
Despite empirical evidence that natural language dialog capabilities are necessary for the success of tutorial sessions, only few state-of-the-art tutoring systems use natural-language style interaction. Since domain knowledge, tutoring and pedagogical knowledge, and dialog management are tightly intertwined , the modeling and integration of proper natural(More)
The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis of a corpus of dialogs we collected with a simulated(More)
The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group. Ωmega is a mathematical assistant tool that supports proof development in mathematical domains at a user-friendly level of abstraction. It is a modular system with a central data structure and several complementary(More)