Using weighted constraints to diagnose errors in logic programming - The case of an ill-defined domain

International Journal of Artificial Intelligence in Education

Volumn 19, Issue 4, 2009, Pages 381-400

  Le, Nguyen Thinh ^a   Menzel, Wolfgang ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

error diagnosis; intelligent tutoring systems; logic programming; weighted constraint based modeling

Indexed keywords

EID: 78650096362     PISSN: 15604292     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. Aleven, V. (2003). Using background knowledge in case-based legal reasoning: a computational model and an intelligent learning environment. Artificial Intelligence, 150 (1-2), 183-237.
2. Anderson, J. & Reiser, B. (1985). The Lisp tutor. Byte, 10, 159-175.
3. Anderson, J. R., Corbett, A. T., Koedinger, K. R., & Pelletier, R. (1995). Cognitive tutors: Lessons learned. Journal of the Learning Sciences, 4, 167-207.
4. Ashley, K. D. (2000). Designing electronic casebooks that talk back: The CATO program. Jurimetrics, 40(3), 275-319.
5. Bonar, J. G. & Cunningham, R. (1988). Bridge: Tutoring the programming process. In J. Psotka, L. D. Massey, and S. A. Mutter (Eds.) Intelligent Tutoring Systems: Lessons learned (pp. 409-434). Hillsdale, New Jersey: Lawrence Erlbaum Associates.
6. Goldin, I. M., Ashley, K. D., & Pinkus, R. L. (2001). Introducing PETE: computer support for teaching ethics. In Proceedings of the 8th international conference on Artificial intelligence and law (pp. 94-98). New York, NY: ACM.
7. Hong, J. (2004). Guided programming and automated error analysis in an intelligent Prolog tutor. International Journal of Human-Computer Studies, 61(4), 505-534.
8. Johnson, W. L. (1990). Understanding and debugging novice programs. Artificial Intelligence, 42(1), 51-97.
9. Kodaganallur, V., Weitz, R., & Rosenthal, D. (2005). A comparison of model-tracing and constraint-based intelligent tutoring paradigms. International Journal of Artificial Intelligence in Education, 15(2), 117-144.
10. Kodaganallur, V., Weitz, R., & Rosenthal, D. (2006). An assessment of constraint-based tutors: A response to Mitrovic and Ohlsson's critique of "A comparison of model-tracing and constraint-based intelligent tutoring paradigms". International Journal of Artificial Intelligence in Education, 16, 291-321.
11. Le, N.-T. (2006). Using Prolog design patterns to support constraint-based error diagnosis in logic programming. In K. Ashley, V. Aleven, N. Pinkwart, and C. Lynch (Eds.) Proceedings of the Workshop on Intelligent Tutoring Systems for Ill-Defined Domains at the 8th International Conference on Intelligent Tutoring Systems (pp. 38-46). Jhongli (Taiwan), National Central University.
12. Le, N.-T. & Menzel, W. (2006). Problem solving process oriented diagnosis in logic programming. In R. Mizoguchi, P. Dillenbourg, and Z. Zhu (Eds.) Proceedings of the 14th International Conference on Computers in Education (pp. 63-70). Amsterdam, The Netherlands: IOS Press.
13. Le, N.-T. & Menzel, W. (2008). The coverage of error diagnosis in logic programming using weighted constraints - the case of an ill-defined domain. In D. Wilson and H. C. Lane (Eds.) Proceedings of the 21st International FLAIRS Conference, Special Track on Intelligent Tutoring Systems (pp. 421-426). AAAI Press.
14. Looi, C.-K. (1991). Automatic debugging of prolog programs in a prolog intelligent tutoring system. Instructional Science, 20, 215-263.
15. Lynch, C. F., Ashley, K. D., Aleven, V., & Pinkwart, N. (2006). Defining ill-defined domains; a literature survey. In K. Ashley, V. Aleven, N. Pinkwart, and C. Lynch (Eds.) Proceedings of the Workshop on Intelligent Tutoring Systems for Ill-Defined Domains at the 8th International Conference on Intelligent Tutoring Systems (pp. 1-10). Jhongli (Taiwan), National Central University.
16. Martin, B. (2001). Intelligent Tutoring Systems: The Practical Implementation Of Constraint-based Modelling. Ph. D. thesis, University of Canterbury.
17. Mitrovic, A. (2002). NORMIT: A web-enabled tutor for database normalization. In Proceedings of the International Conference on Computers in Education (pp. 1276-1280). Washington, DC: IEEE Computer Society.
18. Mitrovic, A., Koedinger, K. R., & Martin, B. (2003). A comparative analysis of cognitive tutoring and constraintbased modeling. In P. Brusilovsky, A. T. Corbett, and F. de Rosis (Eds.) Proceedings of the 9th International Conference on User Modeling (pp. 313-322). Berlin/Heidelberg: Springer-Verlag.
19. Mitrovic, A. & Ohlsson, S. (2006). A critique of Kodaganallur, Weitz and Rosenthal, "A comparison of modeltracing and constraint-based intelligent tutoring paradigms". International Journal of Artificial Intelligence in Education, 16, 277-289.
20. Mitrovic, A., Suraweera, P., Martin, B., & Weerasinghe, A. (2004). DB-suite: Experiences with three intelligent, web-based database tutors. Journal of Interactive Learning Research (JILR), 15(4), 409-432.
21. Ohlsson, S. (1994). Constraint-based student modelling. In J. E. Greer and G. I. McCalla (Eds.) Student Modelling: The Key to Individualized Knowledge-based Instruction (pp. 167-189). Berlin: Springer-Verlag.
22. Pennington, N. (1987). Comprehension strategies in programming. In G. M. Olson, S. Sheppard, and E. Soloway (Eds.) Emperical studies of programmers: 2nd workshop (pp. 100-113). Norwood, NJ: Ablex Publishing Corp.
23. Pinkwart, N., Aleven, V., Ashley, K., & Lynch, C. (2006). Toward legal argument instruction with graph grammars and collaborative filtering techniques. In M. Ikeda, K. Ashley, and T. W. Chan (Eds.) Proceedings of the 8th International Conference on Intelligent Tutoring Systems (pp. 227-236). Berlin: Springer Verlag.
24. Pintrich, P. R., Berger, C. F., & Stemmer, P. M. (1987). Students' programming behaviour in a Pascal course. Journal of Research in Science Teaching, 24(5), 451-466.
25. Van Rijsbergen, C. J. (1979). Information Retrieval (2 ed.). London: Butterworth-Heineman.
26. Simon, H. A. (1973). The structure of ill structured problems. Artificial Intelligence, 4(3), 181-201.
27. VanLehn, K., Lynch, C., Schulze, K., Shapiro, J. A., Shelby, R., Taylor, L., Treacy, D., Weinstein, A., & Wintersgill, M. (2005). The andes physics tutoring system: Lessons learned. International Journal of Artificial Intelligence in Education, 15(3), 147-204.