Concurrent Reactive Plans: Anticipating and Forestalling Execution Failures - Couverture souple

Beetz, Michael

 
9783540672418: Concurrent Reactive Plans: Anticipating and Forestalling Execution Failures
Couverture souple
ISBN 10 : 3540672419 ISBN 13 : 9783540672418
Editeur : Springer, 2009

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2009
Langue
anglais
ISBN 10 
3540672419
ISBN 13 
9783540672418
Reliure
Broché
Nombre de pages
222
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne