Bayesian modeling and reasoning for real world robotics: Basics and examples

Cognition and Reasoning with uncertain and partial knowledge is a challenge for autonomous mobile robotics. Previous robotics systems based on a purely logical or geometrical paradigm are limited in their ability to deal with partial or uncertain knowledge, adaptation to new environments and noisy sensors. Representing knowledge as a joint probability distribution increases the possibility for robotics systems to increase their quality of perception on their environment and helps them to take the right actions towards a more realistic and robust behavior. Dealing with uncertainty is thus a major challenge for robotics in a real and unconstrained environment. Here, we propose a new formalism and methodology called Bayesian Programming which aims at the design of efficient robotics systems evolving in a real and uncontrolled environment. The formalism will be exemplified and validated by two interesting experiments.