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,'' describes how to use classi...
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Collectivité auteur: | |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2005.
|
Édition: | 1st ed. 2005. |
Collection: | Applied Logic Series ;
33 |
Sujets: | |
Accès en ligne: | Texto Completo |
Table des matières:
- Special Fluent Calculus
- Special FLUX
- General Fluent Calculus
- General FLUX
- Knowledge Programming
- Planning
- Nondeterminism
- Imprecision*
- Indirect Effects: Ramification Problem*
- Troubleshooting: Qualification Problem
- Robotics.