Classical Planning 101: From STRIPS Blocks to Graphplan Magic
How STRIPS turns a to-do list into an algorithm: factored states, progression and regression, delete relaxation, planning graphs, and modern planners.
AI Foundations09
Subject · 7 posts
artificial intelligence
First-Order Logic Made Friendly: From ‘Socrates Is Mortal’ to Automatic Proofs
Quantifiers, unification, forward and backward chaining, and resolution, from Socrates to a solver that finds the proof for you.
AI Foundations08
Logical Agents 101: Slaying the Wumpus with Pure Reason
Knowledge bases, entailment, resolution and SAT solving, learned by staying alive in the Wumpus World, with runnable PySAT code.
AI Foundations07
Constraint Satisfaction 101: From Sudoku Logic to Map-Coloring Zen
Arc consistency, backtracking with MRV and min-conflicts, explained through Sudoku and map colouring, plus what you would actually use today.
AI Foundations06
Adversarial Search 101: From Minimax to AlphaZero, How AI Plans When an Opponent Fights Back
Minimax, alpha-beta pruning, expectiminimax and MCTS: how a program plans when something is planning against it, and what neural evaluation changed.
AI Foundations05
Beyond Classical Search: Hill-Climbers, Hidden Worlds & Agents That Learn on the Fly
Hill climbing, simulated annealing, belief states and online search: what to do when A* is the wrong tool, the world hides half of itself, or there is no map yet.
AI Foundations04
Intelligent Agents & Search: A Baby-Steps Tour from ‘What is Rational?’ to ‘How do we find the goal?’
What an agent actually is, how to turn a problem into a search problem, and why changing one line of priority code turns breadth-first search into A*.
AI Foundations03