Skip to main content
SpringerLink
Log in

Concurrent Reactive Plans

Anticipating and Forestalling Execution Failures

  • Book
  • © 2000

Overview

Authors:
  1. Michael Beetz

    1. Institut für Informatik III, Universität Bonn, Bonn, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Introduction

    Pages 1-19

  3. Reactivity

    Pages 21-45

  4. Planning

    Pages 47-73

  5. Transparent Reactive Plans

    Pages 75-98

  6. Representing Plan Revisions

    Pages 99-120

  7. Forestalling Behavior Flaws

    Pages 121-145

  8. Planning Ongoing Activities

    Pages 147-166

  9. Evaluation

    Pages 167-199

  10. Conclusion

    Pages 201-204

  11. Back Matter

    Pages 205-213
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Institut für Informatik III, Universität Bonn, Bonn, Germany

    Michael Beetz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation