
Eylem Seç

Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland
Başlık:
Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland
Yazar:
Hendler, James A.
ISBN:
9780080499444
9781322465630
Yayın Bilgileri:
San Mateo, Calif. : M. Kaufmann, ©1992.
Fiziksel Tanımlama:
1 online resource (vii, 314 pages) : illustrations
İçerik:
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.
Özet:
Artificial Intelligence Planning Systems.
Added Author:
Elektronik Erişim:
ScienceDirect https://www.sciencedirect.com/science/book/9780080499444Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
|---|---|---|---|
| Q334 .A777 1992 | 1178162-1001 | Elsevier E-Kitap Koleksiyonu | Arıyor... |
On Order
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.


