Homework 1, Homework 2, Homework 3.
Homework 4, Homework 5, Homework 6.
Homework 7, Homework 8, Homework 9.
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.
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.