I assume you either linked to this in the post, or it has been mentioned in the comments, but I did not catch it in either location if it was present, so I’m linking to it anyway:
http://intelligence.org/files/Non-Omniscience.pdf
contains a not merely computable but tractable algorithm for assigning probabilities to a given set of first-order sentences.
I assume you either linked to this in the post, or it has been mentioned in the comments, but I did not catch it in either location if it was present, so I’m linking to it anyway: http://intelligence.org/files/Non-Omniscience.pdf contains a not merely computable but tractable algorithm for assigning probabilities to a given set of first-order sentences.
Buggery. I meant to read that paper over the summer and never got around to it.