Function Formula Oriented Construction of Bayesian Inference Nets for Diagnosis of Cardiovascular Disease. (27th August 2014)