A Methodology for Uncertainty in Knowledge-Based Systems | EKB DL