David Musicant's Clue
Lisp Port
David Musicant,
Associate Professor of Computer Science at Carleton College, has generously
provided this Lisp port of the Clue project source
files.
Source Files
Sample Syllabus
(from
http://cs.carleton.edu/faculty/dmusican/cs327f06/)
Week 6
- Getting Started with Propositional Logic (CS
327)
- Read sections 1 through 7 of
this handout on the Clue project.
- In section 7 of the handout, do exercise 2.
Solve via resolution and turn in on paper, and solve with
SAT-solver.lisp and turn in electronically
(link below).
- Resolution due on paper by beginning of class
on Wednesday, October 18.
- Lisp code due electronically via Moodle
submission page: 11:55 PM on Wednesday, October 18.
- Getting Started with Propositional Logic (CGST
360)
- Read sections 1-5 and 7 of
this handout on the Clue project.
- In section 7, of the handout, do exercises 1-3.
Solve via resolution and turn in on paper by beginning of class on
Wednesday, October 18.
- Read Chapter 7 in Russell & Norvig (CS 327 /
CGST 360)
- Due by class on Friday, October 20.
- Clue Assignment: Initial Clauses (CS 327 / CGST
360)
- Check out the Clue game board that I've left in
CMC 307. Stop in with friends (they don't have to be in the class) and
play a game.
- Read section 8 of the
clue handout.
- CS 327: Complete code for the
initial-clauses
function in clue-reasoner.lisp. Turn in
the entire clue-reasoner.lisp
file.
- CGST 360: Express in propositional logic
the statements that you would make for the
initial-clauses
function. Here is a template and a
starting point so you can see what I have in mind.
- Due electronically via Moodle submission page:
11:55 PM on Saturday, October 21.
Week 7
- Clue Assignment: hand and accuse (CS 327 / CGST
360)
- CS 327: Complete code for the
hand and
accuse
functions in clue-reasoner.lisp. Turn
in the entire clue-reasoner.lisp
file.
- CGST 360: Express in propositional logic
the statements that you would make for the
hand and
accuse
functions.
- Due electronically via Moodle submission page:
11:55 PM on Monday, October 23.
- Clue Assignment: suggest (CS 327 / CGST 360)
- CS 327: Complete code for the
suggest
function in clue-reasoner.lisp. Turn in
the entire clue-reasoner.lisp
file.
- CGST 360: Express in propositional logic
the statements that you would make for the
suggest function.
- Due electronically via Moodle submission page:
11:55 PM on Wednesday, October 25.