Concurrent Reactive Plans: Anticipating and Forestalling Execution Failures cover image

Concurrent Reactive Plans: Anticipating and Forestalling Execution Failures

By Michael Beetz (auth.)
pdf
Format
2000
Year
English
Language
Springer-Verlag Berlin Heidelberg
Publisher

Summary

<p>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.</p>

Related books


Others
Anticipation and Medicine
Mihai Nadin (eds.)
Others
Anticipation, Agency and Complexity
Poli, Roberto; Valerio, Marco
Others
Proactive Companies: How to Anticipate Market Changes
Leonardo Araújo, Rogério Gava (auth.)
Sociology
Designing social research : The logic of anticipation
Norman Blaikie
Others
SJWs Always Double Down : Anticipating the Thought Police
Vox Day
Others
Why Geology Matters: Decoding the Past, Anticipating the Future
Doug Macdougall