SHERLOCK:
A Vertically Integrated, Theorem Proving- and
Mystery Game-Based Intelligent Tutoring System for Teaching and Researching Deductive Reasoning from Grades 2-14
- working draft -

Contact: Selmer Bringsjord
selmer@rpi.edu http://www.rpi.edu/ brings

• The Problem in a Nutshell
• Theoretical Underpinnings
  • Conditional and Syllogistic Reasoning
  • Situated Cognition
  • Narrative
  • Game-Based Pedagogy
  • Strategies
  • Multimedia Approaches
  • The Value of Immediate Error Correction
  • The Zone of Proximal Development
• The Upshot: SHERLOCK
• Interacting with SHERLOCK
• The Precursors
• Experiments
• Budget
• Appendix A: Two Logic Problems From New York State's Math Curriculum, 8th Grade
  • Problem 1
  • Problem 2
• Appendix B: Reductio Ad Absurdum Problem in Conformity with New York State Curriculum
• Appendix C: A Logic Puzzle
• Appendix D: A Gödelian Puzzle
• References
• About this document ...