Semester 1 · Core

Classical AI: Search, Logic & Reasoning

The ideas AI was built on and that modern agents still rely on: formulating problems as search, uninformed, informed and adversarial search, propositional and first-order logic, Bayesian networks with exact and approximate inference, and the basics of planning and sequential decisions.

2 credits · 60 h · 8 chapters · 5 labs

Semester
1
Kind
Core
Credits
2
Hours
60
Chapters
8
Graded labs
5
Prerequisites
Recommended: Helpful background. You can start without it if you are willing to fill the gaps.

What you’ll be able to do

  1. LO1Formulate a problem as a search over states, actions and goals.
  2. LO2Implement and compare uninformed, informed and adversarial search algorithms and reason about their optimality and cost.
  3. LO3Represent knowledge in propositional and first-order logic and decide entailment by model checking and inference.
  4. LO4Build Bayesian networks and perform exact inference by variable elimination and approximate inference by sampling.
  5. LO5Solve simple planning and sequential decision problems, including value iteration on Markov decision processes.
Search as a treeA search tree of seven nodes. The path from the root to one leaf, the goal, is drawn heavier, and the goal is filled.goalstart
Fig. 1Search as a tree. Illustration.

Chapters

8 chapters · each section ends with a short check

  1. 01Agents and problems as search
  2. 02Uninformed search
  3. 03Informed search
  4. 04Adversarial search
  5. 05Propositional logic
  6. 06First-order (predicate) logic
  7. 07Reasoning under uncertainty with Bayesian networks
  8. 08Planning and sequential decisions

Graded labs

  1. L1

    Route finding on a rail map

    After chapter 3 · about 5 hours · Illustrative rail network · Authored for this course, CC0 · Runs on a CPU

  2. L2

    A game-playing agent

    After chapter 4 · about 5 hours · Tic-tac-toe rules and test positions · Authored for this course, CC0 · Runs on a CPU

  3. L3

    A SAT solver from scratch

    After chapter 5 · about 5 hours · Random and planted 3-CNF formulas · Authored for this course, CC0 · Runs on a CPU

  4. L4

    Inference in a Bayesian network

    After chapter 7 · about 5 hours · Monsoon-morning station network · Authored for this course, CC0 · Runs on a CPU

  5. L5

    Planning in a grid world

    After chapter 8 · about 5 hours · Campus delivery grid world · Authored for this course, CC0 · Runs on a CPU

Before you start

Recommended

Helpful background. You can start without it if you are willing to fill the gaps.

Where it leads

Semester 4 · Capstone

Capstone Project

8 credits · 240 h · 5 milestones · solo

How it’s taught

You read short sections written for the page. Each ends with a check, and in-browser exercises let you practise. Graded labs run on your own cloud lab machine, CPU-friendly.

No videos. No live classes. No AI tutor.

How it works

Classical AI: Search, Logic & Reasoning, in Semester 1

Enrolment isn't open yet. Pricing will be announced before it opens.

We use your email only to tell you about Epoch School's launch. Unsubscribe any time. Privacy