Weighted Constraint Based Intelligent Tutoring Systems for Logic Programming

2010 - 2011

The goal of Intelligent Tutoring Systems is to provide intelligent, one-on-one, computer-based support to students as they learn to solve problems. The basic rationale underlying most ITS systems is that by comparing student's problem solutions to formalized domain models, it is possible to adapt instruction to the needs of specific students and thereby effectively support their learning. Constraint-based tutors are one of the most prominent and successful ITS approaches. These rely on checking student solutions for the fulfillment of certain correctness constraints (and give feedback, should these be violated). Yet, a restriction of constraint-based tutors is that they cannot easily accommodate multiple correct solution variants to tasks. For the domain of logic programming, we have shown in this project that weighted constraint-based ITS systems have potential to address this issue.

Persons

Publications

2012
[7] N. T. Le, N. Pinkwart (2012). Can Soft Computing Techniques Enhance the Error Diagnosis Accuracy for Intelligent Tutors? In S. Cerri, W. Clancey, G. Papadourakis, K. Panourgia, eds., Lecture Notes in Computer Science (7315) - Proceedings of the 11th International Conference on Intelligent Tutoring Systems (ITS) (pp. 320--329). Berlin, Germany, Springer Verlag.
[BIB] [PDF]
2011
[6] N. T. Le, N. Pinkwart (2011). Enhancing The Error Diagnosis Capability For Constraint-based Tutoring Systems. In G. Biswas, S. Bull, J. Kay, A. Mitrovic, eds., Lecture Notes in Computer Science (6738) - Proceedings of the 15th International Conference on Artificial Intelligence in Education (AIED) (pp. 500--503). Berlin, Germany, Springer Verlag.
[BIB] [PDF]
[5] N. T. Le, N. Pinkwart (2011). Adding Weights to Constraints in Intelligent Tutoring Systems: Does it Improve the Error Diagnosis? In C. D. Kloos, D. Gillet, R. M. C. Garcia, F. Wild, M. Wolpers, eds., Lecture Notes in Computer Science (6964) - Proceedings of the 6th European Conference On Technology Enhanced Learning (ECTEL) (pp. 233--247). Berlin, Germany, Springer Verlag.
[BIB] [PDF]
[4] N. T. Le, N. Pinkwart (2011). INCOM: A Web-based Homework Coaching System For Logic Programming. In D. G Sampson, J. M. Spector, D. Ifenthaler, P. Isaías, eds., Proceedings of the IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA) (pp. 43--50). Rio de Janeiro, Brazil, International Association for Development of the Information Society.
[BIB] [PDF]
2010
[3] N. T. Le, W. Menzel, N. Pinkwart (2010). Considering Ill-Definedness Of Problem Tasks Under The Aspect Of Solution Space. In D. Wilson, C. Murray, H. W. Guesgen, eds., Proceedings of the 23st International Conference of the Florida Artificial Intelligence Research Society (FLAIRS) (pp. 534--535). Daytona Beach, FL, AAAI.
[BIB] [PDF]
[2] N. T. Le, N. Pinkwart (2010). Analysis of Learning Curves for Weighted Constraint-Based Tutoring Systems. In Kinshuk, D. Sampson, M. Spector, P. Isaias, D. Ifenthaler, R. Vasiu, eds., Proceedings of the IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA) (pp. 289--293). Timisoara, Romania, International Association for Development of the Information Society.
[BIB] [PDF]
2009
[1] N. T. Le, W. Menzel, N. Pinkwart (2009). Evaluation of a Constraint-Based Homework Assistance System for Logic Programming. In S. C. Kong, H. Ogata, H. C. Arnseth, C. K. K. Chan, T. Hirashima, F. Klett, J. H. M. Lee, C. C. Liu, C. K. Looi, M. Milrad, A. Mitrovic, K. Nakabayashi, S. L. Wong, S. J. H. Yang, eds., Proceedings of the 17th International Conference on Computers in Education (ICCE) (pp. 51--58). Hong Kong, China, Asia-Pacific Society for Computers in Education.
[BIB] [PDF]