Lecture Videos

Lecture 2: Reasoning: Goal Trees and Problem Solving

Description: This lecture covers a symbolic integration program from the early days of AI. We use safe and heuristic transformations to simplify the problem, and then consider broader questions of how much knowledge is involved, and how the knowledge is represented.

Instructor: Patrick H. Winston

Related Resources

Course Info

Learning Resource Types

grading Exams
theaters Lecture Videos
theaters Recitation Videos
assignment Programming Assignments
co_present Instructor Insights