# Inductive Coherence

@inproceedings{Garrabrant2016InductiveC, title={Inductive Coherence}, author={Scott Garrabrant and Benya Fallenstein and Abram Demski and N. Soares}, year={2016} }

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

#### Topics from this paper.

One Citation

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 29 REFERENCES