CS 580
Introduction to Artificial Intelligence
Course Home Page


Time/Location:  Thursday 4:30-7:10 B128 Teaching Assistant:
Instructor: Jana Kosecka Cristian Levcovici
Office hours: Thursday  2-4 pm Office hours: Wed 7:30-9pm,Fri: 2-4pm
Contact: Office 417 S&T II, kosecka@gmu.edu, 3-1876 E-mail: clevcovi@cs.gmu.edu
Course web page: http://www.cs.gmu.edu/~kosecka/cs580.html Office: ST 365

Required Textbook:
Artificial Intelligence: A Modern Approach, Russell & Norvig, Prentice Hall

Grading: Homeworks 30%, Project 10%, Midterm 25%, Final 35%

Important Dates: Midterm - March 1st, Final -May 3rd

Content:
The basic principles of representation, heuristic search,  and control will be presented in the context of specific AI areas such as problem solving, learning, vision, natural language, and expert systems.  Lisp programming language will be used for some of the assigments.
The core topics covered in the class:

Week 1:  Introduction and overview, problem solving agent, familiarize yourself with LISP programming language.
               Resources: Class notes, slides,  LISP Primer - online reference.   You can dowload your own Linux
               or Window's version of LISP (e.g.  LispWorks link see below) , or use osf1.gmu.edu  command  'lisp'.
               Assignment 1 due January 25th.  Useful information and hints about lisp HOW TO GET STARTED
               and LISP Primer where the excercises are from. lecture1 slides (.pdf) ,  lisp slides (.pdf)
               To load the file and get the evalutaions results printed do (load "test.lisp" :print t).
Week 2:  Lisp continued, Intelligent agents Chapter 2, Assignment 2 due February 1st,  lecture2 (.pdf)
Week 3:  Lisp finished (end of the slides from Week1), Intelligent Agents and Problem Solving and Search ,start  lecture3 (.pdf)
Week 4:  Uninformed Search, Informed Search, A*, Hill Climbing,  lecture4 (.pdf) ,  Assignment 3  due February 14th.
                Here are some additional lisp notes (courtesy of Prof. Sean Luke ) part 1,  part 2,   Assignment 2 solutions .
Week 5:  Simulated annealing, Constraint Satisfaction Problems, Game Playing (MinMax alg),  lecture5 (.pdf)
               Assignment 4  (here is my solution to the previous homework, corrected solution (posted on Friday) ,
               another version  (written more in pure lisp style, with less global variables) of Assignment 3 solution posted on
               Monday.  You can used either one as a starting point.
Week 6:  Game playing continued, Propositional Logic  lecture6 (.pdf)  Assignment 4 solution ,  ContingencyTable ,  Lisp code
                Assignment 4 (problems solutions)  Practice Problems, Old midterm
Week 7:  Spring break, Week 8 : Midtertm
Week 9:  First order Logic (Chapter 7, start of Chapter 9)   Assignment 5 ,  lecture7 (.pdf)  ,  midterm  histogram
                Here are some ideas for the possible projects . Prepare a short one page write up about what you have
                decided by April 4th.
Week 10:  Uncertainity (Chapter 14) , Probabilistic Resoning Systems (15.1 - 15.2) , lecture8 (part 1 .pdf)   (part2 .pdf)
Week 11 & 12: Learning (Chapter 18-18.4, Chapter 19) reading
Week 13: Chapter 24 and 25 reading, exam review,  Assignment 5 solution

Here are some sample problems from the book you can practice on for the exam. 6.3,6.5,6.12 (think how would you proceed),
7.3,7.5, 9.4, 9.5, 9.8, 14.3,14.4, 14.6,14.7,14.11,14.13, provide formulas to calculate probabilities for the sentences
on page 447 (following the strategy I suggested in my mail  with  with the example on the first sentence ),.
These are essentially versions of things we had for homeworks.  19.1, 19.2 from the last section I will provide solutions.
Sample solutions.
 

Resources: