mathematical and computational approach to uncertain inference. Going beyond prior