Algoritmi per la verifica della coerenza ed il prolungamento di probabilità imprecise