Limit search to available items
Book Cover
Author Thielscher, Michael.

Title Reasoning robots : the art and science of programming robotic agents / by Michael Thielscher
Published Dordrecht : Springer, [2005]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xiii, 327 pages) : illustrations
Series Applied logic series ; v. 33
Applied logic series ; v. 33
Contents Special fluent calculus -- Special FLUX -- General fluent calculus -- General FLUX -- Knowledge programming -- Planning -- Nondeterminism -- Imprecision -- Indirect effects : ramification problem -- Troubleshooting : qualification problem -- Robotics -- FLUX manual
Summary "This book provides an in-depth and uniform treatment of a mathematical model for robotic agents. It also contains an introduction to a programming method and system based on this model." "The mathematical model is supplemented by a programming method, called FLUX, which allows readers to design their own reasoning robotic agents." "The usage of this method is illustrated by many example programs. The book includes a detailed description of an implementation of FLUX in the standard programming language Prolog."--Jacket
Bibliography Includes bibliographical references (pages 313-323) and index
Notes Print version record
Subject Autonomous robots.
Robots -- Programming.
Calculus -- Computer programs.
Form Electronic book
LC no. 2007440796
ISBN 1402030681 (hd. bd.)
140203069X (electronic bk.)
9781402030680 (hd. bd.)
9781402030697 (electronic bk.)