Automated Planning: Theory & Practice (Google eBook)
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.
*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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
applicable approach Artificial Intelligence Artificial Intelligence IJCAI atoms automated planning backtracking Chapter chronicle classical planning problem complete computed condition Conference on Artificial consistent container corresponding crane decomposition defined Definition described DWR domain dynamic logic effects encoding Example execution extended goals finite first-order logic flaw game tree Graphplan heuristics HTN planning initial instance intervals iteration loc1 loc2 logic machine modality model checking move mutex node nondeterministic ofthe optimal pair partial plan path path-consistency algorithm plan-space planning planner planning algorithm planning domain planning graph planning operators planning problem planning-graph possible precond preconditions procedure Proceedings pspace reachability recursively represent requires resolvers resource robot satisfiability scheduling search space Section sequence set-theoretic shown in Figure situation calculus sm function solution plan solve specified state-transition system subtasks symbols task network techniques temporal constraints temporal database temporal planning totally ordered tuple variables