LEADER 03387nam  22006135  450 
001 9910143636903321
005 20200702171824.0
010   $a3-540-46436-0
024 7 $a10.1007/3-540-46436-0
035   $a(CKB)1000000000211216
035   $a(SSID)ssj0000322234
035   $a(PQKBManifestationID)11248296
035   $a(PQKBTitleCode)TC0000322234
035   $a(PQKBWorkID)10287653
035   $a(PQKB)11690205
035   $a(DE-He213)978-3-540-46436-5
035   $a(MiAaPQ)EBC3072952
035   $a(PPN)155180835
035   $a(EXLCZ)991000000000211216
100   $a20121227d2000      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aConcurrent Reactive Plans$b[electronic resource] $eAnticipating and Forestalling Execution Failures /$fby Michael Beetz
205   $a1st ed. 2000.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000.
215   $a1 online resource (XVI, 220 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1772
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-67241-9 
320   $aIncludes bibliographical references.
327   $aReactivity -- Planning -- Transparent Reactive Plans -- Representing Plan Revisions -- Forestalling Behavior Flaws -- Planning Ongoing Activities -- Evaluation -- Conclusion.
330   $aIn 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.
410  0$aLecture Notes in Artificial Intelligence ;$v1772
606   $aArtificial intelligence
606   $aComputer communication systems
606   $aComputer logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aArtificial intelligence.
615  0$aComputer communication systems.
615  0$aComputer logic.
615 14$aArtificial Intelligence.
615 24$aComputer Communication Networks.
615 24$aLogics and Meanings of Programs.
676   $a629.8/92
700   $aBeetz$b Michael$4aut$4http://id.loc.gov/vocabulary/relators/aut$0542874
906   $aBOOK
912   $a9910143636903321
996   $aConcurrent Reactive Plans$92294854
997   $aUNINA