Though a belief network (a representation of the joint probability distribution, see [3]) and a causal network (a representation of causal relationships [14]) are intended to mean different things, they are closely related. Both assume an underlying dag (directed acyclic graph) structure of relations among variables and if Markov condition and faithfulness condition [15] are met, then a causal ...

In this work we obtain all fixed points of belief propagation and perform a local stability analysis. We consider pairwise interactions of binary random variables and investigate the influence of non-vanishing fields and finite-size graphs on the performance of belief propagation; local stability is heavily influenced by these properties. We show why non-vanishing fields help to achieve converg...

This paper relates comparative belief structures and a general view of belief management in the setting of deductively closed logical representations of accepted beliefs. We show that the range of compatibility between the classical deductive closure and uncertain reasoning covers precisely the nonmonotonic 'preferential' inference system of Kraus, Lehmann and Magidor and nothing else. In terms...

Belief functions are a versatile class of mathematical models which include as cases both first order logic and probability statements. Although belief function models have a higher computational cost than probabilistic models, recent progress with graphical belief function models has made complex belief function models computationally feasible. This is especially true in models which have a na...

The theory CDL of Conditional Doxastic Logic is the single-agent version of Board’s multi-agent theory BRSIC of conditional belief. CDL may be viewed as a version of AGM belief revision theory in which Boolean combinations of revisions are expressible in the language. We introduce a theory JCDL of Justified Conditional Doxastic Logic that replaces conditional belief formulas Bφ by expressions t...

An open question in cell biology is the molecular structure inside cell membranes. Due to recent advances in cryogenic electron tomography, it is possible to see these membranes in their native structure with very low quality. In this work we explore the problem of inferring structure from a noisy observation using graphical models and loopy belief propagation (LBP). The solution is rotation an...

We propose a logical system in which a notion of the structure of a game is formally defined and the meaning of sequential rationality is formulated. We provide a set of decision criteria which, given sufficiently high order of mutual belief of the game structure and of every player following these criteria, entails Backward Induction decisions in generic perfect information games. We say that ...

In this article, generalized game theory (GGT) is used to conceptualize and explain key socio-cognitive processes in multi-agent interaction, in particular belief revision. GGT is based on the mathematics of rules and rule complexes (drawing on developments at the interface of mathematics, logic, and computer science). Rule concepts are used to formalize game, social relationships, and role as ...