Adam J. Grove NEC Research Institute 4 Independence Way Princeton, NJ 08540...  Home/Search
Context Related
| stanford.edu/~koller/papers/ghk1a.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/~koller/pape...ghk1a (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 f1; : : : ; Ng 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... (Update)
Context of citations to this paper: More
...be impractical for computational reasons, we can still use it as guidance in a search for approximations and heuristics. As we show in [GHK93b] computing degrees of belief according to random worlds is, indeed, intractable in general. This is not surprising: our language...
.... Computing of conditional probabilities Pr( j ) is nothing new, either, and has been considered by several authors in depth, including [23, 15, 14], mostly for rst order logic or unordered structures. Finally, Markov chains have already been used for evaluation of probabilities...
Cited by: More
Logics of Probabilistic Reasoning and Imperfect Agents - Mortazavi (Correct)
The Temporal Calculus of Conditional Objects and.. - Tyszkiewicz, Ramer.. (1999) (Correct)
From Statistical Knowledge Bases to Degrees of Belief - Bacchus, Grove, al. (1996) (Correct)
Similar documents (at the sentence level):
9.8%: Asymptotic Conditional Probabilities: The Unary Case - Grove, Halpern, Koller (1993) (Correct)
6.5%: Asymptotic Conditional Probabilities for First-Order Logic - Grove, Halpern, Koller (1992) (Correct)
Active bibliography (related documents): More All
1.3: Asymptotic Conditional Probabilities: The Non-unary Case - Grove, Halpern, Koller (1993) (Correct)
0.7: Generating Degrees of Belief from Statistical.. - Bacchus, Grove.. (1993) (Correct)
0.4: Random Worlds and Maximum Entropy - Grove, Halpern, al. (1994) (Correct)
Similar documents based on text: More All
0.3: On The Expected Value Of Games With Absentmindedness - Grove, Halpern (Correct)
0.3: Updating Sets of Probabilities - Grove, Halpern (Correct)
0.3: Statistical Foundations for Default Reasoning - Bacchus, Grove, Halpern, Koller (1993) (Correct)
Related documents from co-citation: More All
3: Asymptotic conditional probabilities: the unary case - Grove, Halpern et al. - 1993
2: A maximum entropy approach to nonmonotonic reasoning (context) - Goldszmidt, Morris et al. - 1993
2: An analysis of first-order logics of probability - Halpern - 1990
BibTeX entry: (Update)
A. J. Grove, J. Y. Halpern, and D. Koller. Asymptotic conditional probabilities: the non-unary case. Research Report RJ 9564, IBM, 1993. http://citeseer.ist.psu.edu/article/grove93asymptotic.html More
@article{ grove96asymptotic,
author = "Adam J. Grove and Joseph Y. Halpern and Daphne Koller",
title = "Asymptotic Conditional Probabilities: The Non-Unary Case",
journal = "The Journal of Symbolic Logic",
volume = "61",
number = "1",
pages = "250-276",
year = "1996",
url = "citeseer.ist.psu.edu/article/grove93asymptotic.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
229 Theory of Recursive Functions and Effective Computability (context) - Rogers - 1967
134 Concrete Mathematics---A Foundation for Computer Science (context) - Graham, Knuth et al. - 1989
108 Logical Foundations of Probability (context) - Carnap - 1950
81 Probabilities on finite models (context) - Fagin - 1976
67 Where do we stand on maximum entropy (context) - Jaynes - 1978
49 Range and degree of realizability of formulas in the restric.. (context) - Glebskii, Kogan et al. - 1969
46 A Treatise on Probability (context) - Keynes - 1921
40 The Decision Problem: Solvable Classes of Quantificational F.. (context) - Dreben, Goldfarb - 1979
36 laws and decision problems for fragments of second-order log.. (context) - Kolaitis, Vardi - 1990
33 Statistical foundations for default reasoning - Bacchus, Grove et al. - 1993
32 Random worlds and maximum entropy - Grove, Halpern et al. - 1994
31 laws in logic and combinatorics (context) - Compton - 1988
31 From statistics to belief - Bacchus, Grove et al. - 1992
31 Concerning measures in first order calculi (context) - Gaifman - 1964
29 Impossibility of an algorithm for the decision problem in fi.. (context) - Trakhtenbrot - 1950
29 A method of computing generalized Bayesian probability value.. (context) - Cheeseman - 1983
28 The Continuum of Inductive Methods (context) - Carnap - 1952
27 Unsolvable Classes of Quantificational Formulas (context) - Lewis - 1979
16 the applicability of maximum entropy to inexact reasoning (context) - Paris, Vencovska - 1989
14 Probabilities of first-order sentences about unary functions (context) - Lynch - 1985
13 Asymptotic conditional probabilities for first-order logic - Grove, Halpern et al. - 1992
10 The number of finite relational structures (context) - Fagin - 1977
10 Entropy in Relation to Incomplete Knowledge (context) - Denbigh, Denbigh - 1985
6 Van Nostrand Reinhold (context) - Powell, Shah et al. - 1972
6 Asymptotic conditional probabilities: the unary case - Grove, Halpern et al. - 1993
4 Probability models and the completeness theorem (context) - Gaifman - 1960
2 Die Principien der Wahrscheinlichkeitsrechnung und Rational .. (context) - von Kries
2 the conditional satisfiability ratio of logical formulas (context) - Liogon'kii - 1969
1 Essai Philosophique sur les Probabilit'es (context) - de Laplace - 1951
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC