Artificial Intelligence / AI 0229 · Atom · ~20 seconds
Top-Down: Start from the Question
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
The top-down procedure works backward from a query: a goal is established by finding a rule whose head matches and taking its body as new subgoals, down to established facts.
Show
Asked one question, the procedure explores exactly that question's ancestry and touches nothing else.
Watch for
A goal matching no fact and no rule head is a dead end — backtracking applies here too.