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. Dr. Appelt's work thus has important applications to the
design of interactive computer systems, multiagent planning systems and
the planning of knowledge acquisition.