Implementing directed lines of reasoning in an intelligent tutoring system using the atlas planning environment

One important strategy in Socratic tutoring is the directed line of reasoning, in which the tutor asks a series of directive questions, to help the student follow a particular approach to the problem. The questions may contain useful information to assist the student in making the argument. If the student gets stuck, the tutor often supplies a hint. The result is an effective dialog with the student that helps students reason about the solution to a problem, while still feeling they are solving it themselves.