Bayesian Networks -- D-separation

In former articles, we have been looking at many different concepts related to Bayesian Networks: how to represent them in a compact manner, their reasoning patterns, and I-Map. In this article, we will take a look at D-separation and try to understand it both intuitively and mathematically.