|
|
|
|
LEADER |
03106nam a2200517 4500 |
001 |
978-3-540-46436-5 |
003 |
DE-He213 |
005 |
20191024201826.0 |
007 |
cr nn 008mamaa |
008 |
121227s2000 gw | s |||| 0|eng d |
020 |
|
|
|a 9783540464365
|9 978-3-540-46436-5
|
024 |
7 |
|
|a 10.1007/3-540-46436-0
|2 doi
|
040 |
|
|
|d GrThAP
|
050 |
|
4 |
|a Q334-342
|
072 |
|
7 |
|a UYQ
|2 bicssc
|
072 |
|
7 |
|a COM004000
|2 bisacsh
|
072 |
|
7 |
|a UYQ
|2 thema
|
082 |
0 |
4 |
|a 006.3
|2 23
|
100 |
1 |
|
|a Beetz, Michael.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
245 |
1 |
0 |
|a Concurrent Reactive Plans
|h [electronic resource] :
|b Anticipating and Forestalling Execution Failures /
|c by Michael Beetz.
|
250 |
|
|
|a 1st ed. 2000.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2000.
|
300 |
|
|
|a XVI, 220 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Lecture Notes in Artificial Intelligence ;
|v 1772
|
505 |
0 |
|
|a Reactivity -- Planning -- Transparent Reactive Plans -- Representing Plan Revisions -- Forestalling Behavior Flaws -- Planning Ongoing Activities -- Evaluation -- Conclusion.
|
520 |
|
|
|a 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.
|
650 |
|
0 |
|a Artificial intelligence.
|
650 |
|
0 |
|a Computer communication systems.
|
650 |
|
0 |
|a Computer logic.
|
650 |
1 |
4 |
|a Artificial Intelligence.
|0 http://scigraph.springernature.com/things/product-market-codes/I21000
|
650 |
2 |
4 |
|a Computer Communication Networks.
|0 http://scigraph.springernature.com/things/product-market-codes/I13022
|
650 |
2 |
4 |
|a Logics and Meanings of Programs.
|0 http://scigraph.springernature.com/things/product-market-codes/I1603X
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9783662181300
|
776 |
0 |
8 |
|i Printed edition:
|z 9783540672418
|
830 |
|
0 |
|a Lecture Notes in Artificial Intelligence ;
|v 1772
|
856 |
4 |
0 |
|u https://doi.org/10.1007/3-540-46436-0
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-LNC
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Computer Science (Springer-11645)
|