Asymptotic Conditional Probabilities for First-Order Logic (1992)
| Venue: | In Proc. 24th ACM Symp. on Theory of Computing |
| Citations: | 13 - 7 self |
BibTeX
@INPROCEEDINGS{Grove92asymptoticconditional,
author = {Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
title = {Asymptotic Conditional Probabilities for First-Order Logic},
booktitle = {In Proc. 24th ACM Symp. on Theory of Computing},
year = {1992},
pages = {294--305}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Motivated by problems that arise in computing degrees of belief, we consider the problem of computing asymptotic conditional probabilities for first-order formulas. That is, given first-order formulas ' and `, we consider the number of structures with domain f1; : : : ; Ng that satisfy `, and compute the fraction of them in which ' is true. We then consider what happens to this probability as N gets large. This is closely connected to the work on 0-1 laws that considers the limiting probability of first-order formulas, except that now we are considering asymptotic conditional probabilities. Although work has been done on special cases of asymptotic conditional probabilities, no general theory has been developed. This is probably due in part to the fact that it has been known that, if there is a binary predicate symbol in the vocabulary, asymptotic conditional probabilities do not always exist. We show that in this general case, almost all the questions one might want to ask (such as d...
