A tutorial program for propositional logic with human/computer interactive learning

Authors:
Stacy Lukins;Alan Levicki;Jennifer Burg
Affiliations:
Wake Forest University, Winston-Salem, NC;Wake Forest University, Winston-Salem, NC;Wake Forest University, Winston-Salem, NC
Venue:
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Year:
2002

Citing 1
Cited 5

Plagiator - A Learning Prover

CADE-14 Proceedings of the 14th International Conference on Automated Deduction

Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book

Journal of Automated Reasoning
KRRT: knowledge representation and reasoning tutor system

EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
A teaching tool for proving equivalences between logical formulae

TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
A multiagent-based ITS using multiple viewpoints for propositional logic

ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems
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 paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propositional logic and gives them practice with theorem proving. Secondly, the program provides an environment in which we can track student learning, explore cognitive issues of human problem solving, and investigate the possibilities of interactive human/machine learning. We have tested the tutorial program on two groups of Discrete Mathematics students and report the results of our assessment. We also discuss the contributions and future directions of our research in interactive human/machine learning.