Reasoning Robots The Art and Science of Programming Robotic Agents
The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains an introduction to a programming method and system based on this model. The mathematical model, known as the "Fluent Calculus,
- PDF / 8,227,571 Bytes
- 334 Pages / 453.551 x 680.312 pts Page_size
- 90 Downloads / 205 Views
APPLIED LOGIC SERIES VOLUME 33
Managing Editor Dov M. Gabbay, Department of Computer Science, King’s College, London, U.K. Co-Editor Jon Barwise† Editorial Assistant Jane Spurr, Department of Computer Science, King’s College, London, U.K.
SCOPE OF THE SERIES Logic is applied in an increasingly wide variety of disciplines, from the traditional subjects of philosophy and mathematics to the more recent disciplines of cognitive science, computer science, artificial intelligence, and linguistics, leading to new vigor in this ancient subject. Kluwer, through its Applied Logic Series, seeks to provide a home for outstanding books and research monographs in applied logic, and in doing so demonstrates the underlying unity and applicability of logic.
The titles published in this series are listed at the end of this volume.
Reasoning Robots The Art and Science of Programming Robotic Agents by
MICHAEL THIELSCHER Technische Universität Dresden, Germany
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN 10 1-4020-3068-1 (HB) ISBN 10 1-4020-3069-X (e-book) ISBN 13 978-1-4020-3068-1 (HB) ISBN 13 978-1-4020-3069-X (e-book)
Published by Springer, P.O. Box 17, 3300 AA Dordrecht, The Netherlands. www.springeronline.com
Printed on acid-free paper
All Rights Reserved © 2005 Springer No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Printed in the Netherlands.
Contents Preface
ix
1 Special Fluent Calculus 1.1 Fluents and States . . 1.2 Actions and Situations 1.3 State Update Axioms 1.4 Bibliographical Notes . 1.5 Exercises . . . . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
1 3 11 15 22 23
2 Special FLUX 2.1 The Kernel . . . . . . 2.2 Specifying a Domain . 2.3 Control Programs . . . 2.4 Exogenous Actions . . 2.5 Bibliographical Notes . 2.6 Exercises . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
25 26 35 38 48 55 57
3 General Fluent Calculus 3.1 Incomplete States . . . . . . 3.2 Updating Incomplete States 3.3 Bibliographical Notes . . . . 3.4 Exercises . . . . . . . . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
Data Loading...
