ITCS 6150/8150, Fall 2012

Instructor: Prof. Jing Xiao
General Information


Lecture Notes
8/20 -- intro, search Course Info. What is AI? Agents, Task Environments, and Agent Types. Problem Solving Agent, Problem Elements, Solving Problems by Search (Chapters: 1, 2, 3)
8/27 -- search, informed Solving Problems by Searching, Search Strategies, Comparison, Handling Repeated States, Informed Search Methods. Program 1 (Chapters: 3,4)
9/17 -- informed, local, online Informed Search Methods Continued, Local Search Methods, Constraint Satisfaction Problem (CSP), On-line Search Methods. Program 2. ( (Chapters: 4, 6). HW#1 is due!
9/24 -- , game, knowledge Game Playing (Chapter 5). Review for Midterm 1. Attn: Review#1 is posted (for Midterm 1). Knowledge and Reasoning, Propositional Logic (Chapter 7)
10/1 -- , prop, fol Review for Midterm 1. Propositional Logic, First-order Logic. Program 1 is due! Midterm 1 (1 hour 15 minutes)
10/8 --
Recess
10/15 -- fol, fol inference First-order Logic (cont'd), (Chapters 8,9) HW2-1 is due! Program 2 is due! Project list is posted. Review for Midterm 2.
10/22 -- planning HW2-2 is due! Review for Midterm 2. Planning, Conditional Planning, and Replanning (Chapters 10, 11)
10/29 -- uncertainty reasoning
Midterm 2 (1 hour 15 minutes).
Uncertain Knowledge and Reasoning,Basics of Probability.
11/5 -- uncertainty reasoning Project topic/proposal is due!! Using Bayes' Rule for Reasoning (Chapter 13)
11/12 -- Bayesian net, reasoning Constructing Bayesian Networks, Inference in Bayesian Networks (Chapter 14). HW3 is due!
11/19 -- simple decisions, learning Wrap up Inference in Bayesian Networks (Chapters 14), Making Simple Decisions (Chapter 16), Statistical Learning (Chapter 20). HW4 is due!
11/26 -- Reasoning and time, nn, Probabilistic Reasoning over Time, Neural Networks (Chapters 15 & 18). Review for final. Arrange Project Demos. Please bring a #2 pencil for course evaluation. HW5 is due!
12/3 Project Demo! Project is due!
12/10-- Final exam (11am -- 1:30pm)
Handouts
Lisp Handouts
Algorithms
Reference
Reviews
#1, #2, #3, #4
BFS Handout, Astar Handout
More Exercises, Search Data Structure, Properties of Search Algorithms Missionaries and Cannibals Problem First-Order Logic Exampls
Review #1, Review #2, Review #3
Assignments
Survey Form

Homeworks
Projects
Survey Form
Homework 1, due 9/17/12, HW1 Solution, Homework 2-1, due 10/15/12, HW 2-1 Solution, Homework 2-2, due 10/22/12, HW 2-2 Solution, Homework 3, due 11/12/12, Homework 4, due 11/19/12, Homework 5, due 11/26/12,
Program #1, due date: 10/1/12 , Program #2, due date: 10/15/12 , Project proposal due date: 11/5/12, project due date: 12/3/12 HW3 Solution, HW4 Solution, HW5 Solution