An assumption-based truth maintenance system