Professor: Dr. Thomas R. Ioerger
Office: | 322C Bright Bldg. |
Phone: | 458-5518 |
email: | ioerger@cs.tamu.edu |
office hours: | Thurs, 11:00-12:00 |
email: | mad@cs.tamu.edu |
office: | 322D Bright |
office hours: | Tues, 11:00-12:00 |
Meeting: TR, 9:35-10:50am, 108 CHEN
Course Web Page: http://www.cs.tamu.edu/faculty/ioerger/cs625-fall15/index.html
Course Description (from TAMU course catalog): Basic concepts and methods of artificial intelligence; Heuristic search procedures for general graphs; game playing strategies; resolution and rule based deduction systems; knowledge representation; reasoning with uncertainty.
Prerequisites: CSCE 221 (or an equivalent undergraduate course on data structures and algorithms)
Course Objectives
The work for this course will consist of approximately 8 programming
assignments or homeworks.
There will be only be one exam,
a comprehensive final exam at the end of the semester during finals week.
The penalty for late assignments is -5% per day (pro-rated
over 24 hours).
After 10 days late, the deductions cease, and the maximum
loss of points is 50%. As long as you
turn an assignment in by the end of the semester, it could still be
worth as much as half-credit. This is to encourage you to eventually complete
the assignment, even if you can't get it in on time initially.
assignment | topic | concepts | reading | |
---|---|---|---|---|
Tues, Sept 1 | first day of class | What is AI? | perspectives; core concepts | Ch. 1 |
Thurs, Sept 3 | Search Algorithms | BFS, DFS | Ch. 3 (skip 3.5.3) | |
Tues, Sept 8 | ID, UC, Greedy | |||
Thurs, Sept 10 | heuristics, A* | |||
Tues, Sept 15 | Iterartive Improvement search |
hill-climbing beam search | Ch. 4.1 (skip 4.1.4) | |
Thurs, Sept 17 | simulated annealing | |||
Tues, Sept 22 |
Proj 1 due;
ATM.graph; path visualization tool | Game Search Algorithms | minimax, alpha-beta pruning |
Ch. 5 application of search to robot motion planning |
Thur, Sept 24 | real-world game playing | |||
Tues, Sept 29 | (guest lecture by Dr. Dylan Shell) | |||
Thurs, Oct 1 | Constraint Satisfaction | backtracking search | Ch. 6 (skip 6.5) | |
Tues, Oct 6 | Proj 2 due | MRV heuristic | ||
Thurs, Oct 8 | AC-3 | vision as CSP | ||
Tues, Oct 13 | Propositional Logic | syntax, semantics | Ch. 7, Sec 12.1-2 | |
Thurs, Oct 15 | inference algorithms: natural deduction | |||
Tues, Oct 20 | Proj 3 due | resolution | ||
Thurs, Oct 22 | (discussion of IBM's Watson) | |||
Tues, Oct 27 | satisfiability and DPLL | |||
Thurs, Oct 29 | First Order Logic | syntax | Ch. 8 | |
Tues, Nov 3 | Proj 4 due | model theory | ||
Thurs, Nov 5 | inference in FOL | Ch. 9 | ||
Tues, Nov 10 | unification; forward-chaining (Rete, Jess) | |||
Thurs, Nov 12 | back-chaining, Prolog | |||
Tues, Nov 17 | Proj 5 due | temporal reasoning, Event Calculus, Interval Logic | 12.3 | |
Thurs, Nov 19 | uncertainty, default reasoning, probability | Sec 12.5-6, Ch. 13, Sec 14.1, notes | ||
Tues, Nov 24 | Homework 6 due PDF | Intelligent Agents | agent environments and architectures | Ch. 2 |
Thurs, Nov 26 | class cancelled (Thanksgiving) | |||
Tues, Dec 1 | Planning | situation calculus, Frame Problem | Ch. 10 (skip 10.3), Sec 7.7.1 | |
Thurs, Dec 3 | STRIPS, goal-regression | |||
Tues, Dec 8 | last day of class Homework 7 due | POP, SatPlan | GoalRegr alg | |
Fri, Dec 11 | final exam, 12:30-2:30 | |||