CS 3793: Introduction to Artificial Intelligence

Syllabus and Assignments

In the labs, we will be doing agent-oriented programming. The collection of programs we will be using can be found in the tar file agents.tar or the zip file agents.zip (revised Oct. 5, 2011).

Lab 0, Lab 1, Lab 2, Lab 3, Lab 4, nist-starter.c.

cookie-tester. I wrote this Perl script to test your Lab 1 program. To run this program on the CS network, enter "perl ./cookie-tester ./lab1" to a Linux console. This assumes that cookie-tester and your lab1 are in the current directory. It's an easy change to cookie-tester if you want to run it on your own computer.

We will also be using a program called Prover9 that performs logical inference.

Official Prover9 Web Site, Introduction to Prover9, Prover9 Example 1, Prover9 Example 2, Prover9 Example 3, Prover9 Example 4, Wumpus Example.

Handouts (subject to change)

Iterative Deepening, A* Search, Alpha-Beta Pruning, Propositional Logic, Wumpus Inference, elim-bel Algorithm, Partial Planning Notes, Partial Planning Example, Learning Theory , Perceptron Mistake Bound, General Loss Bounds.

Notes (subject to change)

Agents, Search, Search Examples, Heuristic Search, Game Playing.

Logic, Knowledge Engineering, Probability, Some Puzzling Probability Problems, Example of Bayesian Network Calculation.

Planning, Planning Example, Learning, Numerical Learning Algorithms, Neural Networks, Natural Language, Vision, Some AI Talks.

Other Stuff

Back to Tom Bylander's Home Page