A framework for reasoning under uncertainty based on non-deterministic distance semantics