Belief Flow in Assertion Networks

摘要

We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical interface designed to test our semantics.