Towards an Intelligent Tutoring System for Propositional Proof Construction

Authors:
Marvin Croy;Tiffany Barnes;John Stamper
Affiliations:
Department of Philosophy, The University of North Carolina at Charlotte;Department of Computer Science;Department of Computer Science
Venue:
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
Year:
2008

Citing 3
Cited 6

Graphic interface design and deductive proof construction

Journal of Computers in Mathematics and Science Teaching
Introduction to Reinforcement Learning

Introduction to Reinforcement Learning
The Behavior of Tutoring Systems

International Journal of Artificial Intelligence in Education

Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data

ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
Experimental evaluation of automatic hint generation for a logic tutor

AIED'11 Proceedings of the 15th international conference on Artificial intelligence in education
Defining solution boundaries for EDM Vis

AIED'11 Proceedings of the 15th international conference on Artificial intelligence in education
Enhancing the automatic generation of hints with expert seeding

ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II
Enhancing the automatic generation of hints with expert seeding

International Journal of Artificial Intelligence in Education - Special issue on Best of ITS 2010
Experimental Evaluation of Automatic Hint Generation for a Logic Tutor

International Journal of Artificial Intelligence in Education - Best of AIED 2011

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article reports on recent efforts to develop an intelligent tutoring system for proof construction in propositional logic. The report centers on data derived from an undergraduate, general education course in Deductive Logic taught at the University of North Carolina at Charlotte. Within this curriculum, students use instructional java applets to practice state-transition problem solving, truth functional analysis, proof construction, and other aspects of propositional logic. Two project goals are addressed here: 1) identifying at-risk students at an early stage in the semester, and 2) generating a visual representation of student proof efforts as a step toward understanding those efforts. Also discussed is the prospect for developing a Markov Decision Process approach to providing students with individualized help.