Asymptotic Conditional Probabilities: The Non-Unary Case

@article{Grove1996AsymptoticCP,
  title={Asymptotic Conditional Probabilities: The Non-Unary Case},
  author={Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
  journal={J. Symb. Log.},
  year={1996},
  volume={61},
  pages={250-276}
}
Motivated by problems that arise in computing degrees of belief, we consider the problem of computing asymptotic conditional probabilities for first-order sentences. Given first-order sentences φ and θ, we consider the structures with domain {1, . . . , N} that satisfy θ, and compute the fraction of them in which φ is true. We then consider what happens to this fraction as N gets large. This extends the work on 0-1 laws that considers the limiting probability of first-order sentences, by… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-3 of 3 references

A Treatise on Probability; New York: MacMillan; 1921

Annals of Internal Medicine • 1998
View 1 Excerpt

0-1 laws in logic and combinatorics

K. Compton
In I. Rival, editor, • 1987

de Laplace

P. S
Essai Philosophique sur les Probabilit es. • 1820
View 2 Excerpts

Similar Papers

Loading similar papers…