Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland
tarafından
Hendler, James A.
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.
Konu Başlığı
:
Artificial intelligence -- Congresses.
Planning -- Data processing -- Congresses.
COMPUTERS -- General.
Artificial intelligence. (OCoLC)fst00817247
Planning -- Data processing. (OCoLC)fst01065228
Tür
:
Electronic books.
Conference papers and proceedings. (OCoLC)fst01423772
Added Author
:
Hendler, James A.
Tüzel Kişi Ek Girişi
:
American Association for Artificial Intelligence.
United States. Defense Advanced Research Projects Agency.
University of Maryland at College Park. Institute for Advanced Computer Studies.
Toplantı Adı Ek Girişi
:
International Conference on Artificial Intelligence Planning Systems (1st : 1992 : College Park, Md.)
Elektronik Erişim
:
| Yer Numarası | Demirbaş Numarası | Shelf Location | Shelf Location | Holding Information |
|---|
| Q334 .A777 1992 | 1178162-1001 | Elsevier E-Kitap Koleksiyonu | Elsevier E-Kitap Koleksiyonu | |