Concurrent reactive plans : anticipating and forestalling execution failures
In this book, the author presents a new computational model of forestalling common flaws in autonomous robot behavior. To this end, robots are equipped with structured reactive plans (SRPs) which are concurrent control programs that can not only be interpreted but also be reasoned about and manipula...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science. Lecture notes in artificial intelligence
1772 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Concurrent reactive plans, anticipating and forestalling execution failures, Michael Beetz, 2000, New York, Springer, 1 vol. (XVI-213 p.), aLecture notes in computer science, 3-540-67241-9 • Concurrent Reactive Plans, Texte imprimé, 9783662181300 |
| LEADER | 03354nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 948673 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155180835 | ||
| 020 | |a 9783540464365 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 629.892 | ||
| 100 | 1 | |a Beetz, Michael, |d 1950- | |
| 245 | 1 | 0 | |a Concurrent reactive plans : |b anticipating and forestalling execution failures |c Michael Beetz. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1772 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Reactivity -- Planning -- Transparent Reactive Plans -- Representing Plan Revisions -- Forestalling Behavior Flaws -- Planning Ongoing Activities -- Evaluation -- Conclusion. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a In this book, the author presents a new computational model of forestalling common flaws in autonomous robot behavior. To this end, robots are equipped with structured reactive plans (SRPs) which are concurrent control programs that can not only be interpreted but also be reasoned about and manipulated. The author develops a representation for SRPs in which declarative statements for goals, perceptions, and beliefs make the structure and purpose of SRPs explicit and thereby simplify and speed up reasoning about SRPs and their projections; furthermore a notation is introduced allowing for transforming and manipulating SRPs. Using this notation, a planning system can diagnose and forestall common flaws in robot plans that cannot be dealt with in other planning representations. Finally the language for writing SRPs is extended into a high-level language that can handle both planning and execution actions. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Robotique | ||
| 650 | |a Robots autonomes | ||
| 650 | |a Robots |x Systèmes de commande | ||
| 776 | 0 | |0 049356410 |t Concurrent reactive plans |o anticipating and forestalling execution failures |f Michael Beetz |d 2000 |c New York |n Springer |p 1 vol. (XVI-213 p.) |s aLecture notes in computer science |z 3-540-67241-9 | |
| 776 | 0 | |t Concurrent Reactive Plans |b Texte imprimé |z 9783662181300 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-46436-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-LN6DVNS4-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748062351 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-46436-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751513997 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-46436-0 |z Accès INSA CVL | |
| 997 | |0 948673 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||