This book explores an area of applied artificial intelligence/cognitive science and presents a new approach to the design of intelligent tutoring systems. It focuses on the model of tutoring as an exercise in negotiation between tutor and student, and presents an overall view of the implications of negotiated tutoring. It examines the implications for knowledge representation and design of the human-computer interface.