News

05.01.09 | The final exam consists of two small(ish) projects, which are posted here, in the projects section of the course web page. UNLIKE THE OTHER PROJECTS FOR THIS COURSE, THE FINAL IS NOT TO BE PAIR-PROGRAMMED! EACH STUDENT MUST WORK INDEPENDENTLY. THERE IS TO BE NO SHARING OF IDEAS (CODE, PSEUDOCODE, OR SOLUTIONS) IN WRITTEN OR SPOKEN FORM.
04.20.09 | We have a serious of lectures on AI topics by guest lecturers coming up. Don't miss 'em:
- Thursday, 4.23.09: Chad Jenkins, on Robotics
- Tuesday, 4.28.09: Mark Johnson, on Machine Learning
- Thursday, 4.30.09: Eugene Charniak, on Natural Language Processing
- Thursday, 4.30.09: Michael Black, on Computer Vision
01.26.09 | For those of you looking to learn LaTeX, there will be a tutorial covering creating documents using LaTeX at 7PM on Tuesday, January 27 in the Sunlab. If you have never used LaTeX before, or need a refresher, we would highly recommend coming to this tutorial.
01.19.09 | Welcome to CS141 (aka CSCI1410): Introduction to Artificial Intelligence! The optional course textbook is the second edition of Artificial Intelligence: A Modern Approach, by Russell and Norvig. The first lecture will be held at 10:30 AM on Thursday, January 22 in CIT 368. See you there!

Documents

Course Missive: pdf | html
Pair Programming: pdf | html
Collaboration Policy: pdf | html
Latex Tutorial: html

Lectures

Lecture 01 | 01.22.09 | Introduction: pdf | html
Lecture 02 | 01.27.09 | Blind Search: pdf | html
Lecture 03 | 01.29.09 | Heuristic Search on Trees: pdf | html
Lecture 04 | 02.03.09 | Heuristic Search on Graphs: pdf | html
Lecture 05 | 02.05.09 | Local Search: pdf | html
Lecture 06 | 02.10.09 | Constraint Satisfaction: pdf | html
Lecture 07 | 02.12.09 | Satisfiability: pdf | html
Lecture 08 | 02.24.09 | Mathematical Programmingpdf | html
Lecture 09 | 02.26.09 | Adversarial Search: pdf | html
Lecture 10 | 03.03.09 | Propositional Logic: pdf | html
Lecture 11 | 03.05.09 | Theorem Proving 1: pdf | html
Lecture 12 | 03.10.09 | Predicate Calculus: pdf | html
Lecture 13 | 03.12.09 | First-Order Logic: pdf | html
Lecture 14 | 03.05.09 | Theorem Proving 2: pdf | html
Lecture 15 | 03.17.09 | Planning
Lecture 16 | 03.19.09 | Logic Programming: pdf | html
Lecture 17 | 03.31.09 | Probability Theory: pdf | html
Lecture 18 | 04.02.09 | Utility Theory
Lecture 19 | 04.14.09 | Markov Decision Processes I: pdf | html
Lecture 20 | 04.16.09 | Markov Decision Processes II: pdf | html
Lectures 21-22 | 04.2?.09 | Reinforcement Learning: pdf | html
Lectures 23-24 | 04.2?.09 | Hidden Markov Models: pdf | html

Homeworks

Homework 1 | OUT: 01.26.09 | IN: 02.09.09 | pdf | html
Homework 2 | OUT: 02.09.09 | IN: 02.23.09 | pdf | html
Homework 3 | OUT: 02.23.09 | IN: 03.02.09 | pdf | html
Homework 4 | OUT: 03.02.09 | IN: 03.09.09 | pdf | html
Homework 5 | OUT: 03.09.09 | IN: 03.16.09 | pdf | html
Homework 6 | OUT: 03.30.09 | IN: 04.06.09 | pdf | html
Homework 7 | OUT: 04.06.09 | IN: 04.20.09 | pdf | html
Homework 8 | OUT: 04.20.09 | IN: 04.27.09 | pdf | html

Projects

Project 1 - Slide | OUT: 01.29.09 | IN: 02.12.09 | pdf | html
Project 2 - Word | OUT: 02.19.09 | IN: 03.05.09 | pdf | html
Project 3 - Chips | OUT: 03.12.09 | IN: 04.02.09 | pdf | html
Project 4 - Blackjack | OUT: 04.09.09 | IN: 04.23.09 | pdf | html
Project 5 - SongSmith | OUT: 05.01.09 | IN: 05.11.09 | pdf | html
Project 6 - Lemonade | OUT: 05.01.09 | IN: 05.11.09 | pdf | html

Staff

Professor

Amy Greenwald

Office Hours: Tuesday/Thursday 12-1

amy [at] cs.brown.edu

Head TA

Alex Franks

Hours: Wednesday 3-5

afranks [at] cs.brown.edu

Grad TA

Eric Sodomka

Hours: Thursday 6-8

sodomka [at] cs.brown.edu

Adam Conrad

Hours: Sunday 8-10

adam [at] cs.brown.edu

UTAs

Andy Miller

Hours: Friday 3-5

amiller [at] cs.brown.edu

Alex Tuteur

Hours: Thursday 8-10

atuteur [at] cs.brown.edu

Sam Potasznik

Hours: Tuesday 5-7

spotaszn [at] cs.brown.edu