Automated Planning: Theory & Practice (The Morgan Kaufmann Series in Artificial Intelligence)

Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications.

Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.

The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students.

• Provides a thorough understanding of AI planning theory and practice, and how they relate to each other
• Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing
• Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games
• Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online

"In recent years, comprehensive texts have been written for several of the other major areas of Artificial Intelligence, including machine learning, natural-language processing, and constraint-satisfaction processing, but until now, the field of planning has been devoid of such a resource, despite the considerable number of advances in and the significant maturation of planning research in the past decade. With Automated Planning: Theory and Practice, Malik Ghallab, Dana Nau, and Paolo Traverso have filled that void, and have done so with a remarkably clear and well-written book."
-From the Foreword by Martha E. Pollack, University of Michigan

Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications.

Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.

The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students.

*Comprehensively explains paradigms for automated planning.
*Provides a thorough understanding of theory and planning practice, and how they relate to each other.
*Presents case studies of applications in space, robotics, CAD/CAM, process control, emergency operations, and games.|"In recent years, comprehensive texts have been written for several of the other major areas of Artificial Intelligence, including machine learning, natural-language processing, and constraint-satisfaction processing, but until now, the field of planning has been devoid of such a resource, despite the considerable number of advances in and the significant maturation of planning research in the past decade. With Automated Planning: Theory and Practice, Malik Ghallab, Dana Nau, and Paolo Traverso have filled that void, and have done so with a remarkably clear and well-written book."
-From the Foreword by Martha E. Pollack, University of Michigan

Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications.

Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.

The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students.

*Comprehensively explains paradigms for automated planning.
*Provides a thorough understanding of theory and planning practice, and how they relate to each other.
*Presents case studies of applications in space, robotics, CAD/CAM, process control, emergency operations, and games.