A framework for comparing alternative formalisms for plausible reasoning