Artificial Intelligence Techniques in Software Design for Mathematics Education

This chapter presents a state of the art in the design of digital environments for mathematics education, with a particular focus on artificial intelligence techniques. A review of the work done in this area over the last few decades highlights current challenges and distinguishes between symbolic approaches and machine learning. About symbolic approaches, we review automatic reasoning tools in geometry and their potential. We also consider the design and research work around the Casyopée environment and the use of logic programming in the QED-Tutrix intelligent tutoring system. With respect to machine learning, four classes of techniques constitute contemporary AI in computer science. Two examples are discussed: a deep learning system of monument analysis for learning situations in mathematics, technology and art, and a computer classroom simulator that provides a new approach to training teachers.