\input zb-basic \input zb-ioport \iteman{io-port 06102522} \itemau{Sainz de Murieta, I\~naki; Rodr{\'\i}guez-Pat\'on, Alfonso} \itemti{Probabilistic reasoning with a Bayesian DNA device based on strand displacement.} \itemso{Stefanovic, Darko (ed.) et al., DNA computing and molecular programming. 18th international conference, DNA 18, Aarhus, Denmark, August 14--17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32207-5/pbk). Lecture Notes in Computer Science 7433, 110-122 (2012).} \itemab Summary: We present a computing model based on the DNA strand displacement technique which performs Bayesian inference. The model will take single stranded DNA as input data, representing the presence or absence of a specific molecular signal (evidence). The program logic encodes the prior probability of a disease and the conditional probability of a signal given the disease playing with a set of different DNA complexes and their ratios. When the input and program molecules interact, they release a different pair of single stranded DNA species whose relative proportion represents the application of Bayes' Law: the conditional probability of the disease given the signal. The models presented in this paper can empower the application of probabilistic reasoning in genetic diagnosis in vitro. \itemrv{~} \itemcc{} \itemut{} \itemli{doi:10.1007/978-3-642-32208-2\_9} \end