📖 AIMA 4th Edition Interactive Companion

AI: A Modern Approach Visualized

Explore every algorithm and concept from Russell & Norvig's classic textbook through interactive, step-by-step visualizations.

Explore Chapters View on GitHub ↗
📚 29 Chapters
⚡ TypeScript
🌐 Open Source
29 Chapters + 2 Appendices
Coverage
174
Visualizations
7
Parts
Open
Source

Explore by Part

01

Introduction

The four approaches to AI, foundations from 8 disciplines, history of AI, the standard model of rational agents, state-of-the-art capabilities, and risks and benefits.

ReactTypeScriptD3.jsKaTeX
6 visualizationsExplore →
02

Intelligent Agents

PEAS framework, environment properties, five agent architectures, rationality, and interactive simulations of simple-reflex and model-based vacuum agents.

ReactTypeScriptKaTeX
6 visualizationsExplore →
03

Solving Problems by Searching

Comprehensive interactive suite covering all 6 sections of Chapter 3: problem formulation, example problems (8-puzzle), search tree mechanics, uninformed search (BFS/DFS/UCS/IDDFS), informed heuristic search (Greedy/A*), and heuristic function analysis.

ReactTypeScriptKaTeX
6 visualizationsExplore →
04

Search in Complex Environments

Hill climbing, simulated annealing, genetic algorithms, beam search, gradient descent, AND-OR search, belief states, and online search.

ReactTypeScriptD3.jsKaTeX
6 visualizationsExplore →
05

Constraint Satisfaction Problems

AC-3 arc consistency, backtracking search with MRV/LCV/forward-checking heuristics, min-conflicts local search, and tree-structured CSP decomposition.

ReactTypeScriptKaTeX
5 visualizationsExplore →
06

Adversarial Search and Games

Minimax, alpha-beta pruning, MCTS, stochastic games, and partially observable games with interactive visualizations.

ReactTypeScriptKaTeX
7 visualizationsExplore →
07

Logical Agents

Wumpus World, propositional logic, DPLL, WalkSAT, and resolution-based inference with step-by-step interactive visualizations.

ReactTypeScriptKaTeX
7 visualizationsExplore →
08

First-Order Logic

Syntax trees, Robinson's unification algorithm, quantifier scope analysis, kinship domain knowledge bases, and knowledge engineering process — all 4 sections of Chapter 8.

ReactTypeScriptKaTeX
6 visualizationsExplore →
09

Inference in First-Order Logic

Unification, forward/backward chaining, and resolution refutation with step-by-step traces.

ReactTypeScriptKaTeX
5 visualizationsExplore →
10

Knowledge Representation

Ontology hierarchies, event calculus, description logics, and default reasoning.

ReactTypeScriptKaTeX
5 visualizationsExplore →
11

Automated Planning

Interactive visualizations of PDDL state transitions, forward/backward search, HTN decomposition, sensorless belief-state planning, and critical-path scheduling.

ReactTypeScriptKaTeX
7 visualizationsExplore →
12

Quantifying Uncertainty

Probability axioms, joint distributions, Bayes' rule, and naive Bayes with interactive demos.

ReactTypeScriptKaTeX
6 visualizationsExplore →
13

Probabilistic Reasoning

Bayesian network builder, variable elimination, MCMC, and causal inference visualizations.

ReactTypeScriptKaTeX
5 visualizationsExplore →
14

Probabilistic Reasoning over Time

HMMs, Kalman filters, particle filters, and dynamic Bayesian networks over time.

ReactTypeScriptKaTeX
4 visualizationsExplore →
15

Making Simple Decisions

Utility functions, decision networks, value of information, and human preference anomalies.

ReactTypeScriptKaTeX
7 visualizationsExplore →
16

Making Complex Decisions

MDP grid worlds, value iteration, policy iteration, bandit problems, and partially observable MDPs.

ReactTypeScriptKaTeX
5 visualizationsExplore →
17

Multiagent Decision Making

Normal-form games, Nash equilibria, cooperative game theory, mechanism design, voting, and bargaining visualizations.

ReactTypeScriptKaTeX
6 visualizationsExplore →
18

