2. Reasoning: Goal Trees and Problem Solving

MIT Artificial Intelligence, Fall 2010 View the complete course: Instructor: Patrick Winston 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. License: Creative Commons BY-NC-SA More information at More courses at