Oliver Richardson

Thanks for putting this together! Permit me to promote PDGs a bit, which I think are under-sold here :)

First: motivating a "degree of inconsistency" scoring-function semantics, valued in and additive, was a primary innovation of the original PDG paper, which I think deserves some credit for this high-level picture of beliefs. Furthermore, my sense is that PDGs already capture the important elements of these other formalisms (many of them actually embed as nice sub-classes of PDGs), and the extra structure of the PDG formalism yields significant benefits... (read more)