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
    Logical Induction
    • 14
    • PDF

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 29 REFERENCES
    Probabilistic Logic Programming
    • 249
    Stochastic Logic Programs
    • 320
    • PDF
    Assigning Probabilities to Logical Formulas
    • 146
    Concerning measures in first order calculi
    • 280
    • Highly Influential
    • PDF
    Probabilistic Logic Programming
    • 185
    • PDF
    Inductive Logic Programming: Theory and Methods
    • 1,629
    • PDF
    Learning Probabilities for Noisy First-Order Rules
    • 94
    • PDF
    Impossible States at Work: Logical Omniscience and Rational Choice
    • 9
    • PDF
    Answering Queries from Context-Sensitive Probabilistic Knowledge Bases
    • 201
    • PDF
    Probability logic
    • 128
    • PDF