Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008406467/catalog> ?p ?o. }

• catalog 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.".
• catalog contributor b11710158.
• catalog created "2000.".
• catalog date "2000".
• catalog date "2000.".
• catalog dateCopyrighted "2000.".
• catalog description "1. Introduction. 1.1. The Approach. 1.2. Technical Challenges. 1.3. Introductory Example. 1.4. Motivation. 1.5. The Computational Problem and Its Solution -- 2. Reactivity. 2.1. The Delivery World. 2.2. The Implementation of Routine Activities. 2.3. The Structured Reactive Controller -- 3. Planning. 3.1. The Structured Reactive Plan. 3.2. The Computational Structure. 3.3. The XFRM Planning Framework. 3.4. Anticipation and Forestalling of Behavior Flaws -- 4. Transparent Reactive Plans. 4.1. Declarative Statements. 4.2. Routine Plans. 4.3. The Plan Library -- 5. Representing Plan Revisions. 5.1. Conceptualization. 5.2. Making Inferences. 5.3. Expressing Plan Revisions. 5.4. XFRML -- The Implementation.".
• catalog description "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.".
• catalog description "Includes bibliographical references.".
• catalog extent "xvi, 213 p. :".
• catalog identifier "3540672419 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1772. Lecture notes in artificial intelligence".
• catalog isPartOf "Lecture notes in computer science ; 1772.".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "2000".
• catalog issued "2000.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "629.8/92 21".
• catalog subject "Artificial intelligence.".
• catalog subject "Autonomous robots.".
• catalog subject "Computer Communication Networks.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Robots Control systems.".
• catalog subject "TJ211.495. B44 2000".
• catalog tableOfContents "1. Introduction. 1.1. The Approach. 1.2. Technical Challenges. 1.3. Introductory Example. 1.4. Motivation. 1.5. The Computational Problem and Its Solution -- 2. Reactivity. 2.1. The Delivery World. 2.2. The Implementation of Routine Activities. 2.3. The Structured Reactive Controller -- 3. Planning. 3.1. The Structured Reactive Plan. 3.2. The Computational Structure. 3.3. The XFRM Planning Framework. 3.4. Anticipation and Forestalling of Behavior Flaws -- 4. Transparent Reactive Plans. 4.1. Declarative Statements. 4.2. Routine Plans. 4.3. The Plan Library -- 5. Representing Plan Revisions. 5.1. Conceptualization. 5.2. Making Inferences. 5.3. Expressing Plan Revisions. 5.4. XFRML -- The Implementation.".
• catalog title "Concurrent reactive plans : anticipating and forestalling execution failures / Michael Beetz.".
• catalog type "text".