Algoriths for Uncertainty and Defeasible Reasoning