Bottom-Up: Derive Everything
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
The bottom-up procedure starts from the facts and repeatedly fires any rule whose whole body is established, adding its head — stopping when nothing new can be added.
Show
Facts in, conclusions out, no questions asked — the procedure is thorough and undirected by design.
Watch for
Elsewhere the pair is called forward and backward chaining; this course says bottom-up and top-down, once and forever.