Reasoning Robots The Art and Science of Programming Robotic Agents /

• Κύριος συγγραφέας: Thielscher, Michael (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2005.
• Σειρά: Applied Logic Series, 33
• Θέματα: Philosophy.; Computer programming.; Artificial intelligence.; Philosophy of Technology.; Programming Techniques.; Artificial Intelligence (incl. Robotics).

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...

Πίνακας περιεχομένων:

• Special Fluent Calculus
• Special FLUX
• General Fluent Calculus
• General FLUX
• Knowledge Programming
• Planning
• Nondeterminism
• Imprecision*
• Indirect Effects: Ramification Problem*
• Troubleshooting: Qualification Problem
• Robotics.