Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Random Worlds and Maximum Entropy   Given a knowledge base KB containing first-order and statistical facts, we
consider a principled method, called the random-worlds method, for computing a
degree of belief that some formula Phi holds given KB. If we are reasoning
about a world or system consisting of N individuals, then we can consider all
possible worlds, or first-order models, with domain {1,...,N} that satisfy KB,
and compute the fraction of them in which Phi is true. We define the degree of
belief to be the asymptotic value of this fraction as N grows large. We show
that when the vocabulary underlying Phi and KB uses constants and unary
predicates only, we can naturally associate an entropy with each world. As N
grows larger, there are many more worlds with higher entropy. Therefore, we can
use a maximum-entropy computation to compute the degree of belief. This result
is in a similar spirit to previous work in physics and artificial intelligence,
but is far more general. Of equal interest to the result itself are the
limitations on its scope. Most importantly, the restriction to unary predicates
seems necessary. Although the random-worlds method makes sense in general, the
connection to maximum entropy seems to disappear in the non-unary case. These
observations suggest unexpected limitations to the applicability of
maximum-entropy methods.

21
The categories of this paper are: adap-org
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph