62,336 research outputs found
On the Problem of Computing the Probability of Regular Sets of Trees
We consider the problem of computing the probability of regular languages of
infinite trees with respect to the natural coin-flipping measure. We propose an
algorithm which computes the probability of languages recognizable by
\emph{game automata}. In particular this algorithm is applicable to all
deterministic automata. We then use the algorithm to prove through examples
three properties of measure: (1) there exist regular sets having irrational
probability, (2) there exist comeager regular sets having probability and
(3) the probability of \emph{game languages} , from automata theory,
is if is odd and is otherwise
Reconstruction Threshold for the Hardcore Model
In this paper we consider the reconstruction problem on the tree for the
hardcore model. We determine new bounds for the non-reconstruction regime on
the k-regular tree showing non-reconstruction when lambda < (ln
2-o(1))ln^2(k)/(2 lnln(k)) improving the previous best bound of lambda < e-1.
This is almost tight as reconstruction is known to hold when lambda>
(e+o(1))ln^2(k). We discuss the relationship for finding large independent sets
in sparse random graphs and to the mixing time of Markov chains for sampling
independent sets on trees.Comment: 14 pages, 2 figure
Credal Networks under Epistemic Irrelevance
A credal network under epistemic irrelevance is a generalised type of
Bayesian network that relaxes its two main building blocks. On the one hand,
the local probabilities are allowed to be partially specified. On the other
hand, the assessments of independence do not have to hold exactly.
Conceptually, these two features turn credal networks under epistemic
irrelevance into a powerful alternative to Bayesian networks, offering a more
flexible approach to graph-based multivariate uncertainty modelling. However,
in practice, they have long been perceived as very hard to work with, both
theoretically and computationally.
The aim of this paper is to demonstrate that this perception is no longer
justified. We provide a general introduction to credal networks under epistemic
irrelevance, give an overview of the state of the art, and present several new
theoretical results. Most importantly, we explain how these results can be
combined to allow for the design of recursive inference methods. We provide
numerous concrete examples of how this can be achieved, and use these to
demonstrate that computing with credal networks under epistemic irrelevance is
most definitely feasible, and in some cases even highly efficient. We also
discuss several philosophical aspects, including the lack of symmetry, how to
deal with probability zero, the interpretation of lower expectations, the
axiomatic status of graphoid properties, and the difference between updating
and conditioning
- …