Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland /

Artificial Intelligence Planning Systems.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: American Association for Artificial Intelligence, United States. Defense Advanced Research Projects Agency, University of Maryland at College Park. Institute for Advanced Computer Studies, International Conference on Artificial Intelligence Planning Systems
Otros Autores: Hendler, James A.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: San Mateo, Calif. : M. Kaufmann, �1992.
Temas:
Artificial intelligence > Congresses.
Planning > Data processing > Congresses.
Intelligence artificielle > Congr�es.
Planification > Informatique > Congr�es.
COMPUTERS > General.
Artificial intelligence.
Planning > Data processing.
Congress
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Front Cover; Artificial Intelligence Planning Systems; Copyright Page; Organization of the 1st International Conference on AI Planning Systems; Acknowledgements; Table of Contents; Foreword: Planning the Planning Conference; Part I: Papers; Chapter 1. Declarative Goals in Reactive Plans; Abstract; 1 Introduction; 2 Problems and Representations; 3 Planning Algorithm; 4 Related Work; 5 Conclusion; Acknowledgements; References; Chapter 2. An Analysis of Search Techniques for a Totally-Ordered Nonlinear Planner; Abstract; 1 Introduction; 2 Search in PRODIGY4.0.
  • 3 Integration of abstraction in prodigy4.04 Empirical Results; 5 Conclusions and some future directions; Acknowledgements; References; Chapter 3. Complexity Results for Extended Planning; Abstract; 1 INTRODUCTION; 2 PREVIOUS COMPLEXITY RESULTS; 3 EXTENDED PLANNING; 4 COMPLEXITY RESULTS; 5 IMPLICATIONS; Acknowledgments; References; Chapter 4. Abstract Probabilistic Modeling of Action; Abstract; 1 Introduction; 2 Abstraction Problems; 3 Abstraction-Based Interpretation; 4 Modeling Action; 5 Projection; 6 Levels of Abstraction; 7 Conclusion; Acknowledgements; References.
  • Appendix: Proof of Lemma 1Chapter 5. Semantics for tasks that can be interrupted or abandoned; Abstract; 1 SEMANTICS FOR ALGOL-LIKE PLANNING LANGUAGES; 2 INTERRUPTING A N D SUSPENDING SUBTASKS; 3 THE SEMANTICS OF CONTINUING A TASK; 4 EMBEDDING IN CONTINUOUS TIME; 5 PRIMITIVE ACTIONS; 6 FORMAL SEMANTICS; 7 FORMAL VERIFICATION OF A PLAN (SKETCH); 8 FUTURE WORK; Acknowledgements; References; Chapter 6. Acquiring Search Heuristics Automatically for Constraint-based Planning and Scheduling; Abstract; 1 Introduction; 2 Background; 3 Learning about Variables; 4 Generalized Constraints; 5 Discussion.
  • AcknowledgementsReferences; Chapter 7. PLAN RECOGNITION IN UNDERSTANDING INSTRUCTIONS; Abstract; 1 Introduction; 2 Accommodation; 3 Related work; 4 Implementation of inferences; 5 Summary; Acknowledgements; References; Chapter 8. Building Symbolic Primitives with Continuous Control Routines; Abstract; 1 Introduction; 2 Background; 3 Situation Specific Robot Control; 4 An Example: Object Following; 5 Summary; References; Chapter 9. Rational Handling of Multiple Goals for Mobile Robots; Abstract; 1 Introduction; 2 Utility Based Rationality; 3 Planning Framework; 4 Hero Robot Domain.
  • 5 ConclusionsAcknowledgments; References; Chapter 10. A Framework of Simplifications in Learning to Plan; Abstract; 1 INTRODUCTION; 2 ADEQUATE LEARNING; 3 CHALLENGES AND DIRECTIONS; 4 VALIDATING SIMPLIFICATIONS; 5 CONCLUSIONS; Acknowledgements; References; Chapter 11. Decision-Theoretic Recursive Modeling and the Coordinated Attack Problem; Abstract; Introduction; The Recursive Modeling Method (RMM); The Utility of Communication Using RMM; Intentional Messages; Decision-Theoretic Solution to the Coordinated Attack Problem; Discussion; Acknowledgements; References.

Ejemplares similares