Clue Deduction: Professor Plum Teaches Logic

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.

[1]  Ian P. Gent.  Arc Consistency in SAT , 2002, ECAI.

[2]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[3]  Amruth N. Kumar,et al.  Using robots in an undergraduate artificial intelligence course: an experience report , 2001, 31st Annual Frontiers in Education Conference. Impact on Engineering and Science Education. Conference Proceedings (Cat. No.01CH37193).

[4]  Nils J. Nilsson,et al.  Artificial Intelligence: A New Synthesis , 1997 .

[5]  Ingrid Russell,et al.  Unifying an Introduction to Artificial Intelligence Course through Machine Learning Laboratory Experiences , 2005 .

[6]  Acm Ieee-Cs Joint Curriculum Task Force.  Computing Curricula 2001: Computer Science , 2002 .

[7]  Z. Markov,et al.  Enhancing undergraduate AI courses through machine learning projects , 2005, Proceedings Frontiers in Education 35th Annual Conference.

[8]  Eric Neufeld.  Clue as a Testbed for Automated Theorem Proving , 2002, Canadian Conference on AI.

[9]  Ingrid Russell,et al.  Implementing the intelligent systems knowledge units of computing curricula 2001 , 2003, 33rd Annual Frontiers in Education, 2003. FIE 2003..

[10]  Sharad Malik,et al.  Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[11]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[12]  Deepak Kumar,et al.  A robot laboratory for teaching artificial intelligence , 1998, SIGCSE '98.

[13]  Peter Norvig,et al.  Artificial intelligence - a modern approach, 2nd Edition , 2003, Prentice Hall series in artificial intelligence.

[14]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .