CS / INFO 372 - Explorations in Artificial Intelligence - Spring 2008
T R 10:10 - 11:25 am Phillips 307
Office Hours - Wednesdays - 1:00 pm - 2:00 p.m. 5133 Upson Hall
Recommended Textbook
Artificial Intelligence: A Modern
Approach (Second Edition), by Stuart Russell and Peter Norvig
TA
Yunsong Guo Office Hours:
Wed. 3:30-4:30 pm (Rhodes 457)
Robert Xiao
Module 1 - Introduction
PowerPoint file
Module 2 - Example of Modeling Formalisms
PowerPoint file
Module 3-1-1 - Logic Representations
PowerPoint file
Module 3-1-2 - Logic Representations
PowerPoint file
Module 3-1-3 - Logic Representations
PowerPoint file
Module 3-1-3 - Methods for Proving Theorems
PowerPoint file
Module 4-1 - Constraint Programming
PowerPoint file
Module 4-2 - Constraint Programming
PowerPoint file
Module 5-1 - Linear Programming
PowerPoint file
Module 5-2 - Linear Programming
PowerPoint file
Module 5-3 - Integer Programming
PowerPoint file
Module 6 - Introduction to Computational Complexity
PowerPoint file
=====================================================================================
Homework 1 Assignment Required reading: Sudoku science
Homework 2 Assignment Due date: Thursday Feb. 21, 2008 (At the beginning of class).
Homework 3 Assignment Due date: Thursday Feb. 28, 2008 (in class) or by email to rkx2@cornell.edu no later than Sunday Mar2 .
Homework 4
Assignment (Additional info) Due date: Friday March 7
(Email it to: Robert Xiao (rkx2@cornell.edu) and Yunsong Guo (guoys@cs.cornell.edu) use
subject line: HWK4-CS372;