Towards an intelligent tutoring system for propositional proof construction

Frontiers in Artificial Intelligence and Applications

Volumn 175, Issue 1, 2008, Pages 145-155

  Croy, Marvin ^a   Barnes, Tiffany ^b   Stamper, John ^b  

^a UNIVERSITY OF NORTH CAROLINA AT CHARLOTTE   (United States)

^b Department of Computer Science ^*  (United States)

Author keywords

intelligent tutoring system; Markov decision processes; Proof construction; visualization

Indexed keywords

COMPUTER AIDED INSTRUCTION; COMPUTER CIRCUITS; FORMAL LOGIC; MARKOV PROCESSES; PROBLEM SOLVING; TEACHING;

DEDUCTIVE LOGIC; EDUCATION COURSE; GENERAL EDUCATION; INTELLIGENT TUTORING; INTELLIGENT TUTORING SYSTEM; MARKOV DECISION PROCESSES; PROOF CONSTRUCTION; PROPOSITIONAL LOGIC; TUTORING SYSTEM; UNIVERSITY OF NORTH CAROLINA;

STUDENTS;

EID: 84875913524     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (10)

1. J. Hartley and D. Sleeman, Towards more intelligent teaching systems. International Journal of Man-Machine Studies 2 (1973), 215-236.
2. K. VanLehn. The behavior of tutoring systems, International Journal of Artificial Intelligence in Education 16 (2006), 227-265.
3. T. Murray, Authoring intelligent tutoring systems: An analysis of the state of the art, International Journal of Artificial Intelligence in Education 10 (1999), 98-129.
4. T. Barnes and J. Stamper, Toward the extraction of production rules for solving logic proofs, Proc. 13th Intl. Conf. on Artificial Intelligence in Education, Educational Data Mining Workshop (AIED2007), Marina del Rey, CA, July 9, 2007.
5. R.E. Mayer, Thinking, Problem Solving, Cognition, Freeman, New York, 1992.
6. M.J. Croy, Graphic interface design and deductive proof construction, Journal of Computers in Mathematics and Science Teaching 18 (1999), 371-386.
7. M.J. Croy, Problem solving, working backwards, and graphic proof representation, Teaching Philosophy 23 (2000), 169-187.
8. R. Scheines and W. Sieg, Computer environments for proof construction, Interactive Learning Environments 4 (1994), 159-169.
9. E. F. Schumacher, Small is Beautiful, Harper and Row, New York, 1973, 89.
10. Richard S. Sutton and Andrew G. Barto. 1998. Reinforcement Learning: An Introduction. The MIT Press, Cambridge, MA.