Skip to main content
SpringerLink
Log in
Book cover

Reasoning Robots

The Art and Science of Programming Robotic Agents

  • Book
  • © 2005

Overview

Authors:
  1. Michael Thielscher

    1. Technische Universität Dresden, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Applied Logic Series (APLS, volume 33)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Special Fluent Calculus

    Pages 1-24

  3. Special FLUX

    Pages 25-58

  4. General Fluent Calculus

    Pages 59-73

  5. General FLUX

    Pages 75-101

  6. Knowledge Programming

    Pages 103-142

  7. Planning

    Pages 143-171

  8. Nondeterminism

    Pages 173-189

  9. Imprecision*

    Pages 191-210

  10. Indirect Effects: Ramification Problem*

    Pages 211-242

  11. Troubleshooting: Qualification Problem

    Pages 243-272

  12. Robotics

    Pages 273-284

  13. Back Matter

    Pages 285-327
    Download chapter PDF
Back to top

Keywords

About this book

The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. In order to bring life to it, the machine needs to be programmed so as to make active use of its hardware c- ponents. This turns a machine into an autonomous robot. Since about the mid nineties of the past century, robot programming has made impressive progress. State-of-the-art robots are able to orient themselves and move around freely in indoor environments or negotiate di?cult outdoor terrains, they can use stereo vision to recognize objects, and they are capable of simple object manipulation with the help of arti?cial extremities. At a time where robots perform these tasks more and more reliably,weare ready to pursue the next big step, which is to turn autonomous machines into reasoning robots.Areasoning robot exhibits higher cognitive capabilities like following complex and long-term strategies, making rational decisions on a high level, drawing logical conclusions from sensor information acquired over time, devising suitable plans, and reacting sensibly in unexpected situations. All of these capabilities are characteristics of human-like intelligence and ultimately distinguish truly intelligent robots from mere autonomous machines.

Reviews

From the reviews:

"This book presents the ‘fluent calculus’ as one possible approach to solve the frame problem in artificial intelligence. … The book is very understandable and recommendable for anybody who wants to solve AI problems by means of predicate logics and logic programming. It shows that this approach is more and more applicable to the solution of real-world problems. It will be an excellent textbook for appropriate AI or robotics courses and very appropriate for graduate students." (Christian Posthoff, Zentralblatt MATH, Vol. 1092 (18), 2006)

Authors and Affiliations

  • Technische Universität Dresden, Germany

    Michael Thielscher

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation