|
Week
|
Tuesday
|
Thursday
|
Topics
|
Text
|
Assignments
|
|
1
|
Sept 1
|
Sept 3
|
Intro to AI
- What Is AI?
- The Turing Test
- Rational Agents
- Human Intelligence vs AI
Intelligent Agents
- Goals in AI
- Agents and Environments
- Rationality
- PEAS
- Environment Types
- Agent Types (Optional)
|
AIMA 1,2
|
|
|
2
|
Sept 8
|
Sept 10
|
Logic and Prolog (I) (Overheads 1-34)
- The GNU Prolog
Website
- GNU Prolog vs Turbo Prolog
- Propositional logic
- Prolog program structure
- Clauses: facts and rules
- Queries
- Backtracking
- Variables
- Unification with variables
- Backtracking with variables
- A family DB: examples
|
Prolog Notes &
Turbo Prolog
|
|
|
3
|
Sept 15
|
Sept 17
|
Logic and Prolog (II) (Overheads 35-51)
- I/O in Prolog
- not
- The use of ;
- The use of anonymous variables
- Bound and unbound variables
- Debugging with Turbo Prolog
- Arithmetic predicates
- Recursion
- List processing
|
Assignment 1
(due 9/28 at 5pm)
|
|
4
|
Sept 22
|
Sept 24
(IDEAL '09)
|
Logic and Prolog (III) (Overheads 52-87)
- fail
- Negation by failure (optional)
- cut
- Logical OR (;)
- Database facts and file handling
- findall
- bagof and setof (optional)
- Prolog programming style
- Features of Logic Programming
|
|
|
5
|
Sept 29
|
Oct 1
|
Problem Solving and
Uninformed Search
- Problem-solving agents
- Problem types
- Tree search algorithms
- Uninformed search: BFS, uniform-cost search,
DFS, iterative deepening
Informed Search
- Best-first search
- Heuristics
- Local search
- Hill-climbing
- Simulated annealing
|
AIMA 3,4
|
Assignment 2
(due 10/12)
|
|
6
|
Oct 6
|
Oct 8
In-Class Exam (1)
|
Game Playing
- Games vs search
- Minimax
- a-b pruning
- Games of imperfect information
|
AIMA 6
|
|
|
7
|
Oct 13
|
Oct 15
|
Knowledge-Based Systems
|
KBS &
CLIPS
&
Frames vs O-O
|
|
|
8
|
Oct 20
|
Oct 22
|
|
|
9
|
Oct 27
|
Oct 29
|
Assignment 3
(due 11/9)
|
|
10
|
Nov 3
|
Nov 5
|
The Semantic Web and Description Logics
- Description logics
- The Semantic Web
- Ontologies
- OWL
AI Programming: LISP vs Prolog
- Functional programming
- Programming in Emacs Lisp
|
Semantic Web
LISP
AIMA 11,12
|
|
|
11
|
Nov 10
|
Nov 12
|
Natural Language Processing
- Language communication
- Grammar
- Syntactic analysis
- Problems in natural languages
- Syntactic vs semantic approaches
- Stages of natural language understanding
- Prolog parsing
Planning
- Search vs planning
- The STRIPS Language
- Partial-order planning (POP)
Planning and Acting
(optional)
- Conditional planning
- Monitoring and replanning
|
AIMA 22
NLP-2
Planning
|
|
|
12
|
Nov 17
In-Class Exam (2)
|
Nov 19
|
Knowledge Acquisition and Machine Learning
- The knowledge bottleneck problem
- Three types of knowledge acquisition
- The knowledge engineering process
- Knowledge acquisition by interview
- Interactive knowledge transfer
- Rule Induction
- Knowledge refinement
- Learning strategies
|
KA&ML
|
Assignment 4
(due 12/7)
|
|
13
|
Nov 24
|
(Thanksgiving Holiday)
|
Top 10 Algorithms in Data Mining
|
Slides;
Video
|
|
|
14
|
Dec 1
|
Dec 3
|
Building Intelligent Learning Database Systems
- Induction paradigms
- Processing real-valued attributes
- Noise handling
- Deduction of induction results
|
ILDB
|
|
|
15
|
Dec 8
|
(Classes Ended)
|
Preparation for the Final Exam
|
|
|
|
Week
|
Tuesday
|
Thursday
|
Topics
|
Text
|
Assignments
|