Reasoning About Plans

Reasoning About Plans

by James Allen, Henry Kautz, Richard Pelavin, Josh Tenenberg
Released June 2014
Publisher(s): Morgan Kaufmann
ISBN: 9781483295961

Read it now on the O’Reilly learning platform with a 10-day free trial.

O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

Book description

This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth.

Table of contents

  1. Front Cover
  2. Reasoning about Plans
  3. Copyright Page
  4. Table of Contents
  5. Preface
  6. Acknowledgements
  7. Notation
  8. Chapter 1. Temporal Reasoning and Planning
    1. 1.1 Introduction (1/2)
    2. 1.1 Introduction (2/2)
    3. 1.2 Representing Time (1/3)
    4. 1.2 Representing Time (2/3)
    5. 1.2 Representing Time (3/3)
    6. 1.3 The Logic of Action (1/2)
    7. 1.3 The Logic of Action (2/2)
    8. 1.4 The Logic for Planning (1/2)
    9. 1.4 The Logic for Planning (2/2)
    10. 1.5 The Planning System (1/4)
    11. 1.5 The Planning System (2/4)
    12. 1.5 The Planning System (3/4)
    13. 1.5 The Planning System (4/4)
    14. 1.6 The Door-Latch Problem (1/2)
    15. 1.6 The Door-Latch Problem (2/2)
    16. 1.7 Hierarchical Planning (1/2)
    17. 1.7 Hierarchical Planning (2/2)
    18. 1.8 Conclusions
  9. Chapter 2. A Formal Theory of Plan Recognition and its Implementation
    1. 2.1 Introduction (1/2)
    2. 2.1 Introduction (2/2)
    3. 2.2 Representing Event Hierarchies (1/2)
    4. 2.2 Representing Event Hierarchies (2/2)
    5. 2.3 The Formal Theory of Recognition (1/3)
    6. 2.3 The Formal Theory of Recognition (2/3)
    7. 2.3 The Formal Theory of Recognition (3/3)
    8. 2.4 Examples (1/3)
    9. 2.4 Examples (2/3)
    10. 2.4 Examples (3/3)
    11. 2.5 Algorithms for Plan Recognition (1/4)
    12. 2.5 Algorithms for Plan Recognition (2/4)
    13. 2.5 Algorithms for Plan Recognition (3/4)
    14. 2.5 Algorithms for Plan Recognition (4/4)
    15. 2.6 Conclusions and Caveats
  10. Chapter 3. Planning With Simultaneous Actions and External Events
    1. 3.1 Introduction
    2. 3.2 Representations That Treat Simultaneous Events (1/2)
    3. 3.2 Representations That Treat Simultaneous Events (2/2)
    4. 3.3 The Semantic Model (1/5)
    5. 3.3 The Semantic Model (2/5)
    6. 3.3 The Semantic Model (3/5)
    7. 3.3 The Semantic Model (4/5)
    8. 3.3 The Semantic Model (5/5)
    9. 3.4 The Language (1/2)
    10. 3.4 The Language (2/2)
    11. 3.5 Planning (1/3)
    12. 3.5 Planning (2/3)
    13. 3.5 Planning (3/3)
    14. 3.6 A Planning Algorithm (1/3)
    15. 3.6 A Planning Algorithm (2/3)
    16. 3.6 A Planning Algorithm (3/3)
    17. 3.7 Discussion (1/2)
    18. 3.7 Discussion (2/2)
    19. 3.8 Appendix A. The Semantic Model and Logical Language (1/2)
    20. 3.8 Appendix A. The Semantic Model and Logical Language (2/2)
    21. 3.9 Appendix B. Proof Theory
  11. Chapter 4. Abstraction in Planning
    1. 4.1 Introduction (1/4)
    2. 4.1 Introduction (2/4)
    3. 4.1 Introduction (3/4)
    4. 4.1 Introduction (4/4)
    5. 4.2 Inheritance Abstraction (1/4)
    6. 4.2 Inheritance Abstraction (2/4)
    7. 4.2 Inheritance Abstraction (3/4)
    8. 4.2 Inheritance Abstraction (4/4)
    9. 4.3 Abstraction Using Relaxed Models (1/5)
    10. 4.3 Abstraction Using Relaxed Models (2/5)
    11. 4.3 Abstraction Using Relaxed Models (3/5)
    12. 4.3 Abstraction Using Relaxed Models (4/5)
    13. 4.3 Abstraction Using Relaxed Models (5/5)
    14. 4.4 Conclusion
    15. 4.5 Proofs (1/3)
    16. 4.5 Proofs (2/3)
    17. 4.5 Proofs (3/3)
  12. References (1/2)
  13. References (2/2)
  14. Index (1/2)
  15. Index (2/2)

Product information

  • Title: Reasoning About Plans
  • Author(s): James Allen, Henry Kautz, Richard Pelavin, Josh Tenenberg
  • Release date: June 2014
  • Publisher(s): Morgan Kaufmann
  • ISBN: 9781483295961