 |
|
| AUTOMATED PLANNING
| |
| | |
|
|
Theory & Practice
To order this title, and for more information, click here
By
Malik Ghallab, LAAS-CNRS
Dana Nau, University of Maryland
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
Contents
1 Introduction and Overview
I Classical Planning
2 Representations for Classical Planning*3 Complexity of Classical Planning*4 State-Space
Planning*5 Plan-Space Planning
II Neoclassical Planning
6 Planning-Graph Techniques*7 Propositional Satisfiability Techniques*8 Constraint
Satisfaction Techniques
III Heuristics and Control Strategies
9 Heuristics in Planning*10 Control Rules in Planning*11 Hierarchical
Task Network Planning*12 Control Strategies in Deductive Planning
IV Planning with Time and Resources
13 Time for Planning*14 Temporal
Planning*15 Planning and Resource Scheduling
V Planning under Uncertainty
16 Planning based on Markov Decision Processes*17 Planning
based on Model Checking*18 Uncertainty with Neo-Classical Techniques
VI Case Studies and Applications
19 Space Applications*20 Planning
in Robotics*21 Planning for Manufacturability Analysis*22 Emergency Evacuation Planning *23 Planning in the Game of Bridge
VII Conclusion
24 Conclusion and Other Topics
VIII Appendices
A Search Procedures and Computational Complexity*B First Order Logic*C Model Checking
| Bibliographic details |
Hardbound, 635 pages, publication date: MAY-2004
ISBN-13: 978-1-55860-856-6
ISBN-10: 1-55860-856-7
Imprint: MORGAN KAUFFMAN
|
| Price and Ordering |
Price:
EUR 62.95
USD 82.95
GBP 53
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
077/743
Last update: 30 Nov 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company