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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baldoni, M., Baroglio, C., Brunkhorst, I., Henze, N., Marengo, E., Patti, V.: A Personalization Service for Curriculum Planning. In: ABIS 2006. Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, Hildesheim, Germany, pp. 17–20 (2006)
Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Torasso, L.: Verifying the compliance of personalized curricula to curricula models in the semantic web. In: Proc. of the Semantic Web Personalization Workshop, pp. 53–62, Budva, Montenegro (2006)
Baldoni, M., Baroglio, C., Patti, V.: Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions. Artificial Intelligence Review 1(22), 3–39 (2004)
Baldoni, M., Baroglio, C., Patti, V., Torasso, L.: Reasoning about learning object metadata for adapting SCORM courseware. In: Proc. of EAW 2004, pp. 4–13 (2004)
Baldoni, M., Marengo, E.: Curricula model checking: declarative representation and verification of properties. In: Dural, E., Klamma, R., Wolpers, M. (eds.) EC-TEL 2007. LNCS, vol. 4753, Springer, Heidelberg (2007)
Baumgartner, R., Flesca, S., Gottlob, G.: Visual web information extraction with Lixto. In: VLDB, pp. 119–128. Morgan Kaufmann, San Francisco (2001)
Brusilovsky, P., Vassileva, J.: Course sequencing techniques for large-scale web-based education. Int. J. Cont. Engineering Education and Lifelong learning 13(1/2), 75–94 (2003)
Clarke, O.E.M., Peled, D.: Model checking. MIT Press, Cambridge, MA, USA (2001)
De Coi, J.L., Herder, E., Koesling, A., Lofi, C., Olmedilla, D., Papapetrou, O., Sibershi, W.: A model for competence gap analysis. In: Proc. of WEBIST 2007 (2007)
Emerson, E.A.: Temporal and modal logic. Handbook of Theoretical Computer Science B, 997–1072 (1990)
European Commission, Education and Training. The Bologna process, http://europa.eu.int/comm/education/policies/educ/bologna/bologna_en.html
Henze, N., Krause, D.: Personalized access to web services in the semantic web. In: The 3rd Int. Semantic Web User Interaction Workshop, SWUI (November 2006)
Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)
Melia, M., Pahl, C.: Automatic Validation of Learning Object Compositions. In: Information Technology and Telecommunications Conf. IT&T 2005: Doctoral Symposium (2006)
van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baldoni, M., Baroglio, C., Brunkhorst, I., Marengo, E., Patti, V. (2007). Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In: Duval, E., Klamma, R., Wolpers, M. (eds) Creating New Learning Experiences on a Global Scale. EC-TEL 2007. Lecture Notes in Computer Science, vol 4753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75195-3_32
Download citation
DOI: https://doi.org/10.1007/978-3-540-75195-3_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75194-6
Online ISBN: 978-3-540-75195-3
eBook Packages: Computer ScienceComputer Science (R0)