Is there a short writeup of what you mean by “FOL prior”? Is it the same construction that Benja and Paul came up with, or the one defined in section 5 of Hutter’s paper?
Also, do you think that the “5 and 10” family of problems is subsumed by “logical uncertainty”?
Is there a short writeup of what you mean by “FOL prior”? Is it the same construction that Benja and Paul came up with, or the one defined in section 5 of Hutter’s paper?
Also, do you think that the “5 and 10” family of problems is subsumed by “logical uncertainty”?
I refer to my own construction: ict.usc.edu/pubs/Logical%20Prior%20Probability.pdf
I think the 5 and 10 problem is a feature of a solution to logical uncertainty combined with a technique of making decisions with it.
I see. It looks like many people got the “FOL prior” idea at the same time :-)