CS 540 - Introduction to Artificial Intelligence

Spring, 1997

Instructor: Ken Kunen

Office:       6385 CS & Stats Building
Telephone:    263-2874
Email:        kunen@cs.wisc.edu
Office Hours: Fridays, 9 - 11, or by appointment, or by email.
Login:        kunen

TAs

NAME               OFFICE           HOURS               LOGIN
Bryan So          5364 CS&S       Tuesday, 1-2           so
Xin Wang          ERB 735         Thursday, 2:30-4:30   xwang
Igor Ivanisevic   1304 CS&S       M and W, 10-11        iigor

Grades

There will be four programming assignments, counting 10% each, and three exams, counting 20% each; the third exam will be at the scheduled time and place for the final. Programs may be turned in any time (until midnight) on the day due. Late assignments will loose 5% for the first day late, and 10% for each day late after that. No assignments will be accepted after May 11.

Schedule

Topics Covered

The following order of topics isn't entirely logical, but is designed so that the topic for each programming assignment is discussed before the program is due.

Chess

Click here for information about the Deep Blue -- Kasparov chess rematch.

Automated Reasoning Information

The program OTTER is the best general-purpose resolution-based theorem prover available. Click here for more information, source code, etc.

The course directory contains the executable code (for the instructional machines), and some sample otter input files (of form *.in).
The usual call to otter is:
otter < foo.in >! foo.out

Neural Nets Information

Click here to see a simple version of backpropagation, sufficient for the fourth programming assignment.

The following COURSES will be given next semester (Fall, 1997), and contain material relevant to neural nets:

Lisp Information

Since Lisp is used in a lot (not all!) of AI programming, the course will begin with a discussion of COMMON Lisp. It would probably be useful to have some Lisp reference available to supplement the lectures and the on-line help available within lisp itself. There are many paperbacks available, most of which are probably ok.

Prolog Information

Information about Prolog is available from the following sources:

Additional Information


Exams from Fall, 1995 (postscript)


Last Changed: April 25, 1997 by kunen@cs.wisc.edu