Skip to main content

Basic Concepts of Bayesian Programming

  • Chapter

Part of the book series: Springer Tracts in Advanced Robotics ((STAR,volume 46))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Aji, S.M., McEliece, R.J.: The generalized distributive law. IEEE Transactions on Information Theory 46(2), 325–343 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  • 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 

  • Bessière, P.: Survey: Probabilistic methodology and techniques for artefact conception and development. Technical Report RR-4730, INRIA, Grenoble, France (February 2003), http://www.inria.fr/rrrt/rr-4730.html

  • 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 

  • Cooper, G.F.: The computational complexity of probabilistic inference using bayesian belief networks. Artif. Intell. 42(2-3), 393–405 (1990)

    Article  MATH  Google Scholar 

  • Dagum, P., Luby, M.: Approximating probabilistic inference in bayesian belief networks is np-hard. Artif. Intell. 60(1), 141–153 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  • 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 

  • Jordan, M.I., Jacobs, R.A.: Hierarchical mixtures of experts and the EM algorithm. Neural Computation 6(2), 181–214 (1994)

    Article  Google Scholar 

  • Lebeltel, O.: Programmation Bayésienne des Robots. Thèse de doctorat, Institut National Polytechnique de Grenoble, Grenoble, France (September 1999)

    Google Scholar 

  • Lebeltel, O., Bessière, P., Diard, J., Mazer, E.: Bayesian robot programming. Advanced Robotics 16(1), 49–79 (2004)

    Google Scholar 

  • Maes, P.: How to do the right thing. Connection Science Journal 1(3), 293–325 (1990)

    Google Scholar 

  • McLachlan, G., Peel, D.: Finite Mixture Models. Wiley, Chichester (2000)

    MATH  Google Scholar 

  • 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 

  • 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), http://hal.inria.fr/inria-00070226

  • 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)

    Article  Google Scholar 

  • Robinson, J.A.: A machine-oriented logic based on the resolution principle. Journal of the ACM 12(1), 23–41 (1965)

    Article  MATH  Google Scholar 

  • Robinson, J.A.: Logic: Form and Function. North-Holland, Amsterdam (1979)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Pierre Bessière Christian Laugier Roland Siegwart

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bessière, P., Lebeltel, O. (2008). Basic Concepts of Bayesian Programming. In: Bessière, P., Laugier, C., Siegwart, R. (eds) Probabilistic Reasoning and Decision Making in Sensory-Motor Systems. Springer Tracts in Advanced Robotics, vol 46. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79007-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-79007-5_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-79006-8

  • Online ISBN: 978-3-540-79007-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics