Basic Concepts of Bayesian Programming

  • Pierre Bessière
  • Olivier Lebeltel
Part of the Springer Tracts in Advanced Robotics book series (STAR, volume 46)


The purpose of this chapter is to introduce gently the basic concepts of Bayesian programming.

After a short formal introduction to Bayesian programming, we present these concepts using three simple experiments with the mobile mini-robot Khepera. These three instances have been selected from the numerous experiments we have conducted with this robot for their simplicity and didactic qualities. A more extensive description of the work done with Khepera may be found in a paper in Advanced Robotics (Lebeltel et al., 2004) or, in even greater detail, in the PhD thesis of Olivier Lebeltel (Lebeltel (1999) in French).

We also present the technical issues related to Bayesian programming: inference principles and algorithms and programming language. Although they are very interesting, we have kept this part very short, as these technical questions are not central to this book.


Bayesian Network Joint Distribution Light Sensor Bayesian Belief Network Sensory Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Aji, S.M., McEliece, R.J.: The generalized distributive law. IEEE Transactions on Information Theory 46(2), 325–343 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  2. Bessière, P.: Procédé de détermination de la valeur à donner à différents paramètres d’un système. European Patent N °=EP1525520 (2002)Google Scholar
  3. Bessière, P.: Survey: Probabilistic methodology and techniques for artefact conception and development. Technical Report RR-4730, INRIA, Grenoble, France (February 2003),
  4. Brooks, R.A.: A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation RA-2(1), 14–23 (1986)Google Scholar
  5. Cooper, G.F.: The computational complexity of probabilistic inference using bayesian belief networks. Artif. Intell. 42(2-3), 393–405 (1990)zbMATHCrossRefGoogle Scholar
  6. Dagum, P., Luby, M.: Approximating probabilistic inference in bayesian belief networks is np-hard. Artif. Intell. 60(1), 141–153 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  7. Diard, J.: La carte bayésienne – Un modèle probabiliste hiérarchique pour la navigation en robotique mobile. Thèse de doctorat, Institut National Polytechnique de Grenoble, Grenoble, France, Janvier (2003)Google Scholar
  8. Jordan, M.I., Jacobs, R.A.: Hierarchical mixtures of experts and the EM algorithm. Neural Computation 6(2), 181–214 (1994)CrossRefGoogle Scholar
  9. Lebeltel, O.: Programmation Bayésienne des Robots. Thèse de doctorat, Institut National Polytechnique de Grenoble, Grenoble, France (September 1999)Google Scholar
  10. Lebeltel, O., Bessière, P., Diard, J., Mazer, E.: Bayesian robot programming. Advanced Robotics 16(1), 49–79 (2004)Google Scholar
  11. Maes, P.: How to do the right thing. Connection Science Journal 1(3), 293–325 (1990)Google Scholar
  12. McLachlan, G., Peel, D.: Finite Mixture Models. Wiley, Chichester (2000)zbMATHGoogle Scholar
  13. Mekhnacha, K.: Méthodes probabilistes baysiennes pour la prise en compte des incertitudes géométriques: application à la CAO-robotique. Thèse de doctorat, Institut National Polytechnique de Grenoble (INPG), Grenoble (FR), juillet (1999)Google Scholar
  14. Mekhnacha, K., Ahuactzin, J.-M., Bessière, P., Mazer, E., Smail, L.: A unifying framework for exact and approximate bayesian inference. Technical Report RR-5797, INRIA, Grenoble, France (January 2006),
  15. Mekhnacha, K., Ahuactzin, J.-M., Bessière, P., Mazer, E., Smail, L.: Exact and approximate inference is probt. Revues d’Intelligence Artificielle 21(3), 295–332 (2007)CrossRefGoogle Scholar
  16. Robinson, J.A.: A machine-oriented logic based on the resolution principle. Journal of the ACM 12(1), 23–41 (1965)zbMATHCrossRefGoogle Scholar
  17. Robinson, J.A.: Logic: Form and Function. North-Holland, Amsterdam (1979)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Pierre Bessière
    • 1
  • Olivier Lebeltel
    • 2
  1. 1.CNRS - Grenoble Université 
  2. 2.CNRS - LRI Lab 

Personalised recommendations