Automated planning : theory and practice /
Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works we...
| Κύριος συγγραφέας: | Ghallab, Malik. |
|---|---|
| Άλλοι συγγραφείς: | Nau, Dana S., Traverso, Paolo. |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Amsterdam ; Boston :
Elsevier/Morgan Kaufmann,
c2004.
|
| Θέματα: | |
| Διαθέσιμο Online: |
http://www.sciencedirect.com/science/book/9781558608566 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Πίνακας περιεχομένων:
- 1 Introduction and Overview
- I Classical Planning
- 2 Representations for Classical Planning*3 Complexity of Classical Planning*4 State-Space Planning*5 Plan-Space Planning
- II Neoclassical Planning
- 6 Planning-Graph Techniques*7 Propositional Satisfiability Techniques*8 Constraint Satisfaction Techniques
- III Heuristics and Control Strategies
- 9 Heuristics in Planning*10 Control Rules in Planning*11 Hierarchical Task Network Planning*12 Control Strategies in Deductive Planning
- IV Planning with Time and Resources
- 13 Time for Planning*14 Temporal Planning*15 Planning and Resource Scheduling
- V Planning under Uncertainty
- 16 Planning based on Markov Decision Processes*17 Planning based on Model Checking*18 Uncertainty with Neo-Classical Techniques
- VI Case Studies and Applications
- 19 Space Applications*20 Planning in Robotics*21 Planning for Manufacturability Analysis*22 Emergency Evacuation Planning *23 Planning in the Game of Bridge
- VII Conclusion
- 24 Conclusion and Other Topics
- VIII Appendices
- A Search Procedures and Computational Complexity*B First Order Logic*C Model Checking.