Evaluation of the q-matrix method in understanding student logic proofs

FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference

Volumn 2006, Issue , 2006, Pages 491-496

  Barnes, Tiffany ^a  

^a University of North Carolina at Charlotte   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGNOSTIC INFORMATION; FORMAL PROOFS; INTELLIGENT TUTORING SYSTEMS;

DATA MINING; FEEDBACK; INTELLIGENT AGENTS; INTERACTIVE COMPUTER SYSTEMS; MATRIX ALGEBRA; PROBLEM SOLVING;

FORMAL LOGIC;

EID: 33746074815     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Ainsworth, S.E., Major, N., Grimshaw, S.K., Hayes, M., Underwood, J.D., Williams, B. & Wood, D.J. 2003. REDEEM: Simple intelligent tutoring systems from usable tools, in T. Murray, S. Blessing & S.E. Ainsworth (eds). Adv. Tools for Adv. Technology Learning Environments. pp. 205-232. Amsterdam: Kluwer Academic Publishers.
2. Baffes, P. & R.J. Mooney. 1996. A novel application of theory refinement to student modeling. Proceedings of AAAI-96, pp. 403-408, Portland, OR, August 1996.
3. Barnes, T. 2005a. Experimental analysis of the q-matrix method in automated knowledge assessment, Proceedings of IASTED Computers and Adv. Technology for Education (GATE 2005), Oranjestad, Aruba, August 29-31, 2005.
4. Barnes, T. 2005b. The q-matrix method: Mining student response data for knowledge. Proceedings of AAAI 2005, Pittsburgh, PA, July 9-13, 2005.
5. Barnes, T., D. Bitzer & M. Vouk. 2005. Experimental analysis of the q-matrix method in knowledge discovery. Proceedings of the 15th International Symposium on Methodologies for Intelligent Systems, Saratoga Springs, NY, May 25-29, 2005.
6. Birenbaum, M., Kelly, A., & Tatsuoka, K. 1993. Diagnosing knowledge state in algebra using the rule-space model. Journal for Research in Mathematics Education, 24(5), 442-459.
7. Brewer, P. 1996. Methods for concept mapping in computer based education. Computer Science Masters Thesis, North Carolina State University.
8. Birenbaum, M., Kelly, A., & Tatsuoka, K. 1993. Diagnosing knowledge states in algebra using the rule-space model. Journal for Research in Mathematics Education, 24(5), 442-459.
9. Conati, C., A.S. Gertner, & K. VanLchn, 2002. Using Baycsian networks to manage uncertainty in student modeling. User Model. User-Adapt. Interact. 12(4): 371-417.
10. Heffernan, N.T. & K.R. Koedinger, 2002. An intelligent tutoring system incorporating a model of an experienced human tutor. Intelligent Tutoring Systems, pp. 596-608.
11. Koedinger, K. R., Aleven, V., Heffernan, T., McLaren, B. & Hockenberry, M. 2004, Opening the door to non-programmers: Authoring intelligent tutor behavior by demonstration. Proceedings of the 7th Annual Intelligent Tutoring Systems Conference, Maceio, Brazil, pp. 162-173.
12. Murray, Tom. 1999. Authoring Intelligent Tutoring Systems: An analysis of the state of the art. International Journal of AI in Education (1999), 10: 98-129.
13. Tatsuoka, K. 1983. Rule space: An approach for dealing with misconceptions based on item response theory. Journal of Educational Measurement, 20(4), 345-354.
14. VanLehn, K., Niu, Z., Siler, S., & Gertner, A. 1998. Student modeling from conventional test data: A Bayesian approach without priors. Intelligent Tutoring Systems, pp. 434-443.