Lecture 2: Reasoning: Goal Trees and Problem Solving

Flash and JavaScript are required for this feature.

Download the video from iTunes U or the Internet Archive.

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

Slagle, James. "A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus." Journal of the ACM 10 (1963): 507-520.

Free Downloads



  • English-US (SRT)