morgan@unix.SRI.COM (Morgan Kaufmann) (10/22/90)
Morgan Kaufmann announces a new title in its READINGS series:
READINGS IN PLANNING
edited by
James Allen (University of Rochester)
James Hendler (University of Maryland)
Austin Tate (University of Edinburgh)
ISBN 1-55860-130-9
754 pages, softbound
$38.95 (ordering information below)
Although numerous review articles on planning have appeared over
the years, no systematic attempt has been made to collect the major
papers in this field into one volume. The goal of this book is to
remedy this situation by bringing together in one place a set of
readings that can be used to develop a familiarity with the
planning literature, with the major AI theory underlying planning,
and with the exciting directions of current research.
The first section of the book introduces the techniques and
terminology of the AI planning community. The second section
collects papers describing planning systems developed over the past
30 years. A third section presents research in the area of formal
models of planning. Finally, a fourth section collects recent work
representative of the field's current direction. The editors,
three accomplished researchers, provide introductory material
surveying the field of planning as well as introductions to groups
of papers placing the work in perspective.
Useful as a text for a planning course, a supplement to a more
general AI course, and as a reference for AI system developers and
researchers, this book is certain to be among the most popular of
the Morgan Kaufmann Readings.
Table of Contents
Preface v
Foreword by Nils J. Nilssonxi
Part I Introduction to Planning 1
Chapter 1 Introduction 3
Planning 5
Michael P. Georgeff
A Review of AI Planning Techniques 26
Austin Tate, James Hendler, Mark Drummond
Formal Models of Planning 50
James Allen
Part II Planning Systems 55
Chapter 2 Beginnings 57
GPS, A Program that Simulates Human Thought 59
Allen Newell, H. A. Simon
Application of Theorem Proving to Problem Solving 67
Cordell Green
STRIPS: A New Approach to the Application of Theorem
Proving to Problem Solving 88
Richard E. Fikes, Nils J. Nilsson
Planning in a Hierarchy of Abstraction Spaces 98
Earl D. Sacerdoti
Chapter 3 Interactions and Dependencies 109
The Virtuous Nature of Bugs 111
Gerald Jay Sussman
Achieving Several Goals Simultaneously 118
Richard Waldinger
Extract for APIC Studies in Data Processing 140
D. H. D. Warren
A Representation for Robot Plans 154
Philip J. Hayes
The Nonlinear Nature of Plans 162
Earl D. Sacerdoti
Planning with Constraints (MOLGEN: Part I) 171
Mark Stefik
Chapter 4 Planning and Acting 187
Learning and Executing Generalized Robot Plans 189
Richard E. Fikes, Peter E. Hart, Nils J. Nilsson
Decision Theory and AI II: The Hungry Monkey 207
Jerome A. Feldman and Robert F. Sproull
Planning and Acting 225
Drew McDermott
A Cognitive Model of Planning 245
Barbara Hayes-Roth and Frederick Hayes-Roth
A Model For Planning in Complex Situations 263
Robert Wilensky
Integrating Marker-Passing and Problem Solving 275
James A. Hendler
Chapter 5 Integrated Planning Systems 289
Generating Project Networks 291
Austin Tate
Planning in Time: Windows and Durations for Activities andGoals 297
Steven A. Vere
Domain-independent Planning: Representation and Plan Generation 319
David E. Wilkins
ISIS - A Knowledge-based System for Factory Scheduling 336
Mark S. Fox, Stephen F. Smith
O-Plan - Control in the Open Planning Architecture 361
Ken Currie and Austin Tate
Hierarchical Planning Involving Deadlines, Travel Time,
and Resources 369
Thomas Dean, R. James Firby and David Miller
Part III Foundations of Planning 389
Chapter 6 Formal Models Of Action 391
Some Philosophical Problems from the Standpoint of Artificial
Intelligence 393
John McCarthy and Patrick Hayes
A Temporal Logic For Reasoning About Processes
and Plans 436
Drew McDermott
Towards a General Theory of Action and Time 464
James F. Allen
A Formal Theory of Knowledge and Action 480
Robert C. Moore
Chapter 7 Formal Models of Planning Systems 521
On the Semantics of STRIPS 523
Vladimir Lifschitz
Plan Synthesis: A Logical Perspective 532
Stanley J. Rosenchein
Planning for Conjunctive Goals 537
David Chapman
Planning Using a Temporal World Model 559
James F. Allen and Johannes A. Koomen
Planning as Search: A Quantitative Approach 566
Richard E. Korf
Chapter 8 Time and The Frame Problem 579
Problems in Formal Temporal Reasoning 581
Yoav Shoham and Drew McDermott
The Frame Problem and Related Problems in Artificial
Intelligence 588
Patrick J. Hayes
Temporal Data Base Management 596
Thomas Dean and Drew McDermott
Nonmonotonic Logic and Temporal Projection 624
Steve Hanks and Drew McDermott
Why Things Go Wrong: A Formal Theory of Causal
Reasoning 641
Leora Morgenstern and Lynn Andrea Stein
Part IV New Directions in Planning Systems 647
Chapter 9 Learning and Reuse 649
Selectively Generalizing Plans for Problem-Solving 651
Steven Minton
CHEF: A Model of Case-based Planning 655
Kristian J. Hammond
An Adaptive Planner 660
Richard Alterman
Chapter 10 Extending the Classical Framework 655
Refining and Extending the Procedural Net 667
Mark E. Drummond
Localized Representation and Planning 670
Amy L. Lansky
Formulating Multiagent, Dynamic-World Problems in the Classical
Planning Framework 675
Edwin P. D. Pednault
Chapter 11 Planning and Execution 771
An Architecture for Intelligent Reactive Systems 713
Leslie Pack Kaelbling
Reactive Reasoning and Planning 729
Michael P. Georgeff and Amy L. Lansky
Integrating Planning, Execution, and Monitoring 735
Jose A. Ambros-Ingerson and Sam Steel
Author Affiliations
Credits
Index
_________________________________________________________________
Ordering Information:
Please add $3.50 for the first book and $2.50 for each additional for
surface shipping to the U.S. and Canada; $6.50 for the first book
and $3.50 for each additional for shipping to all other areas.
California residents please add sales tax appropriate to your county.
Master Card, Visa and personal checks drawn on US banks
accepted.
Morgan Kaufmann Publishers
Department 58
2929 Campus Drive, Suite 260
San Mateo, CA 94403
USA
Phone: (415) 578-9928, (800)745-READ
Fax: (415) 578-0672
Email: morgan@unix.sri.com