Corpus ID: 12439608

Inductive Coherence

@inproceedings{Garrabrant2016InductiveC,
  title={Inductive Coherence},
  author={Scott Garrabrant and Benya Fallenstein and Abram Demski and N. Soares},
  year={2016}
}
  • Scott Garrabrant, Benya Fallenstein, +1 author N. Soares
  • Published 2016
  • Computer Science, Mathematics
  • While probability theory is normally applied to external environments, there has been some recent interest in probabilistic modeling of the outputs of computations that are too expensive to run. Since mathematical logic is a powerful tool for reasoning about computer programs, we consider this problem from the perspective of integrating probability and logic. Recent work on assigning probabilities to mathematical statements has used the concept of coherent distributions, which satisfy logical… CONTINUE READING
    1 Citations
    Logical Induction
    • 17
    • PDF

    References

    SHOWING 1-10 OF 29 REFERENCES
    Probabilistic Logic Programming
    • 247
    • PDF
    Stochastic Logic Programs
    • 321
    • PDF
    Assigning Probabilities to Logical Formulas
    • 147
    Concerning measures in first order calculi
    • 282
    • Highly Influential
    • PDF
    Probabilistic Logic Programming
    • 188
    • PDF
    Inductive Logic Programming: Theory and Methods
    • 1,651
    • PDF
    Learning Probabilities for Noisy First-Order Rules
    • 95
    • PDF
    Impossible States at Work: Logical Omniscience and Rational Choice
    • 10
    • PDF
    Answering Queries from Context-Sensitive Probabilistic Knowledge Bases
    • 204
    • PDF
    Probability logic
    • 128
    • PDF