MathTutor: A Multi-Agent Intelligent Tutoring System

In this paper we propose a multi-agent intelligent tutoring system building tool that integrates different formalisms in order to facilitate the teacher task of developing the contents of a tutorial system and at the same time to provide adaptiveness and flexibility in the presentation. The adopted formalisms are ground logic terms for the student model, data-bases for the domain model and object Petri nets for the pedagogical model. The interaction between the student and each agent of the system is controlled by an object Petri net, automatically translated into a rule-based expert system. The object Petri net tokens are composed by data objects that contain pointers to the student model and to the domain knowledge, stored into a data-base of texts, examples and exercises. The object Petri net transitions are controlled by logical conditions that refer to the student model and the firing of these transitions produce actions that update this student model.

[1]  M.N. Sastry,et al.  Structure and interpretation of computer programs , 1986, Proceedings of the IEEE.

[2]  John Self.  Artificial Intelligence and Human Learning: Intelligent Computer-Aided Instruction , 1988 .

[3]  C. Gallagher.  Lev Semyonovich Vygotsky , 1999 .

[4]  Gerald J. Sussman,et al.  Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[5]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[6]  Edilson Ferneda,et al.  Mathema: A Learning Environment Based on a Multi-Agent Architecture , 1995, SBIA.

[7]  L. Vygotsky.  Mind in Society: The Development of Higher Psychological Processes: Harvard University Press , 1978 .

[8]  L. S. Vygotskiĭ,et al.  Mind in society : the development of higher psychological processes , 1978 .

[9]  Jacqueline Bourdeau,et al.  Using Ontological Engineering to Overcome Common AI-ED Problems , 2000 .

[10]  Matthias Felleisen,et al.  How to Design Programs: An Introduction to Computing and Programming , 2006 .

[11]  Tom Murray,et al.  Authoring Intelligent Tutoring Systems: An analysis of the state of the art , 1999 .

[12]  William J. Clancey,et al.  Knowledge-based tutoring: the GUIDON program , 1987 .

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

[14]  R. Sternberg,et al.  The Psychology of Intelligence , 2002 .

[15]  Mark K. Singley,et al.  Deploying Intelligent Tutors on the Web: An Architecture and an Example , 1999 .

[16]  Peter Brusilovsky,et al.  Adaptive Hypermedia: From Intelligent Tutoring Systems to Web-Based Education , 2000, Intelligent Tutoring Systems.