A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks