Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
Curricula Modeling and Checking.
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 users learning goal is supplied by a curriculum, that a curriculum is compliant to a curricula model, and that competence gaps are avoided.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-097
@inproceedings{REWERSE-RP-2007-097, author = {Matteo Baldoni and Cristina Baroglio and Elisa Marengo}, title = {Curricula Modeling and Checking}, booktitle = {Proceedings of 10th Congress of the Italian Association for Artificial Intelligence: Artificial Intelligence and Human-Oriented Computing, Roma, Italy (10th--13th September 2007)}, year = {2007}, volume = {4733}, organization = {AI*IA}, series = {LNAI}, pages = {471--482}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-097} }