You are here:

Generating Personalized Documents Using a Presentation Planner

, , , DFKI Saarbruecken, Germany

EdMedia + Innovate Learning, in Norfolk, VA USA ISBN 978-1-880094-42-6 Publisher: Association for the Advancement of Computing in Education (AACE), Waynesville, NC


ActiveMath (Melis et al., 2001) is a web-based learning environment that dynamically generates interactive mathematical courses adapted to the learners' goals, preferences, capabilities and knowledge. ActiveMath is realized as a client-server web-architecture that can be accessed using standard web- browsers. When learners use the system for the rst time, they have to complete a registration form in which they indicate their preferences and abilities and may estimate their mastery levels of the course's domain knowledge. From this information, an inspectable user model is generated which is constantly updated when the learner acts in the course. The learner can choose between predened courses (dened by a teacher) or let the system generate a new course according to the goal concepts (mathematical denitions and assertions) and the scenario the learner chooses. One possible scenario is exam preparation in which only the mathematical denitions of concepts and corresponding exercises are provided. Another scenario is the guided tour in which complementary information such as motivating texts, examples and elaborations etc. is selected. ActiveMath integrates mathematical service systems. Currently, these are Computer Algebra Sys- tems (CAS) and the proof planner of mega (Melis & Siekmann, 1999). They can be called to demon- strate an example, to interactively solve an exercise, and to take over certain routine tasks. The learning material is encoded in the xml-based knowledge representation language OMDoc (Kohl- hase, 2001). OMDoc encodes mathematical objects and items such as denitions, theorems, proof methods, proofs, examples, exercises, and remarks. Each item has its own meta-data that can contain additional information such as dependencies or pedagogical data, e.g., diÆculty level or abstractness level of an exercise. A demo of the ActiveMath system is available at


Libbrecht, P., Melis, E. & Ullrich, C. (2001). Generating Personalized Documents Using a Presentation Planner. In C. Montgomerie & J. Viteli (Eds.), Proceedings of ED-MEDIA 2001--World Conference on Educational Multimedia, Hypermedia & Telecommunications (pp. 1124-1125). Norfolk, VA USA: Association for the Advancement of Computing in Education (AACE). Retrieved February 18, 2020 from .