rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Concurrent Reactive Plans
    sub title: Anticipating and Forestalling Execution Failures
  name:
    name part: Beetz, Michael.
    role:
      role term: creator
    role:
      role term: author.
    role:
      role term: aut
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2000
    edition: 1st ed. 2000.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVI, 220 p. online resource.
  abstract: 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.
  table of contents: Reactivity -- Planning -- Transparent Reactive Plans -- Representing Plan Revisions -- Forestalling Behavior Flaws -- Planning Ongoing Activities -- Evaluation -- Conclusion.
  note: by Michael Beetz.
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer communication systems
  subject:
    topic: Computer logic
  subject:
    topic: Artificial Intelligence
  subject:
    topic: Computer Communication Networks
  subject:
    topic: Logics and Meanings of Programs
  classification: Q334-342
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Artificial Intelligence ; 1772
  identifier: 9783540464365
  identifier: https://doi.org/10.1007/3-540-46436-0
  record info:
    record creation date: 121227
    record change date: 20191024201826.0
    record identifier: 978-3-540-46436-5