Probabilistic Programming

Relational probability models, open-universe models, data association, and probabilistic programs as probability models — with MCMC inference.

ReactTypeScriptKaTeX
4 visualizationsExplore →
19

Learning from Examples

Decision trees, bias-variance tradeoff, linear regression, k-nearest neighbors, and ensemble methods with interactive training visualizations.

ReactTypeScriptKaTeX
9 visualizationsExplore →
20

Knowledge in Learning

Interactive visualizations of explanation-based learning, relevance-based learning, version spaces, and FOIL — covering all of AIMA Chapter 20.

ReactTypeScriptKaTeXVitest
5 visualizationsExplore →
21

Learning Probabilistic Models

Interactive visualizations for Bayesian learning, MLE, Beta conjugate prior, and the EM algorithm for Mixture of Gaussians — covering §21.1–21.3 with step-by-step playback.

ReactTypeScriptKaTeXSVG
3 visualizationsExplore →
22

Deep Learning

Neural network playground, backpropagation, CNNs, LSTMs, and more — step-by-step visualizations of Chapter 22.

ReactTypeScriptKaTeX
8 visualizationsExplore →
23

Reinforcement Learning

TD learning, Q-learning, SARSA, function approximation, policy gradient, and inverse RL on interactive grid worlds.

ReactTypeScriptKaTeX
6 visualizationsExplore →
24

Natural Language Processing

Interactive visualizations of N-gram models, CYK parsing, Viterbi POS tagging, Naive Bayes classification, augmented grammar agreement, ambiguity, and NLP tasks.

ReactTypeScriptD3.jsKaTeX
7 visualizationsExplore →
25

Deep Learning for NLP

Word embeddings, attention mechanisms, Transformer architecture, and GPT generation.

ReactTypeScriptD3.jsKaTeX
3 visualizationsExplore →
26

Robotics

Interactive visualizations for robotics: configuration space, RRT/PRM motion planning, Monte Carlo localization, EKF, PID/MPC control, uncertainty-aware planning, RL domain randomization, human intent inference, reactive FSM controllers, and application domains.

ReactTypeScriptKaTeXSVG
9 visualizationsExplore →
27

Computer Vision

Pinhole camera projection, edge detection, optical flow, CNNs, object detection, and 3D vision — a complete interactive tour of §27.1–§27.7.

ReactTypeScriptKaTeX
7 visualizationsExplore →
28

Philosophy, Ethics, and Safety of AI

The philosophical limits of AI, the Chinese Room, algorithmic fairness metrics, k-anonymity, differential privacy, fault tree analysis, and the value alignment problem.

ReactTypeScriptKaTeX
6 visualizationsExplore →
29

The Future of AI

AI capabilities roadmap, architecture spectrum, anytime algorithms, and bounded optimality visualizations.

ReactTypeScriptKaTeX
2 visualizationsExplore →
30

Mathematical Background

Interactive reference for complexity analysis, linear algebra, and probability — the mathematical toolkit used throughout the book.

ReactTypeScriptKaTeX
3 visualizationsExplore →
31

Notes on Languages and Algorithms

Interactive BNF grammar explorer and pseudocode reference — the notation conventions used in every algorithm in the book.

ReactTypeScriptKaTeX
3 visualizationsExplore →

How It Works

Learn AI algorithms the way they were meant to be experienced — interactively.

Pick a Chapter

Browse all 29 chapters of AIMA 4th Edition, organized by part. Each chapter has its own standalone interactive app.

Explore Interactively

Run algorithms step-by-step, tweak parameters, and see how changes affect the outcome in real time with full playback controls.

Understand Deeply

Every visualization includes KaTeX-rendered math, a state inspection panel, and concise explanations tied directly to the textbook.

Built With

Each chapter is an independent microfrontend — deployed separately to its own URL path, with no shared runtime between chapters. The landing page (Astro) aggregates metadata without importing chapter code.

TypeScript
Strict-mode throughout
React
UI components
D3.js
Data visualizations
KaTeX
Math rendering
Vite
Chapter build tool
Astro
Landing page
Vitest
Unit testing
GitHub Pages
Deployment