Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Thielscher, Michael (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Applied Logic Series ; 33
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Special Fluent Calculus
  • Special FLUX
  • General Fluent Calculus
  • General FLUX
  • Knowledge Programming
  • Planning
  • Nondeterminism
  • Imprecision*
  • Indirect Effects: Ramification Problem*
  • Troubleshooting: Qualification Problem
  • Robotics.