Lecture 1
Topics: Course Requirements, Course Description, and Historical
Background.
Read: Chapter 1
Homework:
Lecture 2
Topics: Continue Historical Background; Introduction to Intelligent
Agents;
Read: Chapter 1 and Chapter 2
Homework: Define
five agents in terms of their PAGE characteristics.
Lecture 3
Topics: Types of agents; State Space Problem, problem solving
Read: Chapter 2, Chapter 3, pages 55-73
Homework: Begin the NIM agent program.
Lecture 4
Topics:; Solving Problems by Searching
Read: Chapter 3, pages 73-87
Homework: implement a knowledge base for the tic tac toe game
Lecture 5
Topics: Uninformed Searches: Depth Limited, Iterative Deepening;
Constraint Satisfaction
Read:, Chapter 3, pages 73-87
Homework: Implement a depth-first search and breath-first search on a
knowledge base for the tic tac toe game
Lecture 6
Topics: Informed Search Methods
Read: Chapter 4, pp. 92-106
Homework: Complete previous assignment
Lecture 7
Topics: Game Playing; Minimax Search; Alpha-Beta Search
Read: Chapters 5
Homework: Complete the traveling salesman example using the branch and
bound method
Lecture 8
Topics: Describe Dynamic Programming; Problem Reduction; and Tower of
Hanoi Representations
Read: Chapter 5
Lecture 9
Read: Chapters 1, 2, 3, 4 and 5
MidTerm Exam: Chapters 1, 2, 3, 4 and 5
Lecture 10
Topics: Minimax Search; Alpha-Beta Search; Review Propositional Calculus
Read: Chapter 6
Term
Projects: Provide Proposals for Term Projects
Lecture 11
Topics: Review Predicate Logic, Disjunctive and Conjunctive Normal
Forms, Prenex Normal Form
Read: Russel and Norvig , Chapter 7, 185-201; Korfhage, Chapters 3, 6;
Chang and Lee, Chapters 1, 2, and 3
Homework: Mid-Term Date: March 28
Lecture 12
Topics: Language of Davis and Putnam, Clause Form, Herbrand Universe
Read: Russell and Norvig, Chapter 9, 265-272
Homework: Problems distributed in class section 2.1-1, section 2.2-3,
section 2.4-6,7, section 2.5-10, section 3.1-1,3,9
Lecture 13
Topics: Herbrand Base, Unsatisfiability and Herbrand Universe, Binary
Semantic Tree, Failure Node, Herbrand Theorem
Read:
Homework:
Lecture 14
Topics: Konig's Lemma
Read:
Homework: