|CS 371 - Introduction to Artificial Intelligence
Due: All parts due at the beginning of class on Monday 10/29
Note: Work is to be done in pairs.
The primary project documentation is here: Clue Deduction: an introduction to satisfiability reasoning
0. Reading: Follow the reading schedule of the syllabus.
1. Logic Problems: Complete three logic problems (all parts: (a)-(d)) of your choice from section 7.
2. Clue Reasoner: Complete the implementation of ClueReasoner.java as described in section 8.