\( \newcommand{\vect}[1]{\mathbf{#1}} \newcommand{\mat}[1]{\mathbf{#1}} \newcommand{\R}{\mathbb{R}} \newcommand{\E}{\mathbb{E}} \newcommand{\Prob}{\mathbb{P}} \newcommand{\T}{^{\top}} \newcommand{\norm}[1]{\lVert #1 \rVert} \newcommand{\abs}[1]{\lvert #1 \rvert} \newcommand{\ihat}{\mkern1mu\hat{\boldsymbol{\imath}}\mkern2mu} \newcommand{\jhat}{\mkern1mu\hat{\boldsymbol{\jmath}}\mkern2mu} \newcommand{\pd}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\argmax}{\operatorname*{arg\,max}} \newcommand{\argmin}{\operatorname*{arg\,min}} \newcommand{\cdata}[1]{\class{c-data}{#1}} \newcommand{\cmodel}[1]{\class{c-model}{#1}} \newcommand{\ctruth}[1]{\class{c-truth}{#1}} \newcommand{\cgrad}[1]{\class{c-grad}{#1}} \newcommand{\closs}[1]{\class{c-loss}{#1}} \newcommand{\cparam}[1]{\class{c-param}{#1}} \newcommand{\csecond}[1]{\class{c-second}{#1}} \renewcommand{\,}{\mkern3mu} \)

A09 · Classical AI: Search, Logic and Planning

A free, illustrated L2 to L3 course of 8 modules in the Applied AI track. Modules include: Agents, state spaces and uninformed search; Heuristic search: A* and admissible heuristics; Adversarial search: minimax and alpha-beta pruning.

A09 L2 to L3 · Intermediate to Advanced 8 modules · about 32 lessons Planned · Ring 3

Part of the Applied AI track. Ships in Ring 3 (Breadth) of the roadmap.

Modules

1. Agents, state spaces and uninformed search
2. Heuristic search: A* and admissible heuristics
3. Adversarial search: minimax and alpha-beta pruning
4. Constraint satisfaction problems
5. Propositional logic and satisfiability
6. First-order logic, unification and inference
7. Knowledge representation, ontologies and knowledge graphs
8. Automated planning: STRIPS, PDDL and heuristic planners

Signature illustrations

The pictures a learner should still see in their head a year later:

Search trees growing with the frontier highlighted, A* expanding along cost contours, a minimax tree with pruned branches, a constraint graph tightening under arc consistency, resolution proof trees, a knowledge-graph neighborhood, a plan as a path through state space.

Status

This course is planned, not written yet. It ships with Ring 3 (Breadth).

Every lesson will follow the same twelve-part blueprint with at least three purpose-made figures. Watch the repository to hear when modules ship, or help write and review it.