In this paper, we describe curricular materials that use the game of Clue to teach basic concepts of propositional logic. While there are many ways of teaching concepts of logic, this approach is distinct in that it is (1) goal-oriented, culminating in a fun project where students implement expert Clue deduction, (2) minimalistic, covering many important concepts within the simple domain of propositional logic, and (3) extensible, inviting students to extend the project further in several significant directions through advanced study of knowledge representation and reasoning topics.
Todd W. Neller, Zdravko Markov, Ingrid Russell