zbMATH — the first resource for mathematics

Automated planning. Theory & practice. (English) Zbl 1074.68613
Amsterdam: Elsevier; San Francisco, CA: Morgan Kaufmann (ISBN 1-55860-856-7/hbk). xxviii, 635 p. (2004).
Publisher’s 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.
This book 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.

68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
Full Text: Link