Three units. Tue/Thu 9:30 - 10:45am. Gates B12
CS227 is a second class in Artificial Intelligence, covering methods for (largely) non-probabilistic reasoning in propositional satisfiability, constraint satisfaction, temporal reasoning, and planning. It is complementary to CS228, and a natural successor to CS221.
We strongly recommend asking questions on the newsgroup (su.class.cs227). This forum enables students to discuss problems that they encounter. It is also an excellent place to find a group for the assignments. For information on how to access and use class newsgroups see A Stanford Intro to Usenet.
Contact the course staff at cs227-help at lists.stanford.edu.
There are no required texts. Readings and optional textbooks are given in the course reading list. The best general introduction and overall text, although it does not cover all the course, is S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. Second Edition, ISBN: 0-13-790395-2. Prentice Hall.