Expressing Belief Flow in Assertion Networks

Abstract. In the line of some earlier work done on belief dynamics, we propose an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal language is developed for portraying the behavior of this model, and its expressiveness is discussed. We compare the proposal of this model as well as the language developed with some of the existing frameworks for modelling communication situations.

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

Belief flow in assertion networks

Abstract. 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.