Reasoning robots: the art and science of programming robotic agents
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer
2005
|
| Schriftenreihe: | Applied logic series
33 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. [313] - 323 |
| Beschreibung: | XIII, 327 S. Ill., graph. Darst. |
| ISBN: | 1402030681 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV025365419 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 100417s2005 ad|| |||| 00||| eng d | ||
| 020 | |a 1402030681 |9 1-402-03068-1 | ||
| 035 | |a (OCoLC)254529291 | ||
| 035 | |a (DE-599)BVBBV025365419 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 | ||
| 082 | 0 | |a 629.89251 | |
| 084 | |a CC 5200 |0 (DE-625)17636: |2 rvk | ||
| 084 | |a ST 308 |0 (DE-625)143655: |2 rvk | ||
| 100 | 1 | |a Thielscher, Michael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reasoning robots |b the art and science of programming robotic agents |c by Michael Thielscher |
| 264 | 1 | |a Dordrecht |b Springer |c 2005 | |
| 300 | |a XIII, 327 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Applied logic series |v 33 | |
| 500 | |a Literaturverz. S. [313] - 323 | ||
| 650 | 0 | 7 | |a Roboter |0 (DE-588)4050208-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Stufe 1 |0 (DE-588)4362503-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Roboter |0 (DE-588)4050208-9 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 2 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | 3 | |a Stufe 1 |0 (DE-588)4362503-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Applied logic series |v 33 |w (DE-604)BV011076498 |9 33 | |
| 856 | 4 | |u http://www.gbv.de/dms/ilmenau/toc/480416834.PDF |z lizenzfrei |3 Inhaltsverzeichnis | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019991721&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-019991721 | ||
Datensatz im Suchindex
| _version_ | 1804142448435265536 |
|---|---|
| adam_text | IMAGE 1
REASONING ROBOTS
THE ART AND SCIENCE OF PROGRAMMING ROBOTIC AGENTS
BY MICHAEL THIELSCHER TECHNISCHE UNIVERSITAET DRESDEN, GERMANY
SPRINGER
IMAGE 2
CONTENTS
PREFACE I X
1 SPECIAL FLUENT CALCULUS 1
1.1 FLUENTS AND STATES 3
1.2 ACTIONS AND SITUATIONS 11
1.3 STATE UPDATE AXIOMS 15
1.4 BIBLIOGRAPHICAL NOTES 22
1.5 EXERCISES 23
2 SPECIAL F L UX 25
2.1 THE KERNEL 26
2.2 SPECIFYING A DOMAIN 35
2.3 CONTROL PROGRAMS 38
2.4 EXOGENOUS ACTIONS 48
2.5 BIBLIOGRAPHICAL NOTES 55
2.6 EXERCISES 57
3 GENERAL FLUENT CALCULUS 59
3.1 INCOMPLETE STATES 60
3.2 UPDATING INCOMPLETE STATES 64
3.3 BIBLIOGRAPHICAL NOTES 70
3.4 EXERCISES 72
4 GENERAL F L UX 75
4.1 INCOMPLETE FLUX STATES 75
4.2 FLUX CONSTRAINT SOLVER * 78
4.3 CORRECTNESS OF THE CONSTRAINT SOLVER * 87
4.4 UPDATING INCOMPLETE FLUX STATES 90
4.5 BIBLIOGRAPHICAL NOTES 98
4.6 EXERCISES 99
5 KNOWLEDGE PROGRAMMING 103
5.1 REPRESENTING STATE KNOWLEDGE 104
5.2 INFERRING KNOWLEDGE IN FLUX 107
IMAGE 3
VI CONTENTS
5.3 KNOWLEDGE UPDATE AXIOMS 111
5.4 SPECIFYING A DOMAIN IN FLUX 121
5.5 KNOWLEDGE AGENT PROGRAMS : 130
5.6 BIBLIOGRAPHICAL NOTES 138
5.7 EXERCISES 140
6 PLANNING 143
6.1 PLANNING PROBLEMS 144
6.2 PLAN EVALUATION 151
6.3 PLANNING WITH COMPLEX ACTIONS 152
6.4 CONDITIONAL PLANNING 157
6.5 BIBLIOGRAPHICAL NOTES 169
6.6 EXERCISES 170
7 NONDETERMINISM 173
7.1 UNCERTAIN EFFECTS 173
7.2 DYNAMIC FLUENTS 181
7.3 BIBLIOGRAPHICAL NOTES 187
7.4 EXERCISES 188
8 IMPRECISION * 191
8.1 MODELING IMPRECISE SENSORS 192
8.2 MODELING IMPRECISE EFFECTORS 197
8.3 HYBRID FLUX 200
8.4 BIBLIOGRAPHICAL NOTES 208
8.5 EXERCISES 209
9 INDIRECT EFFECTS: RAMIFICATION PROBLEM * 211
9.1 CAUSAL RELATIONSHIPS 213
9.2 INFERRING RAMIFICATIONS OF ACTIONS 220
9.3 CAUSALITY IN FLUX 230
9.4 BIBLIOGRAPHICAL NOTES 239
9.5 EXERCISES 240
10 TROUBLESHOOTING: QUALIFICATION PROBLEM 243
10.1 ACCIDENTAL ACTION FAILURE 244
10.2 PREFERRED EXPLANATIONS 253
10.3 TROUBLESHOOTING IN FLUX 257
10.4 PERSISTENT QUALIFICATIONS 262
10.5 BIBLIOGRAPHICAL NOTES 269
10.6 EXERCISES 271
11 ROBOTICS 273
11.1 CONTROL ARCHITECTURES 273
11.2 LOCALIZATION 275
11.3 NAVIGATION 279
IMAGE 4
CONTENTS VII
11.4 BIBLIOGRAPHICAL NOTES 282
11.5 EXERCISES 283
A F L UX MANUAL 285
A.L KERNEL PREDICATES 285
A.2 USER-DEFINED PREDICATES 297
BIBLIOGRAPHY 313
INDEX 325
|
| any_adam_object | 1 |
| author | Thielscher, Michael |
| author_facet | Thielscher, Michael |
| author_role | aut |
| author_sort | Thielscher, Michael |
| author_variant | m t mt |
| building | Verbundindex |
| bvnumber | BV025365419 |
| classification_rvk | CC 5200 ST 308 |
| ctrlnum | (OCoLC)254529291 (DE-599)BVBBV025365419 |
| dewey-full | 629.89251 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.89251 |
| dewey-search | 629.89251 |
| dewey-sort | 3629.89251 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Philosophie Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01832nam a2200457 cb4500</leader><controlfield tag="001">BV025365419</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s2005 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402030681</subfield><subfield code="9">1-402-03068-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)254529291</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025365419</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.89251</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 5200</subfield><subfield code="0">(DE-625)17636:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 308</subfield><subfield code="0">(DE-625)143655:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Thielscher, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning robots</subfield><subfield code="b">the art and science of programming robotic agents</subfield><subfield code="c">by Michael Thielscher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 327 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Applied logic series</subfield><subfield code="v">33</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [313] - 323</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Roboter</subfield><subfield code="0">(DE-588)4050208-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Roboter</subfield><subfield code="0">(DE-588)4050208-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied logic series</subfield><subfield code="v">33</subfield><subfield code="w">(DE-604)BV011076498</subfield><subfield code="9">33</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.gbv.de/dms/ilmenau/toc/480416834.PDF</subfield><subfield code="z">lizenzfrei</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019991721&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019991721</subfield></datafield></record></collection> |
| id | DE-604.BV025365419 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:31:56Z |
| institution | BVB |
| isbn | 1402030681 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-019991721 |
| oclc_num | 254529291 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | XIII, 327 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Applied logic series |
| series2 | Applied logic series |
| spelling | Thielscher, Michael Verfasser aut Reasoning robots the art and science of programming robotic agents by Michael Thielscher Dordrecht Springer 2005 XIII, 327 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Applied logic series 33 Literaturverz. S. [313] - 323 Roboter (DE-588)4050208-9 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Stufe 1 (DE-588)4362503-4 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Roboter (DE-588)4050208-9 s Programmierung (DE-588)4076370-5 s Prädikatenlogik (DE-588)4046974-8 s Stufe 1 (DE-588)4362503-4 s DE-604 Applied logic series 33 (DE-604)BV011076498 33 http://www.gbv.de/dms/ilmenau/toc/480416834.PDF lizenzfrei Inhaltsverzeichnis GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019991721&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Thielscher, Michael Reasoning robots the art and science of programming robotic agents Applied logic series Roboter (DE-588)4050208-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd Stufe 1 (DE-588)4362503-4 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4050208-9 (DE-588)4046974-8 (DE-588)4362503-4 (DE-588)4076370-5 |
| title | Reasoning robots the art and science of programming robotic agents |
| title_auth | Reasoning robots the art and science of programming robotic agents |
| title_exact_search | Reasoning robots the art and science of programming robotic agents |
| title_full | Reasoning robots the art and science of programming robotic agents by Michael Thielscher |
| title_fullStr | Reasoning robots the art and science of programming robotic agents by Michael Thielscher |
| title_full_unstemmed | Reasoning robots the art and science of programming robotic agents by Michael Thielscher |
| title_short | Reasoning robots |
| title_sort | reasoning robots the art and science of programming robotic agents |
| title_sub | the art and science of programming robotic agents |
| topic | Roboter (DE-588)4050208-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd Stufe 1 (DE-588)4362503-4 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Roboter Prädikatenlogik Stufe 1 Programmierung |
| url | http://www.gbv.de/dms/ilmenau/toc/480416834.PDF http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019991721&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011076498 |
| work_keys_str_mv | AT thielschermichael reasoningrobotstheartandscienceofprogrammingroboticagents |
Es ist kein Print-Exemplar vorhanden.
Inhaltsverzeichnis