Advertisement

Concurrent Reactive Plans

Anticipating and Forestalling Execution Failures

  • Michael Beetz

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1772)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1772)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Pages 1-19
  3. Pages 21-45
  4. Pages 47-73
  5. Pages 167-199
  6. Pages 201-204
  7. Back Matter
    Pages 205-213

About this book

Introduction

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.

Keywords

autonomous robot behavior control perception robot

Authors and affiliations

  • Michael Beetz
    • 1
  1. 1.Institut für Informatik IIIUniversität BonnBonnGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46436-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67241-8
  • Online ISBN 978-3-540-46436-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering