Verfügbarkeit: Reasoning robots | Technische Universität München

Reasoning robots: the art and science of programming robotic agents

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Thielscher, Michael (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Dordrecht Springer 2005
Schriftenreihe:	Applied logic series 33
Schlagwörter:	Roboter Prädikatenlogik Stufe 1 Programmierung
Links:	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
Beschreibung:	Literaturverz. S. [313] - 323
Umfang:	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 xx 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-019991721

Datensatz im Suchindex

_version_	1819303349330116608
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>01833nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019991721</subfield></datafield></record></collection>
id	DE-604.BV025365419
illustrated	Illustrated
indexdate	2024-12-20T14:26:33Z
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
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

Verfügbarkeit

‌

Inhaltsverzeichnis