03:37

Iterative Deepening: time management and efficiency in AI search

06:46

The world is not square (an edit of "L'aventure Prolog", marking 50 years of Prolog)

03:02

Bellman backups find risk-free policy for 4x3 grid world robot

02:09

Modelling actions with MDPs: what is a "policy"?

01:21

States, rewards and discount factors in Markov systems

02:18

"Some things are ambiguous" (a semantic network story)

00:52

"A cat can look at a king" (a semantic network story)

03:09

The minimax algorithm in 3 minutes

02:08

Bill Gates, Pancakes & Heuristics

03:34

Ten Green Bottles, in Prolog

02:09

The Edwin Smith Surgical Papyrus: An AI connection

02:46

File processing in C: counting lines and characters

02:26

Comparing algorithms: optimality, completeness & more

04:16

Depth First Search in AI

01:01

The Sussman Anomaly: can you see why this was hard for computers?

05:01

Logic and Prolog

02:36

Decision trees -- machine learning of a simple classifier

04:19

The Cut in Prolog (control backtracking using side-effects)

04:23

List Processing in Prolog (a search and matching example)

04:51

Search in Prolog (backtracking, depth-first search, and Tremaux's mazes)

02:42

What is Number? (a Peano arithmetic primer)

04:06

A First Prolog Program (top-down search, variables, "closed world" assumption)

02:49

Finite State Machines (with four examples: vending machines, turnstiles, acceptors, and... frogs)

02:31

ELIZA --- A simple agent with surprising lessons (on AI goals, and human goals)

01:05

Programming for Beginners (Series Intro). Try out computer languages: 2 minutes each, zero setup

01:28

Japan's AI and Technology Education Push - Society after 2030 and the "Moonshot" goals

01:53

What is an Agent? (AI framework, with a brief Mars Rover tribute)

02:09

A paper tower in 2 minutes

02:37

AC-1 and AC-3 arc consistency algorithms: AI & constraint satisfaction ("Who Lives Where?" Pt III)

01:19

Lookahead check in constraint networks ("Who Lives Where?" Part II)

01:42

The Celestial Emporium of Benevolent Knowledge - Borges [Spanish, with English/Japanese subtitles]

02:36

A constraint satisfaction puzzle: 4 houses, 4 families, one CSP ("Who Lives Where?" Part I)

00:52

The Teddy Bear Approach

02:42

Visualising Semantic Networks in AI: a thought experiment

05:51

The 4 Queens Problem, AI & CSPs

01:44

The Game of Nim

02:07

Horn Clauses

02:46

A Good Knowledge Base

03:20

Thinking Backwards

01:45

One Time Test

02:51

The Syntax of Prolog