Reasoning Robots

Offers a treatment of a mathematical model for reasoning robotic agents. This book contains an introduction to a programming method and system based on this model. It covers the issues of reasoning about sensor input, acting under incomplete knowledge and uncertainty, planning, intelligent troubleshooting, and other topics.