[comp.edu] Information about new book on planning

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