CMPT 310 Assignments

There will be four assignments, composing 45% of the course grade. Assignments are due on every third Friday, before 12:15pm. Each assignment builds on the previous one. At the end of the course, you will have a fully functional mechanical planner. Partial solution to the assignments will be posted here regularly.

Assignment 1 (Due Jan 26) [6%]
Essay: State Space Search
Programming: Basic LISP Programming
[Solution: solution-A1.ps / solution-A1.pdf; fast-intersection.lisp; ADT.lisp]
Assignment 2 (Due Feb 16) [13%]
Essay: Theorem Proving and Knowledge Representation
Programming: State Space Search
[Source code: search.lisp; mystery.lisp; mc.lisp]
[Solution: solution-A2.ps / solution-A2.pdf; puzzle.lisp; strategy.lisp]
Assignment 3 (Due Mar 21) [13%]
Programming: Resolution Theorem Proving
[Source code: wff.lisp; preprocessing.lisp; subst.lisp ]
[Test cases: testcases.lisp]
[Solution: a3q1.lisp; a3q2.lisp; a3q3.lisp; a3q4.lisp; a3q5.lisp ]
Assignment 4 (Due April 6) [13%]
Essay: Planning and Constraint Satisfaction Problems
[Solution: solution-A4.ps; solution-A4.pdf]

Programming Language: Common LISP

You will be coding in the Common LISP programming language for your programming assignments. Consult the Learning LISP for CMPT 310 page to acquire the programming skills needed in the assignments.

Development Environment: Allegro Common LISP

We will be using the Allegro Common LISP development environment (Ver. 4.3) for our assignments. The software is installed on our CSIL UNIX servers and the 10 PCs running Solaris x86 in ASB 9804. In a UNIX shell, type composer to activate the software. If you are new to UNIX, please consult the following sources:

CSIL UNIX page
ACS how-to pages on UNIX basics and editors
UNIX Reference Desk

If you have a PC at home, you are encouraged to obtain the trial version (Ver. 6.0) of Allegro Common LISP. The software can be downloaded for free from the web site of Franz Inc.. You may also do your assignments with this version.