Formalizing the learner model for CSCL environments
Magdalena Ortiz, Gerardo Ayala, María Rosa Zapatero Osorio · 2005
In this paper we present a logic formalization of amodel which allows us to represent, create and maintaina Learner Model for CSCL environments in a clear andadequate manner, in order to use it as the set of beliefs anagent holds about its user, supporting the effectivecollaboration between the learners in the community. Ourmodel includes a representation method for theknowledge domain and the agent's beliefs about thelearner, as well as an inference system. This systemallows the agent to propose the learner adequate learningtasks, considering his own interest and possibilities andthose of the other members of the community through theestablishment of group-based Zones of ProximalDevelopment. The model is formalized in Answer SetsProgramming, which gives an appropriate framework fordealing with non-monotonicity in disjunctive logicprograms with negation.