This book provides a framework for the fas developing field of artificial intelligence and education. It reconciles the perspectives of intelligent tutoring systems and learning environments. This framework has been constructed partly because the field needs a clearer basis upon which to compare approaches, and partly because of a move away from the `traditional' architecture of tutoring systems.General Issues Guided Discovery Tutoring - Mark Elsom-Cook Interface Issues for Guided Discovery Learning Environments - Claire O'Malley Generative Student Models - Diana Laurillard The Limits of Diagnosis and Remediation Architectures A Tutor for Procedural Skills - Mark Elsom-Cook and Fiona Spencley Architecture of a Knowledge-Based Music Tutor - Simon Holland and Mark Elsom-Cook Extended Computer-Assisted Learning - Mark Elsom-Cook Minimalism in Guided Discovery Teaching Dialogues Analysis of a Tutorial Dialogue - Mark Elsom-Cook Freedom of Speech - Alison Petrie-Brown The Concepts of Guidance and Dialogue in Intelligent Tutoring Arguing with the Tutor - Michael Baker Student Modelling Why Bugs Are Not Enough - Sara Hennessy Formal Semantic Systems and Student Modelling - Pat Fung Generating Critical Problems in Student Modelling - Rick Evertsz and Mark Elsom-Cook