 An even more general framework than possibility or Dempster-Shafer theory is provided by Halpern’s plausibility measures (Halpern 2003). These are functions Pl:\(\mathbf{A} \rightarrow \Re\) such that for all \(A, B\) in \(\mathbf{A}\):