Reasoning about plans
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. Starti...
| Otros Autores: | , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
San Mateo, California :
Morgan Kaufmann Publishers, Inc
1991.
|
| Edición: | 1st edition |
| Colección: | Morgan Kaufmann series in representation and reasoning.
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627017306719 |
Tabla de Contenidos:
- Front Cover; Reasoning about Plans; Copyright Page; Table of Contents; Preface; Acknowledgements; Notation; Chapter 1. Temporal Reasoning and Planning; 1.1 Introduction; 1.2 Representing Time; 1.3 The Logic of Action; 1.4 The Logic for Planning; 1.5 The Planning System; 1.6 The Door-Latch Problem; 1.7 Hierarchical Planning; 1.8 Conclusions; Chapter 2. A Formal Theory of Plan Recognition and its Implementation; 2.1 Introduction; 2.2 Representing Event Hierarchies; 2.3 The Formal Theory of Recognition; 2.4 Examples; 2.5 Algorithms for Plan Recognition; 2.6 Conclusions and Caveats
- Chapter 3. Planning With Simultaneous Actions and External Events3.1 Introduction; 3.2 Representations That Treat Simultaneous Events; 3.3 The Semantic Model; 3.4 The Language; 3.5 Planning; 3.6 A Planning Algorithm; 3.7 Discussion; 3.8 Appendix A. The Semantic Model and Logical Language; 3.9 Appendix B. Proof Theory; Chapter 4. Abstraction in Planning; 4.1 Introduction; 4.2 Inheritance Abstraction; 4.3 Abstraction Using Relaxed Models; 4.4 Conclusion; 4.5 Proofs; References; Index
