Towards a General-Purpose Belief Maintenance System