[sci.math] Implementation of Evidential Reasoning

efrethei@afit-ab.arpa (Erik J. Fretheim) (10/04/88)

Does anyone have an implementation which evaluates Evidential 
Reasoning prepositions (Dempster-Schafer Theory).  I would
perfer an Ada package but am not extremely particular.
thank you.
ejf