Informática 31 (2007) 191-199 191 A Group Learning Management Method for Intelligent Tutoring Systems Eliane Pozzebon12, Janette Cardoso2, Guilherme Bittencourt1 and Chihab Hanachi2 1 Santa Catarina Federal University, DAS 88040-900 Florianópolis, Brazil, E-mail: (eliane,gb@das.ufsc.br) 2 Université Toulouse 1, IRIT F-31042 Toulouse Cedex, France E-mail: (jcardoso, hanachi@univ-tlse1.fr) Keywords: learning in group, collaborative learning, intelligent tutoring systems, multi-agents systems Received: February 17, 2007 In this paper we propose a group management specification and execution method that seeks a compromise between simple course design and complex adaptive group interaction. This is achieved through an authoring method that proposes predefined scenarios to the author. These scenarios already include complex learning interaction protocols in which student and group models use and update are automatically included. The method adopts ontologies to represent domain and student models, and object Petri nets to specify the group interaction protocols. During execution, the method is supported by a multi-agent architecture. Povzetek: Grupno učenje je podprto s scenariji, modeli, ontologijami, agenti, Petri mrežami. 1 Introduction Although the research on Artificial Intelligence in Education (AI-ED) can be traced back to the 80's, when the first ideas on Intelligent Tutoring Systems (ITS) were introduced, presently it is going through an accelerated evolution process, mainly due to innovative computer technologies, such as hypermedia, Internet and virtual reality [1] [2]. Nevertheless, the conceptual gaps between authoring systems and authors and between instructional planning and tutoring strategy for dynamic adaptation are challenges that have not yet been overcome [23]. These challenges are especially complex in Intelligent Tutoring Systems in which one considers, beside an individual interaction, a group interaction. In this case, the ITS should not only support the domain presentation for a single student, but also manage the group interactions. ITSs that allow group work present different degrees of group interaction control. At one extreme, we have systems that only make available the communication tools that allow the group interaction (chat, mail, forum, cooperative editors, etc), leaving all the problem solving and coordination activities under human responsibility. At the other extreme, we have systems that control all the details of the group interaction, following well defined and rigid protocols. In the former, the author instructional planning task is at least as hard as in traditional group work planning. In the latter, the lack of flexibility makes it difficult to achieve dynamic adaptation and to share and reuse ITS components across domains. In this paper we propose a group management specification and execution method that seeks a compromise between these two extremes. To provide a reliable and flexible interaction mechanism, the method includes a formal specification language that allows the definition of arbitrarily complex learning interaction protocols, here called scenarios. These scenarios are specified by the authoring tool developers. The group activity author only provides the contents and customizes the chosen scenario using an authoring interface. To provide an adaptive behavior the method explores the structure of the domain and student models of the underlying ITS. This is possible because the method is intended to be applied to ITSs created using the FAST multi-agent ITS building tool [3] [15], in which these models are specially designed to facilitate adaptiveness. To tackle the compromise between simple group activity design and complex adaptive group interaction, the following project decisions were adopted in the development: (i) an explicit representation, using ontologies, of the knowledge that describes the domain, student and group activity models, including their relationship, (ii) the use of a multi-level control process to increase the flexibility of the behavior without sacrificing the specification simplicity, (iii) the use of an expressive formalism, Object Petri Nets (OPN) [25], to specify the group 192 Informatica 31 (2007) 191-199 E. Pozzebon et al. interaction protocols. OPN are a formalism combining coherently Petri nets (PN) theory and the Object-Oriented (OO) approach. While PN are very suitable to express the dynamic and possibly concurrent and open behavior of a protocol, the OO approach permits the modeling and the structuring of its active (actor) and passive (information) entities. In our case, actors correspond to teacher and students, while information corresponds to domain and scenarios. The paper is organized as follows: Section 2 presents an overview on the related work. Section 3 introduces the FAST ITS building tool. Section 4 explains how a group interaction scenario is specified and Section 5 presents a simple example of a scenario, discussing in particular what a group interaction is. Finally, in Section 6, we present some conclusions and future works 2 Related Work Organization modelling is recognized as an essential mechanism for structuring the design of Multi-Agent Systems (MASs) and coordinating their executions. Indeed, this approach provides high level concepts, such as groups, roles, protocols or commitments, useful to structure and rule, at a macro level, the coordination of the different agents involved in a MAS. All these reasons have led to an increased development of agent methodologies (GAIA, MOISE, AALADIN, etc.) structured around organizational concepts (see [20] for a survey). In most of these methodologies, protocols and groups are considered as basic building blocks of an organizational oriented approach of MASs. This is the approach we have followed in this paper by structuring our MAS around groups and protocols: while groups constitute an interaction space for agents, protocols define the rules to enter or leave a group and play a role within a group. The concept of organization (also groups, institutions, communities, etc.) within MAS has been discussed in several papers [10], [13], [9], [11], [12], [24], [19], [26], [16], [14], [28]. Regarding agent-based protocols, [7] provides an interesting survey of the different specification formalisms, and concludes that Petri Nets provide good software engineering properties to specify, validate and execute concurrent protocols. Our work is also related to [16] in which the adequacy of the Petri Net with Objects formalism, to describe real world protocols, is shown. Systems focusing on the concept of group have also been used in the context of ITS [22], [14], [27], [21] and [18]. In this paper, we do not address the automatic group formation problem. This issue is treated, for example, in NetClass [21] using the learner model, the author information and a sociometric test (that measures the degree of cohesion among students). In WhiteRabbit [27], the groups are created from the analysis of the user model based on the keywords (about his projects, experience, etc.) and also on the conversations. Among ITSs that share our goal of simplifying course development, an interesting example is the Cognitive Tutor Authoring Tools (CTAT) project. It assists in the creation and delivery of ITS based on model tracing [17]. The main goal of this project is to provide tools to reduce the amount of artificial intelligence (AI) programming expertise required to implement ITSs. The project authoring tools support the development of two types of tutors: Cognitive Tutors and Example-Tracing tutors. Cognitive tutors contain a cognitive model that simulates the student thinking in order to monitor student activities and to provide pedagogical assistance during problem solving. In contrast, Example-Tracing Tutors do not contain a cognitive model: to develop a tutor of this kind, the author needs to specify a recording of possible student actions and corresponding feedback messages. Although Example-Tracing Tutors do not require IA programming, they are specific to the given set of problems and cannot deal with student actions which are not pre-specified by the author [17], i.e. they lack adaptiveness. An example of an ITS that uses multi-agent technology is the DOCTA [5] system. It uses intelligent agents for collaborative learning to support collaboration in a learning scenario on gene technology. Agent system consists of two components: a Student Assistant agent (SA-agent) and an Instructional Assistant agent (IA-agent). Both agents observe and detect problems in the collaboration and knowledge-building process among students, but their presentations are different. Another example is the COLER system [6]that addresses both social and task-oriented aspects of group learning. It helps students collaborate while solving Entity Relationship modeling problems. Unlike previous work, generally emphasizing dialogue analysis or expert models, this work proposes a new approach to support collaboration that identifies learning opportunities based on the differences between problem solutions and tracking levels of participation. This work demonstrates how intelligent agents can produce reasonable collaboration advice in domains for which structured problem solutions exist by using a few basic knowledge sources, and illustrates several methods for knowledge evaluation and reasoning of complex knowledge-based systems. 3 FAST ITS Building Tool FAST [3] is a domain independent authoring tool to implement multi-agent Intelligence Tutoring Systems. Courses developed using FAST are based on the conceptual model MATHEMA [8]. This model proposes an ITS architecture that consists of three modules (see Figure 1): the Tutoring Agent Society (TAS), the Student Interface and the Instructor Interface. The student interface provides access to the system and the instructor interface allows the monitoring of the course. The TAS consists of a multiagent system where each Tutor Agent (TA) contains a A GROUP LEARNING MANAGEMENT... Informatica 31 (2007) 191-193 199 complete ITS focused on a sub-domain of the course target domain. Each of the intelligent tutoring agents in the TAS is responsible for one sub-domain. MATHEMA provides a modeling scheme for these sub-domains that is divided into two views: external view and internal view. Tutoring Agents Society (TAS) Teacher Instructor Interface ta, i TA TA TA ■■■ ü Apprentice Student Interface Figure 1: MATHEMA System Architecture. The external view is a domain knowledge partitioning scheme, based on epistemological assumptions, that guides the author during course development. This partitioning is performed according to two main dimensions: context and depth. Along the context dimension the domain knowledge is partitioned according to a set of different points of views about its contents. For each particular context, the depth dimension partitionates the domain knowledge according to the methodologies used to deal with its contents. Each pair context/depth is associated with a sub-domain, to be dealt with by one of the TAS agents. The internal view proposes to organize the knowledge associated with each sub-domain into a set of curricula. Each curriculum is progressively refined according to three levels of detail: pedagogical units, problems and interaction support units. At the pedagogical unit level, each curriculum, that describes a possible sequence of sub-domain contents to be presented to the student, is refined into a set of partially ordered pedagogical units, possibly with prerequisites relationships. At the problems level, each pedagogical unit is refined into a set of problems, also partially ordered and possibly with prerequisites relationships. Finally, at the interaction support units level each problem is associated with a set of interaction units with the student, that support the problem solving activities, such as explanations, examples and exercises. The domain knowledge of any ITS developed using the FAST tool presents the structure defined by this internal view. This fact allows the construction of group interactions that, although not domain dependent, can explore the domain structure, going beyond the simple communication support between group members and the instructor. This is possible because these group interactions can use the same problem solving activities already defined in the context of the underlying ITS. A further advantage is that the student model, used in group interaction management, can be defined as an extension of the student model in the underlying ITS. In such a way that the group interaction manager can explore the preferences and previous results obtained by each student in the context of individual learning during her/his interaction with the underlying ITS. Both, domain and student models, are represented using ontologies. These ontologies are briefly described in the next subsections. 3.1 Domain Model The domain model contains definitions of all the concepts in the internal view of the MATHEMA model. A course is represented as an instance of the domain model and contains all the information provided by the author. This information is of two types: properties and contents. Examples of properties are prerequisite relationships, degree of detail, level of difficulty, etc. Contents is what is presented to the student, typically an interactive page encoded into predefined HTML pages templates. The ontology described in [15] includes concepts to define prerequisite order graphs, that can be used to define the relationship among pedagogical units or problems and concepts to represent specific types of interaction support units, whose contents are also specified by the author (see Figure 2). These concepts correspond to the elements of the internal view of the MATHEMA model. Prerequisite name_C : String Node <>name_N : String represent set of PedagogicalJJnit <>title : String represent_by -O set_of_Pb 1..* Problem ■¡»question : String 0..* Explanation (/media: Symbol O- 0.. 0..* Exercise