Curricula Modeling and Checking

Authors:
Matteo Baldoni;Cristina Baroglio;Elisa Marengo
Affiliations:
Dipartimento di Informatica -- Università degli Studi di Torino, C.so Svizzera, 185 -- I-10149 Torino, Italy);Dipartimento di Informatica -- Università degli Studi di Torino, C.so Svizzera, 185 -- I-10149 Torino, Italy);Dipartimento di Informatica -- Università degli Studi di Torino, C.so Svizzera, 185 -- I-10149 Torino, Italy)
Venue:
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Year:
2007

Citing 10
Cited 1

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Agent Communication Languages: Rethinking the Principles

Computer
A Social Semantics for Agent Communication Languages

Issues in Agent Communication
Dynamic assembly of learning objects

Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions

Artificial Intelligence Review
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation

APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Curriculum Model Checking: Declarative Representation and Verification of Properties

EC-TEL '07 Proceedings of the 2nd European conference on Technology Enhanced Learning: Creating New Learning Experiences on a Global Scale
Personalization for the semantic web

Proceedings of the First international conference on Reasoning Web
DecSerFlow: towards a truly declarative service flow language

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture

EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale

Curriculum model checking: declarative representation and verification of properties

EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work, we present a constrained-based representation for specifying the goals of "course design", that we call curricula model, and introduce a graphical language, grounded into Linear Time Logic, to design curricula models which include knowledge of proficiency levels. Based on this representation, we show how model checking techniques can be used to verify that the user's learning goal is supplied by a curriculum, that a curriculum is compliant to a curricula model, and that competence gaps are avoided.