CSCI 460 Fall 2004 Timetable

Lecture	Date	Reading	Notes
01 Introduction	08/26/04	AIMA Ch 1
02 Intelligent Agents	08/26/04	AIMA Ch 2
03 Problem solving and search 1	09/02/04	AIMA Ch 3
04 Problem solving and search 2	09/02/04	AIMA Ch 3
05 Uninformed search	09/09/04	AIMA Ch 3	HW1 out
06 Informed search 1	09/09/04	AIMA Ch 4
07 Informed search 2	09/16/04	AIMA Ch 4
08 Game playing 1	09/16/04	AIMA Ch 5
09 Game playing 2	09/23/04	AIMA Ch 5	HW1 due
10 Agents that reason logically 1	09/23/04	AIMA Ch 6
11 Agents that reason logically 2	09/30/04	AIMA Ch 6
12 First-order logic 1	09/30/04	AIMA Ch 7
MIDTERM EXAM 5:00-7:00pm, WPH-827	10/07/04	All of the above	HW2 out
MIDTERM EXAM 5:00-7:00pm, WPH-827	10/07/04	All of the above
13 First-order logic 2	10/14/04	AIMA Ch 7
14 Building a knowledge base 1	10/14/04	AIMA Ch 8
15 Building a knowledge base 2	10/21/04	AIMA Ch 8
16 Inference in first-order logic 1	10/21/04	AIMA Ch 9
17 Inference in first-order logic 2	10/28/04	AIMA Ch 9	HW2 due
18 Inference in first-order logic 3	10/28/04	AIMA Ch 9	HW3 out
19 Logical reasoning systems	11/04/04	AIMA Ch 10
20 Planning	11/04/04	AIMA Ch 11
21 Introduction to CLIPS	11/11/04	[handout]
22 Fuzzy Logic 1	11/11/04	[handout]
23 Fuzzy Logic 2	11/18/04	[handout]	HW3 due
24 Neural Networks 1	11/18/04	[handout]	HW4 out
Thanksgiving Recess	11/25/04
Thanksgiving Recess	11/25/04
25 Neural Networks 2	12/02/04	[handout]
26 Genetic Algorithms	12/02/04	[handout]	HW4 due
FINAL EXAM, 4:30-6:30	12/9/04	All of the above
FINAL EXAM, 4:30-6:30	12/9/04	All of the above

CSCI 460 Fall 2004 Syllabus

01-Introduction. [AIMA Ch 1] Course Schedule. Homeworks, exams and grading. Course material, TAs and office hours. Why study AI? What is AI? The Turing test. Rationality. Branches of AI. Research disciplines connected to and at the foundation of AI. Brief history of AI. Challenges for the future. Overview of class syllabus.

02-Intelligent Agents. [AIMA Ch 2] What is an intelligent agent? Examples. Doing the right thing (rational action). Performance measure. Autonomy. Environment and agent design. Structure of agents. Agent types. Reflex agents. Reactive agents. Reflex agents with state. Goal-based agents. Utility-based agents. Mobile agents. Information agents.

03-Problem solving and search 1. [AIMA Ch 3] Example: measuring problem. Types of problems. More example problems. Basic idea behind search algorithms.

04-Problem solving and search 2. [AIMA Ch 3] Complexity. Combinatorial explosion and NP completeness. Polynomial hierarchy.

05-Uninformed search. [AIMA Ch 3] Depth-first. Breadth-first. Uniform-cost. Depth-limited. Iterative deepening. Examples. Properties.

06-Informed search 1. [AIMA Ch 4] Best-first. A* search. Heuristics. Hill climbing. Problem of local extrema. Simulated annealing.

07-Informed search 2. [AIMA Ch 4] Best-first. A* search. Heuristics. Hill climbing. Problem of local extrema. Simulated annealing.

08-Game playing 1. [AIMA Ch 5] The minimax algorithm. Resource limitations. Aplha-beta pruning.

10-Agents that reason logically 1. [AIMA Ch 6] Knowledge-based agents. Logic and representation. Propositional (boolean) logic.

11-Agents that reason logically 2. [AIMA Ch 6] Inference in propositional logic. Syntax. Semantics. Examples.

12-First-order logic 1. [AIMA Ch 7] Syntax. Semantics. Atomic sentences. Complex sentences. Quantifiers. Examples. FOL knowledge base. Situation calculus.

13-First-order logic 2. [AIMA Ch 7] Describing actions. Planning. Action sequences.

14/15-Building a knowledge base. [AIMA Ch 8] Knowledge bases. Vocabulary and rules. Ontologies. Organizing knowledge.

16-Inference in first-order logic 1. [AIMA Ch 9] Proofs. Unification. Generalized modus ponens. Forward and backward chaining.

17-Inference in first-order logic 2. [AIMA Ch 9] Proofs. Unification. Generalized modus ponens. Forward and backward chaining.

18-Inference in first-order logic 3. [AIMA Ch 9] Proofs. Unification. Generalized modus ponens. Forward and backward chaining.

19-Logical reasoning systems. [AIMA Ch 10] Indexing, retrieval and unification. The Prolog language. Theorem provers. Frame systems and semantic networks.

20-Planning. [AIMA Ch 11] Definition and goals. Basic representations for planning. Situation space and plan space. Examples.

21-Introduction to CLIPS. [handout] Syntax, user interface, definign a rule-base, inference. Examples.

22/23-Fuzzy logic. [Handout] Introduction to fuzzy logic. Linguistic hedges. Fuzzy inference. Examples.

24/25-Neural Networks. [handout] Perceptrons, Hopfield networks, self-organizing feature maps. How to size a network? What can neural network achieve?

26-Genetic Algorithms. [handout] Overview of genetic algorithms and their use in optimization problame.