Implementation of Dempster-Shafer theory of evidence