Automatic generation of proof problems in deductive logic

EDM 2011 - Proceedings of the 4th International Conference on Educational Data Mining

Volumn , Issue , 2011, Pages 289-293

  Mostafavi, B ^a   Barnes, T ^a   Croy, M ^a  

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

Author keywords

Intelligent tutoring system; Logic proof; Problem difficulty; Problem generation

Indexed keywords

AUTOMATIC GENERATION; DEDUCTIVE LOGIC; EXPLORATORY STUDIES; INTELLIGENT TUTORING SYSTEM; LEARNING TOOL; LOGIC PROOF; PROBLEM DIFFICULTY; PROBLEM GENERATION; PROPOSITIONAL LOGIC; STUDENT PERFORMANCE;

COMPUTER AIDED INSTRUCTION; DATA MINING; EDUCATION COMPUTING; FORMAL LOGIC;

STUDENTS;

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

References (8)

1. BECK, J., STERN, M., AND WOOLF, B.P. 1997. Using the Student Model to Control Problem Difficulty. In Jameson, A., Paris, C., and Tasso, C. (Eds.) User Modeling: UM97 Proceedings, Springer, New York.
2. CROY, M., BARNES, T., AND STAMPER, J. 2008. Towards an Intelligent Tutoring System for Propositional Proof Construction. In Briggle, A., Waelbers, K., and Brey, E. (Eds.) Current Issues in Computing and Philosophy, 145-155, IOS Press, Amsterdam, Netherlands.
3. CROY, M. 2000. Problem Solving, Working Backwards, and Graphic Proof Representation. Teaching Philosophy, 23, 169-187.
4. KOEDINGER, K., ALEVEN, V., HEFFERNAN, T., MCLAREN, B., AND HOCKENBERRY, M. 2004. Opening the Door to Non-Programmers: Authoring Intelligent Tutor Behavior by Demonstration. In ITS 2004 Proceedings, 162-173.
5. LESTA, L. AND YACEF, K. 2004. An Intelligent Teaching Assistant System for Logic. In ITS 2004 Proceedings, 421-431.
6. MCGOUGH, J., MORTENSEN, J., JOHNSON, J., AND FADALI, S. 2001. A Web-Based Testing System with Dynamic Question Generation. In FIE 2001 Proceedings, 3, 23-28.
7. MURRAY, T. 1999. Authoring Intelligent Tutoring Systems. In IJAIED, 10, 98-129.
8. YACEF, K. 2005. The Logic-ITA in the Classroom: A Medium Scale Experiment. In IJAIED, 15, 41-62.