An approach to learning mathematics through knowledge engineering

This study deals with an AI approach to learning mathematics, which is realised through the development of expert system knowledge bases by using programming in logic and PROLOG. The paper presents this approach, and examines its theoretical values in the light of recent findings in computer science, mathematics education, didactics, psychology and philosophy. The examined values show evidence for the relevance of the approach to the computer-assisted learning of mathematics.

[1]  Jere Confrey,et al.  A critique of the selection of “Mathematical objects” as a central metaphor for advanced mathematical thinking , 1996, Int. J. Comput. Math. Learn..

[2]  John J. Clement Use of analogies and spatial transformations by experts in solving mathematics problems , 1983 .

[3]  R. Skemp The psychology of learning mathematics , 1979 .

[4]  L. B. Kovács Knowledge based floor plan design by space partitioning: A logic programming approach , 1991, Artif. Intell. Eng..

[5]  Efraim Fischbein Mathematics and Cognition: Introduction , 1990 .

[6]  Brent G. Wilson,et al.  A new model of concept teaching and learning , 1990 .

[7]  T. P. Carpenter,et al.  Learning and teaching with understanding. , 1992 .

[8]  Roger Hartley,et al.  Developing mathematical problem solving skills , 1998, J. Comput. Assist. Learn..

[9]  John A. Self,et al.  Theoretical foundations for intelligent tutoring systems , 1990 .

[10]  Pearla Nesher Are Mathematical Understanding and Algorithmic Performance Related , 1986 .

[11]  Jere Confrey,et al.  Learning to Listen: A Student’s Understanding of Powers of Ten , 1991 .

[12]  Paul Ernest Varieties of Constructivism: Their Metaphors, Epistemologies and Pedagogical Implications. , 1994 .

[13]  Lev Vygotsky Mind in society , 1978 .

[14]  James P. Byrnes,et al.  Role of Conceptual Knowledge in Mathematical Procedural Learning , 1991 .

[15]  Djordje Kadijevich Can mathematics students be successful knowledge engineers , 1998 .

[16]  David Tall Computer Environments for the Learning of Mathematics , 1993 .

[17]  Per Galle,et al.  The Logic of Worms: A Study in Architectural Knowledge Representation , 1992 .

[18]  A. Schoenfeld Learning to Think Mathematically: Problem Solving, Metacognition, and Sense Making in Mathematics (Reprint) , 2009 .

[19]  A. Trognon,et al.  Le partenaire comme enseignant ou comme interlocuteur : une analyse expérimentale et interlocutoire , 1998 .

[20]  David H. Jonassen,et al.  Computers in the Classroom: Mindtools for Critical Thinking , 1995 .

[21]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[22]  Steven D. Tripp,et al.  Rapid prototyping: An alternative instructional design strategy , 1990 .

[23]  Geoff Cumming,et al.  Artificial intelligence in education: an exploration , 1998, J. Comput. Assist. Learn..

[24]  I. Ivic Profiles of educators , 1989 .

[25]  John Mason,et al.  Exploiting mental imagery with computers in mathematics education , 1995 .

[26]  Vasily V Davydov,et al.  The Influence of L. S. Vygotsky on Education Theory, Research, and Practice , 1995 .

[27]  P. Cope Teaching PROLOG programming in the secondary school , 1989 .

[28]  Renate C. Lippert,et al.  Teaching problem solving in mathematics and science with expert systems , 1987 .

[29]  I. D. Hill,et al.  Godel, Escher, Bach: An Eternal Golden Braid. , 1982 .

[30]  Alan H. Schoenfeld,et al.  Mathematical Problem Solving , 1985 .

[31]  W. David Crowe,et al.  Novices entering mathematics - I. The impact of new technology , 1997, Comput. Educ..

[32]  Reinhard Hölzl How does ‘dragging’ affect the learning of geometry , 1996, Int. J. Comput. Math. Learn..