Downloadable software implementing probabilistic reasoning models for further incorporation into software applications