CISC 481/681 Artificial Intelligence
Home Page Fall 2008

http://www.cis.udel.edu/~mccoy/courses/cisc4-681.08f/

Written Homeworks

• Homework 4 -- Decision Trees -- [PDF], Due Tuesday, November 25, 2008.


• Homework 2 -- Logic and Resolution -- [PDF], Due Tuesday, November 18, 2008.


• Homework 1 -- Search -- [PDF], Due Tuesday, October 7th. Solutions [PDF].


• Homework 0 -- Lisp -- [PDF], Due Thursday, September 18
• prog0.lisp
• Graham Chapter 1
• Graham Chapter 2

Programming Assignments

• Program 4 [PDF], Due Tuesday, December 9, 2008. (Simple Theorem Prover)
  The file test-prover.lisp contains the three sets of test data needed to test your program.



• Program 3 [PDF], Due Thursday, November 13, 2008 -- Constraint Satisfaction
  



• Program 2 [PDF], Due Friday, Midnight, October 10, 2008 -- PARTS 3.1 and 3.2; Thursday, October 23, PART 3.3 and 3.4. (Graphsearch)
  For this you will need to use the graphsearch package defined in graphsearch.lisp; a test graph that can be searched using the package can be found in search-test.lisp.



• Program 1 PDF, Due Thursday, October 2, 2008. (Lisp Functions) Solutions (lisp file).

Lisp Programming Resources

• Some documentation for running sbcl on the EECIS machines: PostScript PDF

• Free Lispworks Personal Edition for Windows Download
• On-line Reference Manuals for Lispworks

• An HTML version of the official ANSI specification for Lisp. Complete reference definitions for everything (but not a tutorial, obviously!) This can be a bit hard to read, see the next source for a wordier description
  • Table of Contents.
  • Highlights (alternate Table of Contents).
  • Master Index.
  • Index of all words in language (variables, function names, etc).

• Paul Graham's Lisp Resources

• Some other on-line Lisp Tutorials

  • Marty Hall's Learning Common Lisp Page.
  • ELM-ART, an interactive  Lisp Tutor. You can do the examples, and the program will critique your work! Uses a fancy interactive WWW server written in Lisp, what else :-)