By
Malik Ghallab, LAAS-CNRS
Malik Ghallab, LAAS-CNRS
Dana Nau, University of Maryland
Dana Nau, University of Maryland
Paolo Traverso, ITC-IRST
Paolo Traverso, ITC-IRST
Description
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.
Audience:
Researchers and practitioners in artificial intelligence, robotics, and operations research
