Alan Mackworth

Lecture 1 Intro 1 What is Artificial Intelligence

Alan Mackworth

Lecture 2 Intro 2 Representational Dimensions

Alan Mackworth

Lecture 3 Intro 3 Applications of AI

Alan Mackworth

Lecture 4 Search 1 Representation & Search Framework

Alan Mackworth

Lecture 5 Search 2 BFS and DFS

Alan Mackworth

Lecture 6 - Search 3 Search with Costs & Heuristic Search

Alan Mackworth

Lecture 7 - Search 4 Heuristic Search A

Alan Mackworth

Lecture 8 Search 5 A Optimality, Cycle Checking

Alan Mackworth

Lecture 9 Search 6 Iterative Deepening (IDS) and IDA

Alan Mackworth

Lecture 10 Search 7 Multiple Path Pruning, IDS and IDA

Alan Mackworth

Lecture 12 CSP 2 Solving CSP Using Search

Alan Mackworth

Lecture 13 CSP 3 Arc Consistency

Alan Mackworth

Lecture 14 CSP 4 GAC Algorithm and Domain Splitting for CSPs

Alan Mackworth

Lecture 15 CSP 5 Local Search

Alan Mackworth

Lecture 16 CSP 6 Stochastic Local Search

Alan Mackworth

Lecture 17 CSP 7 Stochastic Local Search Algorithms

Alan Mackworth

Lecture 18 Planning 1 Representation

Alan Mackworth

Lecture 19 Planning 2 Forward Planning and CSP Planning

Alan Mackworth

Lecture 20 Planning 3 CSP Planning Wrap Up

Alan Mackworth

Lecture 21 Logic 1 Intro & Propositional Definite Clause Logic

Alan Mackworth

Lecture 22 - Logic 2 Proof Procedures, Soundness and Completeness

Alan Mackworth

Lecture 23 Logic 3 Bottom-up and Top-down Proof Procedures

Alan Mackworth

Lecture 25 Uncertainty 1 Probability Theory Intro

Alan Mackworth

Lecture 31 Decision Theory 1 Uncertainty Wrap-Up, Single Decisions

Alan Mackworth

Lecture 26 Uncertainty 2 Conditional Probability, Bayes Rule, Chain Rule

Alan Mackworth

Lecture 27 - Uncertainty 3 Independence

Alan Mackworth

Lecture 28 Uncertainty 4 Bayesian Networks Intro

Alan Mackworth

Lecture 29 Uncertainty 5 Independence and Inference

Alan Mackworth

Lecture 30 Uncertainty 6 Variable Elimination for Bayes Nets

Alan Mackworth

Lecture 32 Decision Theory 2 Single and Sequential Decisions

Alan Mackworth