We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses including prerequisites and learning objectives. The system supports users in planning personalized curricula and in verifying the compliance of curricula against a model describing the designer goals. We have developed a prototype of the planning and validation services, by using SWI-Prolog and the SPIN model checker as reasoning engines. The services are supplied and combined in the Personal Reader framework.
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture
BALDONI, Matteo;BAROGLIO, Cristina;MARENGO, ELISA;PATTI, Viviana
2007-01-01
Abstract
We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses including prerequisites and learning objectives. The system supports users in planning personalized curricula and in verifying the compliance of curricula against a model describing the designer goals. We have developed a prototype of the planning and validation services, by using SWI-Prolog and the SPIN model checker as reasoning engines. The services are supplied and combined in the Personal Reader framework.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
lncs_4753a.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
310.62 kB
Formato
Adobe PDF
|
310.62 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.