This book is an investigation into the problems of generating natural language utterances to satisfy specific goals the speaker has in mind. It is thus an ambitious and significant contribution to research on language generation in artificial intelligence, which has previously concentrated in the main on the problem of translation from an internal semantic representation into the target language. Dr. Appelt's approach, based on a possible-worlds semantics of an intensional logic of knowledge and action, enables him to develop a formal representation of the effects of illocutionary acts and the speaker's beliefs about the hearer's knowledge of the world. The theory is embodied and illustrated in a computer system, KAMP (Knowledge and Modalities Planner), described in the book.