Title: Reasoning with Uncertainty for Rule-Based Expert S Ystems